Jump to Navigation

Biblio

Found 202 results
[ Author(Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
G
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Verifying abstract LTL properties on concurrent systems", Proc. of International Conference on Integrated Design and Process Technology (IDPT 2002): Society for Design and Process Science, pp. 41–46, jun, 2002.
Gallardo, M-del-M., J. Martínez, and P. Merino, "Model checking active networks with SPIN", Computer Communications, vol. 28, no. 6: Elservier, pp. 609–622, apr, 2005.
Gallardo, M-del-M., J. Martínez, E. Pimentel, and P. Merino, "aSPIN: implementing model checking with data abstraction", Concurrencia y sistemas distribuidos : actas de las XI Jornadas de Concurrencia: Universitat Jaume I, pp. 193–206, oct, 2003.
Gallardo, M-del-M., P. Merino, and C. Joubert, "On-the-Fly data flow analysis based on verification technology", Proc. of International Workshop on Compiler Optimization Meets Compiler Verification. COCV 2007. Braga, Portugal, 25 March, feb, 2007.
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, and E. Pimentel, "Refinement of LTL formulas for abstract model checking", Manuel V. Hermenegildo and Germán Puebla (Eds.).Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, Berlin, Springer, pp. 395–410, oct, 2002.
Gallardo, M-del-M., E. Pimentel, and J. María Troya, "Definición formal de un subconjunto de L2||02", Actas de las I Jornadas sobre Programación Declarativa (PRODE'91). Torremolinos (Málaga), 2-4 Octubre, pp. 330–349, oct, 1991.
Gallardo, M-del-M., P. Merino, and D. Sanán, "C.OPEN, a tool for analyzing C code in CADP", María del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio, pp. 199–214, nov, 2007.
Gallardo, M-del-M., and P. Merino, "Modelado y simulación de protocolos para redes activas", Actas de III Jornadas de Ingeniería Telemática. JITEL'01, 19-21 de Septiembre, Barcelona, España, pp. 341–348, oct, 2001.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Abstracting UML behaviour diagrams for verification", Hongji Yang (Ed.).Software evolution with UML and XML, Leicester, Inglaterra, Idea Group Publishing, pp. 296–320, oct, 2005.
Gallardo, M-del-M., P. Merino, and L. Panizo, "Integration of quantitative aspects into SPIN to develop a decision support tool for dams", Susana Andova, et al. (eds.). Workshop on Quantitative Formal Methods: Theory and Applications (QFM'09). November 3, Eindhoven, The Netherlands. Preliminary proceedings, pp. 95–100, nov, 2009.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "aSpin: a tool for abstract model checking", Software Tools for Technology Transfer, vol. 5, no. 2-3: Springer, pp. 165–184, oct, 2004.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "Using SCADE for decision support in Dam management", Daniel Moldt; Juan C. Augusto and Ulrich Ultes-Nitsche (Eds.). Modelling, simulation, verification and validation of enterprise information systems: proceedings of the 7th international Workshop... MSVVEIS 2009: INSTICC PRESS, pp. 125–131, 2009.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Debugging UML designs with model checking", Journal of Object Technology, vol. 1: ETH, pp. 101–117, oct, 2002.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Comparing under and over-approximations of LTL properties for model checking", Moreno Falaschi (Ed.). Functional and (constraint) Logic Programming: 11th International Workshop, WFLP 2002 Grado, Italy, June 20-22, 2002, pp. 45–58, sep, 2002.
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.
Gallardo, M-del-M., and P. Merino, "Verifying distributed systems with model checking and static analysis", Ten-Hwang Lai (ed.). Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan., pp. E87-E90, oct, 2000.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Abstract model checking and refinement of temporal logic in Spin", Johan Lilius, Felice Balarin, y Ricardo J. Machado (Eds.). Proceedings of Third International Conference on Application of Concurrency to System Design. ACSD 2003, 18-20 June 2003, Gamaraes, Portugal, Los Alamitos, California, IEEE Computer Society, pp. 245–246, oct, 2003.
Gallardo, M-del-M., J. Martínez, P. Merino, P. Nuñez, and E. Pimentel, "PiXL: appliyng XML standards to support the integration of analysis tools for protocols", Science of Computer Programming, vol. 65, no. 1: Elservier, pp. 57–69, mar, 2007.
Gallardo, M-del-M., and J. María Troya, "Granularity analysis of concurrent logic languages based on abstract interpretation", María Alpuente; Roberto Barbuti e Isidro Ramos (Eds.). Declarative Programming: 1994 Joint Conference, GULP-PRODE'94, Peñíscola, Spain, September 19-22, 1994. Proceedings, vol. 1: Universidad Politécnica de Valencia, pp. 342–356, nov, 1994.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Rosales, "Using XML to implement abstraction for model checking", Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, Madrid , Spain: ACM Press, pp. 1021–1025, oct, 2002.
Gallardo, M-del-M., P. Merino, and D. Sanán, "Extending CADP for analyzing C code", Juan C. Augusto; Joseph Barjis and Ulrich Ultes-Nitsche (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 5th International Workshop on (...). MSVVEIS-2007, Funchal, Madeira, Portugal, June, Portugal, INSTICC Press, pp. 104–113, nov, 2007.
Gallardo, M-del-M., P. Merino, and J. María Troya, "Automatic abstraction to improve model checking", Actas de IX Jornadas de Concurrencia. Sitges, España, pp. 79–100, oct, 2001.
Gallardo, M-del-M., C. Joubert, P. Merino, and D. Sanán, "C.OPEN and ANNOTATOR: tools for On-the-Fly model checking C programs", Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checking Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007 Proceedings, Berlin, Springer, pp. 268–273, nov, 2007.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "A Generalized semantics of Promela for abstract model checking", Formal Aspects of Computing, vol. 16: Springer-Verlag, pp. 166–193, oct, 2004.

Pages



Main menu 2

by Dr. Radut