Jump to Navigation

María del Mar Gallardo

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.
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.
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.
Adalid, D., M-del-M. Gallardo, and L. Titolo, "Modeling Hybrid Systems in Hy-tccp", Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), 2014.
2013
Espada, A. Rosario, M-del-M. Gallardo, and D. Adalid, "DRAGONFLY : Encapsulating Android for Instrumentation", Proceedings of the XIII PROLE13, 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.
Espada, A. Rosario, M-del-M. Gallardo, and D. Adalid, "A Runtime Verification Framework for android Applications", Proceedings of XXI JCSD, 2013.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Using SPIN for automated debugging of infinite executions of Java programs (in press)", Journal of Systems and Software: Elsevier, pp. 15, nov, 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.
Gallardo, M-del-M., P. Merino, C. Joubert, and D. Sanán, "A Model-extraction approach to verifying concurrent C programs with CADP", Science of Computer Programming, vol. 77, no. 3: Elsevier, pp. 375–392, 2012.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Testing temporal logic on infinite Java traces", 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. 233–234, sep, 2012.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Testing temporal logic on infinite Java traces", Costin Badica, [et. all]; (eds.). Modelling, simulation, verification and validation of enterprise information systems & web intelligence. Proceedings of MSVVEIS/WEBI 2012. June 28th-July 1st, 2012, Wroclaw, Poland, pp. 37–47, nov, 2012.
Gallardo, M-del-M., and D. Sanán, "Verification of complex dynamic data tree with mu-calculus", Automated Software Engineering, pp. online first, oct, 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.
Adalid, D., M-del-M. Gallardo, P. Merino, and A. Salmeron, "TJT: testing temporal logic in JAVA programs", 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. 1–18, jul, 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.
Panizo, L., M-del-M. Gallardo, P. Merino, D. Sanán, and A. Linares, "Dam management based on model checking techniques", 8th International conference on software engineering and formal methods. SEFM 2010: proceedings of the posters and tooldemo session. CNR, Pisa, Italy 13-18 september 2010, Pisa, Italy, Consiglio Nazionale delle Ricerche, pp. 9–13, oct, 2010.
Gallardo, M-del-M., and L. Panizo, "Extending PROMELA and SPIN for hybrid system analysis80", Proceedings of the 10th international workshop on automated verification of critical systems and the rodin user and developer workshop. AVoCS'10. Düsseldorf, Germany. September 20-23, 2010, pp. 118–119, oct, 2010.
Gallardo, M-del-M., and D. Sanán, "Verification of dynamic data tree with mu-calculus extended with separation", Proceedings of software engineering and formal methods. SEFM 2010. 14-18 september 2010, Pisa, Italy, Los Alamitos, CA, IEEE Computer Society, pp. 211–221, nov, 2010.
Gallardo, M-del-M., and D. Sanán, "Verification of dynamic data tree with mu-calculus extended with separation", Víctor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las X jornadas sobre programación y lenguajes. PROLE 2010, Madrid, Ibergarceta Publicaciones, S.L., pp. 109–110, oct, 2010.
de la Cámara, P., R. Castro, M-del-M. Gallardo, and P. Merino, "Verification support for arinc-653-based avionics software (to appear)", Software Testing Verification & Reliability, UK, Wiley & Sons, mar, 2010.

Pages



Main menu 2

by Dr. Radut