Jump to Navigation

Biblio

Found 215 results
Author Title Type [ Year(Desc)]
2016
Lavado, L., L. Panizo, and M-del-M. Gallardo, "Implementing a Hy-tccp interpreter for simulation", XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD'16), 06/2016.
García, C A., Á. Ríos, P. Merino, K. Katsalis, N. Nikaein, R. Figueiredo, D. Morris, and T. O'Callaghan, "Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack", Conference: Networks and Communications (EuCNC), 2016 European Conference on, 2016.
Díaz, A., Á. Manuel Recio, C A. García, and P. Merino, " Remote control and instrumentation of Android devices", 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016), 2016.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Salmeron, "River Basin Management with Spin", Model Checking Software: 23rd. International Symposium, SPIN , Eindhoven, The Netherlands, Springer: Switzerland, 04/2016.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Salmeron, "River basin management with SPIN (abstract)", XVI Jornadas de Programación y Lenguajes, PROLE 2016, Salamanca, Spain, Villanueva, M. (Ed.), 09/2016.
Gallardo, M-del-M., L. Lavado, and L. Panizo, "A simulation tool for tccp programs", 24th International Workshop on Functional and (Constraint) Logic Programming, WFLP2016, Leipzig, Germany, 09/2016.
Lavado, L., L. Panizo, and M-del-M. Gallardo, "A simulation tool for tccp programs", Proc. of 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP'16), 12/2016.
Díaz, M., M-del-M. Gallardo, P. Merino, L. Panizo, S. Romero, and E. Soler, "Smart flood management DSS", International Conference and Exhibition, Achievements, opportunities and challenges. HYDRO 2016, Montreux, Switzerland, 10/2016.
2017
Lavado, L., L. Panizo, M-del-M. Gallardo, and P. Merino, "A Characterisation of reliability tools for software defined networks (abstract)", XVII Jornadas de Programación y Lenguajes, PROLE 2017, La Laguna, Tenerife, Spain, Durán, F. (ed.), 07/2017.
Lavado, L., L. Panizo, M-del-M. Gallardo, and P. Merino, "A Characterisation of verification tools for software defined networks", Journal of Reliable Intelligent Environments, vol. 3, issue 3: Springer International Publishing, pp. 189–207, 07/2017.
Gallardo, M-del-M., L. Lavado, L. Panizo, and L. Titolo, "A Constraint-based language for modelling intelligent environments", Journal of Reliable Intelligent Environments, vol. 3, issue 1: Springer International Publishing, pp. 55–79, 05/2017.
Gallardo, M-del-M., L. Lavado, L. Panizo, and L. Titolo, "A constraint-based language for modelling intelligent environments", Journal of Reliable Intelligent Environments, no. 1, pp. 1-25, 2017.
Panizo, L., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Guided test case generation for mobile apps in the TRIANGLE project: work in progress", 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, ACM, 07/2017.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Salmeron, "Integrating river basin DSSs with model checking", International Journal on Software Tools for Technology Transfer: Springer Berlin Heidelberg, pp. 1–16, 10/2017.
Gallardo, M-del-M., L. Lavado, and L. Panizo, "A Simulation tool for TCCP programs (abstract)", XVII Jornadas de Programación y Lenguajes, PROLE 2017, La Laguna, Tenerife, Spain, Durán, F. (Ed.), 07/2017.

Pages



Main menu 2

by Dr. Radut