Jump to Navigation

Biblio

Found 215 results
Author Title Type [ Year(Asc)]
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, no. 1, pp. 1-25, 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.
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.
2016
Díaz, A., C A. García, Á. Manuel Recio, and P. Merino, "3GPP Standards to Deliver LTE Connectivity for IoT", IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI), 2016.
García, C A., and P. Merino, "Enabling low latency services in standard LTE networks", IEEE 1st International Workshops on Foundations and Applications of Self-* Systems, 2016.
García, C A., Á. Manuel Recio, Á. Ríos, A. Díaz, and P. Merino, "Extensive and repeatable experimentation in mobile communications with programmable instruments", 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016), 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.
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.
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.
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.
2015
Gallardo, M-del-M., L. Panizo, and L. Titolo, "A Discretized operational semantic for the implementation of Hy-tccp (abstract)", XXIII Jornadas de Concurrencia y Sistemas Distribuidos., JCSD 2015; Doctoral Consortium en Tecnologías Informáticas. DCTI 2015, Málaga, Spain, Gallardo, M.M. (Ed.), 06/2015.
Gallardo, M-del-M., L. Panizo, and L. Titolo, "A discretized operational semantics for the implementation of Hy-tccp", Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, Navarro, M. (Ed.), 09/2015.
Adalid, D., M-del-M. Gallardo, and L. Titolo, "Modeling Hybrid Systems in the Concurrent Constraint Paradigm", Electronic Proceedings in Theoretical Computer Science 173, 2015.
Díaz, A., C A. García, Á. Manuel Recio, and P. Merino, "PerformLTE: A testbed for LTE testing in the future internet", Lecture Notes in Computer Science (LNCS) , vol. WWIC 2015: Wired/Wireless Internet Communications, 2015.
2014
Espada, A. Rosario, and M-del-M. Gallardo, "Analyzing the Correctness of Smartphones Applications using Formal Methods (Doctoral Consortium)", Proceedings of the I DC2014, 2014.
Rivas, F J., A. Díaz, and P. Merino, "Charactierizing traffic performance in cellular networks", IEEE Internet Computing, vol. 18, no. 1, Piscataway, N.Y. USA, IEEE, pp. 12–19, 2014.
Linares, A., J. Regodón, L. Panizo, M-del-M. Gallardo, and P. Merino, "A DSS for reservoir operation based on the execution of formal models", Proc of [11th International conference on hydroinformatics. HIC 2014, New York, USA, 17-21 august, 2014], pp. 8, 2014.

Pages



Main menu 2

by Dr. Radut