Publications

Download all BibTeX

Articles

  • Almudena Díaz, Pedro Merino, F.Javier Rivas.
    Mobile Application Profiling for Connected Smartphones.
    In IEEE Pervasive Computing, Vol. 9, no. 1, January-March 2010
  • Almudena Díaz, Pedro Merino, F. Javier Rivas.
    QoS Analysis of Video Streaming Service in Live Cellular Networks.
    In Computer Communications Elsevier, Vol. 33, Issue 3, 26 February 2010
  • Almudena Díaz, Pedro Merino.
    A Testbed for Energy Profile Characterization of IP services in Smartphones over Live Networks.
    Mobile Networks and Applications, Springer
  • Jesús Martínez, Pedro Merino, Alberto Salmeron, Francisco Malpartida.
    UML-Based Model-Driven Development for HSDPA Design.
    In IEEE Software, vol. 26, no. 3, 26-33, 2009. ISSN: 0740-7459
  • María-del-Mar Gallardo, Pedro Merino, David Sanán.
    Model Checking Dynamic Memory Allocation in Operating Systems.
    In Journal of Automatic Reasoning 42(2-4): 229-264 (2009)
  • Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán.
    Checking the reliability of socket based communication software.
    In International Journal on Software Tools for Technology Transfer 11(5): 359-374 (2009)
  • Sergio Contreras; María del Mar Gallardo Melgarejo; Pedro Merino Gómez; David Sanán Baena; Francisco Javier Rivas Tocado y Joaquín Torrecilla.
    Validating Complex Telecommunication Software.
    In Ercim News. no. 66. In 62-63. ERCIM EEIG: Sophia Antipolis Cedex, 2008. ISSN: 0926-4981
    BibTeX PDF
  • María del Mar Gallardo; Christophe Joubert y Pedro Merino.
    On-the-Fly data flow analysis based on verification technology.
    In Electronic Notes in Theoretical Computer Science. vol. 190. no. 4. In 33-48. Elsevier, 2007. ISSN: 1571-0661
    BibTeX PDF
  • María del Mar Gallardo; Jesús Martínez; Pedro Merino; Pablo Nuñez y Ernesto Pimentel.
    PiXL: appliyng XML standards to support the integration of analysis tools for protocols.
    In Science of Computer Programming. vol. 65. no. 1. In 57-69. Elsevier, 2007. ISSN: 0167-6423
    BibTeX PDF
  • María del Carmen Ocaña Ocaña y Pedro Merino Gómez.
    La madurez de la tecnología IP.
    In BIT. In 47-48. COIT, 2007.
    BibTeX PDF
  • A. Joseph; A. Díaz; P. Merino; F. Rivas; U. Kulkarni; J. Vadavi; G. S. Thyagaraju; S. M. Joshi y A. Yardi.
    Mobile and Ubiquitous Objects - Communication Awareness in Mobile Devices.
    In IEEE Pervasive Computing. vol. 5. no. 3. In 57-59. IEEE Computer Society, 2006. ISSN: 1536-1268
    BibTeX PDF
  • Almudena Díaz; Pedro Merino y F. Javier Rivas Tocado.
    SymPA: un analizador de protocolos para dispositivos móviles.
    In RIiCU: Revista Internacional Iberoamericana sobre Computación Ubicua. no. 1. In 1-8, 2006. ISSN: 1988-0022
    BibTeX PDF
  • M. M. Gallardo; J. Martínez; P. Merino y E. Pimentel.
    On the Evolution of Reliability Methods for Critical Software.
    In A. Ertas, et.al.(Eds.). Integrated design & process technology: proceedings of the ninth World Conference on Integrated Design and Process Technology. IDPT 2006. San Diego, California, June 25-30, 2006 . vol. 1. In 53-65. Society for design and process science (SDPS): USA, 2006. ISBN: 0-9700776-7-X
    BibTeX PDF
  • A. Joseph; A. Díaz; P. Merino; F. Rivas; U. Kulkami; J. Vadavi; G. S. Thyagaraju; S. M. Joshi y A. Yardi.
    Mobile and Ubiquitous Objects - Communication Awareness in Mobile Devices.
    In IEEE Distributed Systems Online. vol. 7. no. 9. IEEE Computer Society, 2006. ISSN: 1541-4922
    BibTeX PDF
  • María del Mar Gallardo; Jesús Martínez; Pedro Merino y Guillermo Rodriguez.
    Integration of reliability of performance analyses for active network services.
    In Electronic Notes in Theoretical Computer Science. vol. 133. In 217-236. Elsevier, 2005. ISSN: 1571-0661
    BibTeX PDF
  • Pedro Merino Gómez; Pedro de la Cámara; María del Mar Gallardo Melgarejo y David Sanán Baena.
    Model Checking Software with Well-defined APIS: The Socket Case.
    In EASST Newsletters. vol. 11. In 31-34. European Association of Software Science and Technology, 2005.
    BibTeX PDF
  • María del Mar Gallardo; Pedro Merino y Ernesto Pimentel.
    A Generalized semantics of Promela for abstract model checking.
    In Formal Aspects of Computing. vol. 16. In 166-193, 2004. ISSN: 0934-5043
    BibTeX PDF
  • María del Mar Gallardo Melgarejo; Jesús Martínez Cruz y Pedro Merino Gómez.
    Model checking active networks with Spin.
    In Computer Communications. vol. 28. no. 6. In 609-622. Elservier, 2004. ISSN: 0140-3664
    BibTeX PDF
  • María del Mar Gallardo; Jesús Martínez; Pedro Merino y Ernesto Pimentel.
    aSpin: a tool for abstract model checking.
    In Software Tools for Technology Transfer. vol. 5. no. 2-3. In 165-184, 2004. ISSN: 1433-2779
    BibTeX PDF
  • María del Mar Gallardo; Jesús Martínez; Pedro Merino y Ernesto Pimentel.
    Transforming specifications to verify embedded systems.
    In Ercim News. no. 52. In 35-36. ERCIM EEIG: Sophia Antipolis Cedex, 2003. ISSN: 0926-4981
    BibTeX PDF
  • María del Mar Gallardo; Jesús Martínez; Pedro Merino y Ernesto Pimentel.
    A Tool for abstraction in model checking.
    In Electronic Notes in Theoretical Computer Science. vol. 66. no. 2. In 16 pages. Elsevier, 2002. ISSN: 1571-0661
    BibTeX PDF
  • María del Mar Gallardo; Pedro Merino y Ernesto Pimentel.
    Debugging UML designs with model checking.
    In Journal of Object Technology. vol. 1. In 101-117. ETH : Zurich, 2002. ISSN: 1660-1769
    BibTeX PDF
  • María del Mar Gallardo Melgarejo y Pedro Merino Gómez.
    An Extension of the NS Simulator for Active Network Research.
    In Computer Communications. vol. 25. In 189-197. Elservier, 2002. ISSN: 0140-3664
    BibTeX PDF
  • Javier Lopez; Antonio Maña; Pedro Merino y José M. Troya.
    The Role of smartcards in practical information security.
    In Ercim News. vol. 49. In 38-40. ERCIM EEIG: Sophia Antipolis Cedex, 2002. ISSN: 0926-4981
    BibTeX PDF
  • Juan Carlos Cuevas Martínez; Jesús Martínez Cruz y Pedro Merino Gómez.
    Soluciones Domóticas Sin Instalación El Protocolo X-10, Más Seguro Y Fiable.
    In Energia y Computacion. vol. 19. In 68-78, 2002.
    BibTeX PDF
  • María del Mar Gallardo ; Pedro Merino y Ernesto Pimentel.
    Comparing under and over-approximations of LTL properties for Model Checking.
    In Electronic Notes in Theoretical Computer Science. vol. 76. In 14 pages. Elsevier, 2002. ISSN: 1571-0661
    BibTeX PDF
  • P. Merino; B. Rubio y J. M. Troya.
    A Distributed implementation of a concurrent logic language.
    In Transputers Communications. vol. 3. no. 2. In 117-135. Wiley, 1996. ISSN: 1070-454x
    BibTeX PDF
  • Pedro Merino y José M. Troya.
    A Logic based approach to validation and verification of computer protocols.
    In Bulletin of the Association for Theoretical Computer Science. no. 59. In 109-124, 1996.
    BibTeX
  • Manuel Díaz; Pedro Merino; Bartolomé Rubio y José M. Troya.
    Desarrollo de protocolos basado en lenguajes lógicos concurrentes.
    In Informatica y Automatica (aeia). vol. 27. no. 2. In 32-45, 1995. ISSN: 0214-932x
    BibTeX

Book chapters

  • María del Mar Gallardo; Jesús Martínez; Pedro Merino y Ernesto Pimentel.
    Abstracting UML behaviour diagrams for verification.
    In Hongji Yang (Ed.).Software evolution with UML and XML. In 296-320. Idea Group Publishing: Leicester, Inglaterra, 2004. ISBN: 1-59140-462-2
    BibTeX PDF
  • Jesús Martínez Cruz; L. López y Pedro Merino Gómez.
    Application-Oriented Middleware for E-Commerce.
    In Middleware for Communications. In 393-412. Wiley & Sons, 2004. ISBN: 0-470-86206-8
    BibTeX
  • Pedro Merino Gómez y José María Troya Linero.
    Modelling and Verification of the MCS Layer with SPIN.
    In The SPIN Verification System, . In 101-110. American Mathematical Society, 1997. ISBN: 0-8218-0680-7
    BibTeX

In proceedings

  • Pedro Merino Gómez y José María Troya Linero.
    Modelling and Verification of the ITU-T multipoint communication service with SPIN.
    In Proceedings of The 2nd International Workshop on the SPIN Verification System. In 60-71. New Brunswik, EEUU, 2008.
    BibTeX
  • Pedro Merino Gómez; Antonio Jesús Nebro Urbaneja; Bartolomé Rubio Muñoz y José María Troya Linero.
    Un Kernel para comunicaciones y entrada-salida en redes de Transputers.
    In Actas de Tercera Reunión sobre Paralelismo, 2008.
    BibTeX
  • Almudena Díaz; Pedro Merino; Laura Panizo y Álvaro Manuel Recio Pérez.
    Monitorización y análisis de servicios de video streaming peer-to-peer sobre redes UMTS.
    In Lidia Fuentes; Javier López y Pedro Merino (Eds.). VI Jornadas de Ingeniería Telemática. JITEL 2007, Málaga, del 17 al 19 de Septiembre. In 433-440, 2007. ISBN: 978-84-690-6670-6
    BibTeX PDF
  • M. Mar Gallardo; P. Merino y D. Sanán.
    Extending CADP for analyzing C code.
    In 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. In 104-113. INSTICC Press: Portugal, 2007. ISBN: 978-972-8865-95-5
    BibTeX
  • M. Mar Gallardo; P. Merino y D. Sanán.
    C.OPEN, a tool for analyzing C code in CADP.
    In 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 . In 199-214, 2007. ISBN: 978-84-690-6109-1
    BibTeX
  • María del Mar Gallardo; Pedro Merino; Christophe Joubert y David Sanán.
    On the Fly model checking for C programs with extended CADP in FMICS-jETI.
    In 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zealand, July 11-14, 2007. Proceedings. In 321-329. IEEE Computer Society: Los Alamitos, California, 2007. ISBN: 0-7695-2895-3
    BibTeX
  • Almudena Díaz; Pedro Merino; Laura Panizo y Álvaro Manuel Recio Pérez.
    A Survey on mobile peer-to-peer technology.
    In 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 . In 59-68, 2007. ISBN: 978-84-690-6109-1
    BibTeX PDF
  • María del Mar Gallardo; Pedro Merino; Christophe Joubert y David Sanán.
    On-the-fly API influence analysis of software.
    In Pedro Merino y Mohammed Bakkali (Eds.). Proceedings of the II International Conference on Science and Technology. JICT 2007, 21-22 March, Malaga, Spain, 23 March, Tangier, Morocco. In 1-4. SPICUM; Serv. de Publicaciones: Málaga, 2007. ISBN: 978-84-9747-185-5
    BibTeX PDF
  • Almudena Díaz; Pedro Merino; Laura Panizo y Álvaro Manuel Recio Pérez.
    Experimental analysis of peer-to-peer streaming in cellular networks.
    In 21st International Conference on Advanced Information Networking and Applications. AINA 2007, Niagara Falls, Ontario, Canada, 21-23 May . In 784-791. IEEE Computer Society: Los Alamitos, California, 2007. ISBN: 0-7695-2846-5
    BibTeX PDF
  • Almudena Díaz; Pedro Merino; Laura Panizo y Álvaro Manuel Recio Pérez.
    Evaluating video streaming over GPRS/UMTS networks: a practical case.
    In The 65th IEEE Vehicular Technology Conference. VTC 2007-Spring, 22-25 April 2007, Dublin, Ireland. In 624-628. IEEE Computer Society: Piscataway, USA, 2007. ISBN: 1-4244-0266-2
    BibTeX PDF
  • Jesús Martínez Cruz; Pedro Merino Gómez; Francisco Carlos Pérez Vico; Pedro de la Cámara; José María Álvarez Palomo y María Victoria Morillo.
    An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing.
    In Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation. IEEE, 2007.
    BibTeX PDF
  • Pedro Merino Gómez; María del Mar Gallardo Melgarejo y Christophe Joubert.
    Implementing Influence Analysis using Parameterized Boolean Equation Systems.
    In Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, 2007.
    BibTeX
  • Jesús Martínez Cruz; Pedro Merino Gómez y Alberto Salmerón Moreno.
    Applying MDE Methodologies to Design Communication Protocols for Distributed Systems.
    In First International Conference on Complex, Intelligent and Software Intensive Systems, 2007. (CISIS 2007). IEEE, 2007. ISBN: 978-0-7695-2823-6
    BibTeX PDF
  • Almudena Díaz; Pedro Merino; Laura Panizo y Álvaro Manuel Recio Pérez.
    Un estudio práctico del rendimiento del servicio de streaming de video sobre redes móviles GPRS/UMTS.
    In Administración, Universidad y Empresa: unidos para formar futuro; XVI Jornadas Telecom I + D, 28, 29 de noviembre y 1 de Diciembre de 2006, Madrid, Barcelona, Bilbao, Málaga, Valencia, y Zaragoza, 2006. ISBN: 978-84-690-4355-4
    BibTeX PDF
  • María del Mar Gallardo; Jesús Martínez; Pedro Merino; Pablo Nuñez y Ernesto Pimentel.
    PIXL: applying XML standards to support the integration of analysis tools for protocols.
    In Joseph Barjis; Ulrich Ulte-Nitsche and Juan C.Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on (...) MSVVEIS 2006, Paphos, Cyprus, May. In 57-66. INSTICC Press: Portugal, 2006. ISBN: 972-8865-49-8
    BibTeX
  • María del Mar Gallardo; Pedro Merino y David Sanán.
    Towards model checking C code with OPEN/CAESAR.
    In Joseph Barjis; Ulrich Ulte-Nitsche and Juan C.Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on (...) MSVVEIS 2006, Paphos, Cyprus, May. In 198-201. INSTICC Press: Portugal, 2006. ISBN: 972-8865-49-8
    BibTeX
  • Almudena Díaz Zayas; Alejandro Gil; Pedro Merino Gómez y Javier Muñoz.
    x-AppMonitor μAgent: a tool for QoS measurements in cellular networks.
    In Proceedings of the 3rd International Symposium on Wireless Communication Systems. In 343-347. IEEE : Piscataway, N.J., 2006. ISBN: 1-4244-0398-7
    BibTeX PDF
  • Pedro Merino Gómez; Almudena Díaz Zayas y Francisco Javier Rivas Tocado.
    Perfomance monitoring and analysis of wireless communication protocols for mobile devices.
    Págs. 103-108. Servicio de Publicaciones de la Universidad de Alcalá: Alcalá de Henares, Madrid, 2006. ISBN: 84-8138-704-5
    BibTeX
  • Almudena Díaz Zayas; Pedro Merino Gómez y Francisco Javier Rivas Tocado.
    SymPA: un analizador de protocolos para dispositivos móviles.
    In Actas de la II Conferencia Iberoamericana sobre Computación Ubicua (CICU 2006). In 65-72. Servicio de Publicaciones de la Universidad de Alcalá: Alcalá de Henares, Madrid, 2006. ISBN: 84-8138-703-7
    BibTeX PDF
  • Almudena Díaz Zayas; Pedro Merino Gómez y Francisco Javier Rivas Tocado.
    Performance monitoring and analysis of wireless communication protocols for mobile devices.
    In Proceedings of the I International Conference on Ubiquitous Computing, 2006. In 103-108. Universidad de Alcalá de Henares. Serv, de Publicaciones: Alcalá de Henares, Spain, 2006. ISBN: 84-8138-704-5
    BibTeX PDF
  • Pedro Merino Gómez; María del Mar Gallardo Melgarejo y David Sanán Baena.
    C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.
    In Proceedings of fourth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07). In 104-113. INSTICC Press, 2006.
    BibTeX
  • Pedro Merino Gómez; Almudena Díaz Zayas; Javier Muñoz y Alejandro Gil.
    XAPPmonitor Uagent una Herramienta para la Medida del Rendimiento de Servicios en Redes GSM/GPRS y 3G desde los Terminales de Usuario.
    2005. ISBN: 84-689-3794-0
    BibTeX
  • Pedro de la Cámara; María del Mar Gallardo Melgarejo; Pedro Merino Gómez y David Sanán Baena.
    Model Checking Software with Well-Defined APIs: The Socket Case.
    In Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, FMICS’05. In 16-27. ACM: New York, 2005. ISBN: 1-59593-148-1
    BibTeX PDF
  • Almudena Díaz Zayas; Pedro Merino Gómez y Francisco Javier Rivas Tocado.
    Análisis de Symbian OS para desarrollar aplicaciones Distribuidas sobre Terminales GPRS.
    In Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos. In 259-269, 2005. ISBN: 84-9732-432-3
    BibTeX
  • Pedro de la Cámara; María del Mar Gallardo Melgarejo; Pedro Merino Gómez y David Sanán Baena.
    Socketmc a tool to verify C code.
    In Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos. In 193-204, 2005. ISBN: 84-9732-432-3
    BibTeX
  • Almudena Díaz Zayas; Alejandro Gil; Pedro Merino Gómez y Javier Muñoz.
    X-APPmonitor microagent: una herramienta para la medida del rendimiento de servicios en redes GSM/GPRS y 3G desde los terminales de usuario.
    In Actas de las Jornadas Telecom I+D 2005, 2005. ISBN: 84-689-3794-0
    BibTeX
  • María del Mar Gallardo Melgarejo; Miguel Juan Hornos Barranco; Jesús Martínez Cruz; Pedro Merino Gómez y Ernesto Pimentel Sánchez.
    Integration of Interval Logic Specifications into the Model Checker SPIN.
    In Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos. In 317-322. Dykinson, S.L.: Madrid, 2004. ISBN: 84-9772-320-1
    BibTeX
  • María del Mar Gallardo Melgarejo; Jesús Martínez Cruz y Pedro Merino Gómez.
    Un Marco de Trabajo para la Construcción de Herramientas de Model Checking.
    In Actas de IV Jornadas sobre Programación y Lenguajes. In 191-200, 2004.
    BibTeX PDF
  • Jesús Martínez Cruz; Pedro Merino Gómez; María del Mar Gallardo Melgarejo y David Sanán Baena.
    Integration of Reliability and Performance Analyses for Active Networks Services.
    In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004). In 107-124. Austrian Computer Society, 2004. ISBN: 3-902457-03-1
    BibTeX
  • Juan Carlos Cuevas Martínez; Pedro Merino Gómez; Francisco Javier Rivas Tocado y Pedro J. Reche.
    Migrando una Aplicación Domótica a Entornos Móviles.
    In Actas de las Jornadas Telecom I+D 2004, 2004. ISBN: 84-933783-4-8
    BibTeX
  • María del Mar Gallardo; Pedro Merino y Ernesto Pimentel.
    Comparing abstract semantics for model checking.
    In Juan José Moreno y Manuel Palomar (Eds.). Actas de las III Jornadas de Programación y Lenguajes (PROLE'03), Alicante del 12 al 14 de Noviembre de 2003. In 167-182. Universidad de Alicante, 2003.
    BibTeX
  • María del Mar Gallardo; Jesús Martínez; Pedro Merino y Ernesto Pimentel.
    Applying data abstraction to XML formal designs.
    In Walter Dosch, Roger Y. Lee (Eds.): Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), October 16-18, 2003, Lübeck, Germany. ACIS 2003. In 315-321, 2003. ISBN: 0-9700776-7-X
    BibTeX
  • María del Mar Gallardo; Jesús Martínez; Pedro Merino y Ernesto Pimentel.
    Abstract model checking and refinement of temporal logic in Spin.
    In 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. In 245-246. IEEE Computer Society: Los Alamitos, California, 2003. ISBN: 0-7695-1887-7
    BibTeX PDF
  • María del Mar Gallardo; Jesús Martínez; Ernesto Pimentel y Pedro Merino.
    aSPIN: Implementing Model Checking with Data Abstraction.
    In Concurrencia y sistemas distribuidos : actas de las XI Jornadas de Concurrencia . In 193-206. Universitat Jaume I, 2003. ISBN: 84-8021-434-1
    BibTeX
  • L. López; Jesús Martínez Cruz y Pedro Merino Gómez.
    Sistema Avanzado de Gestión de Billetes para Transporte Público con Tarjetas Inteligentes.
    In IV Jornadas de Ingeniería Telemática. In 65-72, 2003. ISBN: 84-96131-38-6
    BibTeX
  • María del Mar Gallardo; Jesús Martínez; Pedro Merino y Ernesto Pimentel.
    A Tool for abstraction in model checking.
    In Rance Cleaveland, Hubert Garavel (Eds.). 7th Workshop on Formal Methods for Industrial Critical Systems (FMICS'02). University of Malaga, Spain, July 12-13. In 19-34. European Research Consortiun for Informatics and Mahtematics, ERCIM: USA, 2002.
    BibTeX PDF
  • María del Mar Gallardo; Jesús Martínez; Pedro Merino y Estefanía Rosales.
    Using XML to implement abstraction for model checking.
    In Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, Madrid , Spain. In 1021-1025. ACM Press, 2002. ISBN: 1-58113-445-2
    BibTeX PDF
  • Jesús Martínez Cruz; Pedro Merino Gómez y Juan Carlos Cuevas Martínez.
    El Protocolo X10 Una Solución Antigüa A Problemas Actuales.
    In Simposio en Informática y Telecomunicaciones SIT’02. In 87-96, 2002. ISBN: 84-699-9417-4
    BibTeX PDF
  • María del Mar Gallardo; Pedro Merino y Ernesto Pimentel.
    Comparing under and over-approximations of LTL properties for model checking.
    In Moreno Falaschi (Ed.). Functional and (constraint) Logic Programming: 11th International Workshop, WFLP 2002 Grado, Italy, June 20-22, 2002. In 45-58, 2002.
    BibTeX
  • M. M. Gallardo; P. Merino y E. Pimentel.
    Verifying abstract LTL properties on concurrent systems.
    In Proc. of International Conference on Integrated Design and Process Technology (IDPT 2002). In 41-46. Society for Design and Process Science, 2002.
    BibTeX
  • Pedro Merino Gómez; María del Mar Gallardo Melgarejo y Ernesto Pimentel Sánchez.
    Verifying Abstract LTL Properties on Concurrent Systems.
    In Proceedings of 11th Int. Workshop on Functional and (Constraint) Logic Programming (WFLP’02), Technical Report UDMI/18/2002/RR, University of Udine. Grado Italia, 2002.
    BibTeX
  • M. M. Gallardo; P. Merino y E. Pimentel.
    Abstract satisfiability of linear temporal logic.
    In Fernando Orejas; Fernando Cuartero y Diego Cazorla (Eds.). Primeras Jornadas sobre Programación y Lenguajes (PROLE 2001), Almagro, 23 y 24 de Noviembre. In 163-178. Universidad de Castilla-La Mancha: Almagro, 2001.
    BibTeX
  • L. López; Jesús Martínez Cruz y Pedro Merino Gómez.
    Advanced Public Transport Ticketing With Smartcards.
    In Youth Forum In Computer Science and Engineering (YUFORIC'01). In 41-46. Universidad Politécnica de Valencia: Valencia, 2001. ISBN: 84-9705-097-5
    BibTeX
  • María del Mar Gallardo Melgarejo y Pedro Merino Gómez.
    Modelado Y Simulación De Protocolos Para Redes Activas.
    In Actas de III Jornadas de Ingeniería Telemática. In 341-348, 2001. ISBN: 84-7653-783-2
    BibTeX
  • María del Mar Gallardo Melgarejo; Pedro Merino Gómez y José María Troya Linero.
    Automatic Abstraction To Improve Model Checking.
    In Actas de IX Jornadas de Concurrencia. In 79-100, 2001.
    BibTeX
  • María del Mar Gallardo Melgarejo y Pedro Merino Gómez.
    Verifying Distributed Systems With Model Checking And Static Analysis.
    In Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan.. In E87-E90. IEEE Computer Society, 2000.
    BibTeX
  • Pedro Merino Gómez y G. Rodriguez Pérez.
    Modeling And Simulation Of Active Network Protocols.
    In Proceedings of the 2000 ICDCS Workshops, April 10, 2000. In A43-A50. IEEE Computer Society, 2000.
    BibTeX
  • María del Mar Gallardo; Pedro Merino y José M. Troya.
    Property preserving abstractions of SDL.
    In Diego Cazorla López (Coor.). Actas de las VIII Jornadas de Concurrencia : Cuenca, 14 a 16 de junio de 2000. In 111-124. Universidad de Castilla-La Mancha , 2000. ISBN: 84-8427-074-2
    BibTeX
  • María del Mar Gallardo Melgarejo y Pedro Merino Gómez.
    A Practical Method To Integrate Abstraction Into SDL And MSC Based Tools.
    In Proceedings of FMICS 2000, GMD Report 91. In 225-246. GMD: Alemania, 2000.
    BibTeX PDF
  • Pedro Merino Gómez; Margarita Jacome y Juan Carlos López.
    A Methodology For Task Based Partitioning And Scheduling of Dynamically Reconfigurable Systems.
    Págs. 324. IEEE Computer Society, 1998.
    BibTeX
  • Pedro Merino Gómez y José María Troya Linero.
    Verifying Protocols with Executable Linear Logic.
    In Pre-Proceeding of LOPSTR98. In 88-95. University of Manchester, 1998.
    BibTeX
  • M. M. Gallardo; P. Merino y J. M. Troya.
    Relating abstract interpretation with logic program verification.
    In Proc. International Workshop on Verification, Model Checking and Abstract Interpretation' 97, Universita´Ca´foscari di Venezia Report CS97-14, 1997.
    BibTeX
  • Pedro Merino y José-María Troya.
    Modeling and verification of the MCS layer with Spin.
    In Jean-Charles Grégoire; Gerard J. Holzmann and Doron A. Peled (Eds.). The Spin verification system: the second workshop on the Spin verification system proceedings of the DIMACS workshop, August 5, 1996. In 101-110. American Mathematical Society: USA, 1997. ISBN: 0-8218-0680-7
    BibTeX PDF
  • P. Merino y J. M. Troya.
    A Logic based approach to validation and verification of computer protocols.
    In Proc. of Workshop on Formal Methods for Industrial Critical Systems, St Hugh's College, Oxford (UK), March, 19, 1996. In 109-124, 1996.
    BibTeX
  • E. Alba; J. Aldana; V. Benjumea; C. Canal; M. Díaz; L. Fuentes; M. M. Gallardo; P. Merino; A. Nebro; M. Roldán; B. Rubio; E. Pimentel y J. M. Troya.
    EVP: un Entorno para la integración de técnicas de descripción formal.
    In J. M. Troya Linero y C. Rodríguez León (Eds.). I Jornadas de Informática, Puerto de la Cruz, 17-21 de Julio de 1995. Actas. In 607-616, 1995.
    BibTeX PDF
  • F. Rus; P. Merino y M. Díaz.
    Paralelización de un algoritmo de validación de protocolos.
    In J. M. Troya Linero y C. Rodríguez León (Eds.). I Jornadas de Informática, Puerto de la Cruz, 17-21 de Julio de 1995. Actas. In 405-414, 1995.
    BibTeX PDF
  • José F. Aldana; Enrique Alba; Vicente Benjumea; Carlos Canal; Manuel Díaz; Lidia Fuentes; María del Mar Gallardo; Pedro Merino; Antonio J. Nebro; Ernesto Pimentel; Manuel Roldán; Bartolomé Rubio y José M. Troya.
    Un Entorno declarativo distribuido para especificación y validación de protocolos.
    In Actas de las Jornadas Técnicas Proyecto TEMA/PLANBA, 1994.
    BibTeX
  • J. Aldana; E. Alba; V. Benjumea; C. Canal; M. Díaz; L. Fuentes; M. M. Gallardo; P. Merino; A. J. Nebro; M. Roldán y J. M. Troya.
    Un Entorno declarativo distribuido para especificación y validación de protocolos.
    In Jornadas Técnicas PLANBA/TEMA Madrid , 1994.
    BibTeX
  • Jose Carlos Canal Velasco; Lidia Fuentes Fernández; Pedro Merino Gómez y José María Troya Linero.
    Especificación y Validación del protocolo de Audio/Vídeo AVP sobre un Entorno Declarativo Distribuido.
    In Actas de XVI Escuela de Verano de Informática. In 3-17, 1994.
    BibTeX
  • Manuel Díaz; Pedro Merino; Bartolomé Rubio y José M. Troya.
    Un Lenguage lógico concurrente como nucleo de ejecución de un entorno de simulación y validación de protocolos.
    1993.
    BibTeX
  • M. Díaz; P. Merino; B. Rubio y J. M. Troya.
    Desarrollo de protocolos basado en lenguajes lógicos concurrentes.
    In Actas de XV Escuela de Verano de Informática. In 32-45, 1993.
    BibTeX
  • Pedro Merino Gómez; Bartolomé Rubio Muñoz y José María Troya Linero.
    Implementation of a Concurrent Logic Language.
    In Transputers Applications and Systems ´93. In 1137-1153. IOS Press, 1993. ISBN: 90 5199 1401
    BibTeX
  • P. Merino; B. Rubio y J. M. Troya.
    Flat-Parlog distribuido.
    In M. Hermenegildo y J. J. Moreno (Eds.). Programación Declarativa. Primer Congreso Nacional, ProDe'92, 28-30 Septiembre, Madrid, España. In 397-398. Facultad de Informática; Universidad Politécnica de Madrid, 1992.
    BibTeX
  • P. Merino; B. Rubio y J. M. Troya.
    Una Máquina abstracta con unificación distribuida para Flat-Parlog.
    In Actas de las I Jornadas sobre Programación Declarativa PRODE'91. Torremolinos (Málaga), 2-4 Octubre. In 421-432, 1991.
    BibTeX
  • Bartolomé Rubio Muñoz; Pedro Merino Gómez y José María Troya Linero.
    Una implementación distribuida de Flat-Parlog.
    In Actas de Segunda Reunión sobre Paralelismo, San Lorenzo del Escorial (Madrid), 1991.
    BibTeX

LNCS

  • Pedro de la Cámara; María del Mar Gallardo y Pedro Merino.
    Model extraction for ARINC 653 based avionics software.
    In Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checkin Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007, Proceedigns. Lecture Notes in Computer Science. 4595. In 243-262. Springer: Berlin, 2007.
    BibTeX PDF
  • María del Mar Gallardo; Christophe Joubert; Pedro Merino y David Sanán.
    C.OPEN and ANNOTATOR: tools for On-the-Fly model checking C programs.
    In Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checking Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007 Proceedings. Lecture Notes in Computer Science. 4595. In 268-273. Springer: Berlin, 2007. ISBN: 3-540-73369-8
    BibTeX PDF
  • Pedro de la Cámara; María del Mar Gallardo y Pedro Merino.
    Abstract Matching for Software Model Checking .
    In Antti Valmari (Ed.). Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings . Lecture Notes in Computer Science. 3925. In 182-200. Springer: Berlin, 2006. ISBN: 3-540-33102-6
    BibTeX PDF
  • M. del Mar Gallardo; Pedro Merino y Ernesto Pimentel.
    Refinement of LTL Formulas for Abstract Model Checking.
    In Manuel V. Hermenegildo and Germán Puebla (Eds.).Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Lecture Notes in Computer Science. 2477. In 395-410. Springer: Berlin, 2002. ISBN: 0302-9743
    BibTeX PDF
  • María del Mar Gallardo; Jesús Martínez; Pedro Merino y Ernesto Pimentel.
    aSPIN: Extending Spin with Abstraction.
    In D. Bonaki, S Leue (Eds.): .Model Checking Software: 9th International SPIN Workshop, Genoble, France, April 11-13, 2002. Proceedings. Lecture Notes in Computer Science. 2318. In 254-258. Springer: Berlin, 2002.
    BibTeX PDF
  • Maria-del-Mar Gallardo y Pedro Merino.
    A Framework for Automatic Construction of Abstract Promela Models.
    In Dennis Dams...(ed.).Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 1999, Toulouse, France, September 1999. Proceedings . Lecture Notes in Computer Science. 1680. In 184-199. Springer: Berlin, 1999.
    BibTeX PDF
  • P. Merino y J. M. Troya.
    EVP: integration of FDTs for the analysis and verification of communication protocols.
    In Rajeev Alur and Thomas A. Henzinger (Eds.). Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings . Lecture Notes in Computer Science. vol. 1102. In 406-410. Springer: Berlin, 1996. ISBN: 3-540-61474-5
    BibTeX

Proceedings

  • M. Bakkali y Pedro Merino Gómez
    Proceedings of the II International Conference on Science and Technology (CD).
    Universidad de Málaga, 2008. ISBN: 978-84-9747-185-5
    BibTeX
  • Stefan Leue y Pedro Merino Gómez
    Proceedings of the XII International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany July 1-2 .
    Universität Konstanz; Universidad de Málaga: Germany; Spain, 2007.
    BibTeX
  • Lidia Fuentes; Javier Lopez y Pedro Merino
    VI Jornadas de Ingeniería Telemática. JITEL 2007, Málaga.
    Los Autores, 2007. ISBN: 978-84-690-6670-6
    BibTeX
  • María del Mar Gallardo Melgarejo y Pedro Merino Gómez
    Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio de 2007.
    Págs. 330. Universidad de Málaga: Málaga, España, 2007.
    BibTeX

PhD Theses

  • Almudena Díaz Zayas.
    Performance Evaluation of IP Multimedia Services in Live Mobile Networks.
    Dirigido por Pedro Merino Gómez. Tésis de doctorado para la obtención del título de Doctor en Informática, Escuela Técnica Superior de Ingeniería Informática, Departamento de Lenguajes y Ciencias de la Computación, Universidad de Málaga, 2009.
  • Jesús Martínez Cruz.
    Un enfoque basado en estándares para la integración de técnicas y herramientas de ingeniería de protocolos.
    Dirigido por Pedro Merino Gómez. Tésis de doctorado para la obtención del título de Doctor en Informática, Escuela Técnica Superior de Ingeniería Informática, Departamento de Lenguajes y Ciencias de la Computación, Universidad de Málaga, 2005.
    BibTeX
  • Pedro Merino Gómez.
    Observadores lineales: un lenguaje de especificación de propiedades para verificación de protocolos.
    Dirigido por José María Troya Linero. Tésis de doctorado para la obtención del título de Doctor en Informática, Escuela Técnica Superior de Ingeniería Informática, Departamento de Lenguajes y Ciencias de la Computación, Universidad de Málaga, 1998.
    BibTeX

This website is under construction