Jump to Navigation

Biblio

Found 39 results
Author Title Type [ Year(Asc)]
Filters: Author is Laura Panizo  [Clear All Filters]
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
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.
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.
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.
2013
Gallardo, M-del-M., and L. Panizo, "Extending model checkers for hybrid system verification: the case study of SPIN (in press)", Software Testing Verification & Reliability, vol. 24, no. 6: Wiley & Sons, pp. 438–471, 2013.
Panizo, L., and M-del-M. Gallardo, "Verifying hybrid systems with explicit model checkers", Lars-Åke Fredlund; Laura M. Castro (Eds.). XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF). Madrid, 17 a 20 de septiembre de 2013, pp. 1–15, sep, 2013.
2012
Panizo, L., and M-del-M. Gallardo, "Analyzing hybrid systems with JPF", María del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almería, 17 al 19 de septiembre de 2012: Universidad de Almería, pp. 235–249, sep, 2012.
Panizo, L., and M-del-M. Gallardo, "An Extension of Java PathFinder for Hybrid Systems", ACM SIGSOFT Software Engineering Notes, vol. 37, no. 6, New York, NY, USA, ACM, pp. 1–5, nov, 2012.
Panizo, L., and M-del-M. Gallardo, "Generation of safe operations for dam management using formal methods", XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012, pp. 129–144, jun, 2012.
2011
Gallardo, M-del-M., and L. Panizo, "Extending model checkers for hybrid system verification: the case study of Spin", Ernesto Jiménez y Sergio Arévalo. Actas de las XIX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2011. La Granja de San Ildefonso, Segovia. 8,9, y 10 de junio de 2011: Dpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid, pp. 84–98, jul, 2011.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "A practical use of model checking for synthesis: generating a dam controller for flood management", Software Practice & Experience, vol. 41, no. 11: John Wiley, pp. 1329–1347, jan, 2011.
2010
Gallardo, M-del-M., and L. Panizo, "An approach to verify hybrid systems with SPIN", Victor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las Jornadas sobre Programación y Lenguajes. PROLE 2010 (Sistedes). Valencia, septiembre del 8 al 10 de 2010, Madrid, Gaceta grupo editorial, oct, 2010.
Merino, P., J. María Álvarez, L. Panizo, F. Carlos Pérez, and A. Sanz, "Communication software: design and testing", Encyclopedia of Software Engineering: Taylor & Francis, pp. 153–169, jan, 2010.

Pages



Main menu 2

by Dr. Radut