Jump to Navigation

Biblio

Found 214 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., 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.
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., 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., 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., 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., 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.
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., 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., 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, 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., 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, 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., 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., 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., 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.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "Dam management using SCADE suite", Marisa Llorens y Javier Oliver (eds.). Actas de las XVII Jornadas de Concurrencia y Sistemas Distribuidos. 10,11 y 12 de Junio de 2009. Sagunto (Valencia): Universidad Politécnica de Valencia, pp. 287–296, jun, 2009.

Pages



Main menu 2

by Dr. Radut