Pedro Merino

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: A model-extraction approach to verifying concurrent C programs with CADP. Sci. Comput. Program. 77(3): 375-392 (2012)

Andres Alvarez, Almudena Díaz, Pedro Merino, F. Javier Rivas: Mobile application profiling with TestelDroid. CCNC 2012: 36-37

Andres Alvarez, Almudena Díaz, Pedro Merino, F. Javier Rivas: Field measurements of mobile services with Android smartphones. CCNC 2012: 105-109

Almudena Díaz, Pedro Merino, Francisco Javier Rivas: Test environment for QoS testing of VoIP over LTE. NOMS 2012: 780-794

Almudena Diaz-Zayas, Francisco Javier Rivas, Pedro Merino Gómez: UMA Testing Facility. TRIDENTCOM 2012: 9-10

Francisco Javier Rivas, Almudena Diaz-Zayas, Pedro Merino Gómez: Testing of LTE Configurations and Applications. TRIDENTCOM 2012: 417-418

Almudena Díaz, Pedro Merino, Alberto Salmeron: Obtaining Models for Realistic Mobile Network Simulations using Real Traces. IEEE Communications Letters 15(7): 782-784 (2011)

Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino: Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Sci. Comput. Program. 76(2): 63-64 (2011)

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: A practical use of model checking for synthesis: generating a dam controller for flood management. Softw., Pract. Exper. 41(11): 1329-1347 (2011)

Pedro de la Cámara, J. Raúl Castro, María-del-Mar Gallardo, Pedro Merino: Verification support for ARINC-653-based avionics software. Softw. Test., Verif. Reliab. 21(4): 267-298 (2011)

Almudena Diaz-Zayas, Pedro Merino Gómez: Testing and Profiling Internet Services in Mobile Devices. ServiceWave 2011: 329-330

Almudena Díaz, Pedro Merino, F. Javier Rivas: QoS analysis of video streaming service in live cellular networks. Computer Communications 33(3): 322-335 (2010)

Almudena Diaz-Zayas, Pedro Merino Gómez: A Testbed for Energy Profile Characterization of IP Services in Smartphones over Live Networks. MONET 15(3): 330-343 (2010)

Almudena Díaz, Pedro Merino, F. Javier Rivas: Mobile Application Profiling for Connected Mobile Devices. IEEE Pervasive Computing 9(1): 54-61 (2010)

Almudena Diaz-Zayas, Pedro Merino Gómez: Evaluation of Handover Implementations in Commercial GPRS/UMTS/HSDPA Networks. GLOBECOM 2010: 1-5

Pedro Merino, Alberto Salmeron: Combining SPIN with ns-2 for Protocol Optimization. SPIN 2010: 40-57

José M. Alvarez, Pedro Merino, Laura Panizo, Francisco C. Perez, Andrés Sanz: Communication Software: Design and Testing. Encyclopedia of Software Engineering 2010: 153-169

Almudena Díaz, Pedro Merino: Testing Mobile Data Applications on Smartphones with SymPA. ERCIM News 2009(77) (2009)

María-del-Mar Gallardo, Pedro Merino, David Sanán: Model Checking Dynamic Memory Allocation in Operating Systems. J. Autom. Reasoning 42(2-4): 229-264 (2009)

Jesús Martínez, Pedro Merino, Alberto Salmeron, Francisco Malpartida: UML-Based Model-Driven Development for HSDPA Design. IEEE Software 26(3): 26-33 (2009)

Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán: Checking the reliability of socket based communication software. STTT 11(5): 359-374 (2009)

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: Developing a Decision Support Tool for Dam Management with SPIN. FMICS 2009: 210-212

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: Using SCADE for Decision Support in Dam Management. MSVVEIS 2009: 125-131

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: Web Services for Accessing Explicit State Space Verification Tools. ERCIM News 2008(73) (2008)

Pedro Merino, Erwin Schoitsch: Introduction to the Special Theme "Safety-Critical Software". ERCIM News 2008(75) (2008)

María-del-Mar Gallardo, Pedro Merino, David Sanán: Model Checking C Programs with Dynamic Memory Allocation. COMPSAC 2008: 219-226

Stefan Leue, Pedro Merino (Eds.): Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4916, Springer 2008, isbn 978-3-540-79706-7

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: On-the-Fly Data Flow Analysis Based on Verification Technology. Electr. Notes Theor. Comput. Sci. 190(4): 33-48 (2007)

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel: PiXL: Applying xml standards to support the integration of analysis tools for protocols. Sci. Comput. Program. 65(1): 57-69 (2007)

Almudena Diaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio: Experimental analysis of peer-to-peer streaming in cellular networks. AINA 2007: 784-791

Jesús Martínez, Pedro Merino, Alberto Salmeron: Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. CISIS 2007: 185-190

María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sanán: On-the-fly model checking for C programs with extended CADP in FMICS-jETI. ICECCS 2007: 321-329

Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Model Extraction for ARINC 653 Based Avionics Software. SPIN 2007: 243-262

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. SPIN 2007: 268-273

Almudena Diaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio: Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case. VTC Spring 2007: 624-628

María-del-Mar Gallardo, Pedro Merino, David Sanán: Extending CADP for Analyzing C Code. MSVVEIS 2007: 104-113

Anthony D. Joseph, Almudena Díaz, Pedro Merino, F. Javier Rivas, Umakanth P. Kulkarni, J. V. Vadavi, G. S. Thyagaraju, S. M. Joshi, Anil R. Yardi: Mobile and Ubiquitous Objects. IEEE Pervasive Computing 5(3): 57-59 (2006)

Almudena Díaz, Pedro Merino, F. Javier Rivas: Performance Monitoring and Analysis of Wireless Communication Protocols for Mobile Devices. ICUC 2006

José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo: An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. ISoLA 2006: 397-401

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA 2006: 416-424

Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Abstract Matching for Software Model Checking. SPIN 2006: 182-200

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel: PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. MSVVEIS 2006: 57-66

María-del-Mar Gallardo, Pedro Merino, David Sanán: Towards Model Checking C Code with OPEN/CÆSAR. MSVVEIS 2006: 198-201

María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Static Analysis using Parameterised Boolean Equation Systems. CoRR abs/cs/0606092 (2006)

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino: Model checking active networks with SPIN. Computer Communications 28(6): 609-622 (2005)

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodriguez: Integration of Reliability and Performance Analyses for Active Network Services. Electr. Notes Theor. Comput. Sci. 133: 217-236 (2005)

María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: A generalized semantics of PROMELA for abstract model checking. Formal Asp. Comput. 16(3): 166-193 (2004)

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: aSPIN: A tool for abstract model checking. STTT 5(2-3): 165-184 (2004)

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: Abstract Model Checking and Refinement of Temporal Logic in aSPIN. ACSD 2003: 245-246

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: Applying Data Abstraction to XML Formal Designs. SNPD 2003: 315-321

Guillermo Rodriguez, Pedro Merino, María-del-Mar Gallardo: An extension of the ns simulator for active network research. Computer Communications 25(3): 189-197 (2002)

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: A Tool for Abstraction in Model Checking. Electr. Notes Theor. Comput. Sci. 66(2): 17-32 (2002)

María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Comparing Under and Over-Approximations of LTL Properties for Model Checking. Electr. Notes Theor. Comput. Sci. 76: 131-144 (2002)

María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Debugging UML Designs with Model Checking. Journal of Object Technology 1(2): 101-117 (2002)

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales: Using XML to implement abstraction for Model Checking. SAC 2002: 1021-1025

María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Refinement of LTL Formulas for Abstract Model Checking. SAS 2002: 395-410

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258

Guillermo Rodriguez, Pedro Merino: Modelling and Simulation of Active Network Protocols. ICDCS Workshop on Internet 2000: A43-A50

María-del-Mar Gallardo, Pedro Merino: Verifying Distributed Systems with Model Checking and Static Analysis. ICDCS Workshop on Distributed System Validation and Verification 2000: E87-E90

María-del-Mar Gallardo, Pedro Merino: A Framework for Automatic Construction of Abstract Promela Models. SPIN 1999: 184-199

Pedro Merino, Margarida F. Jacome, Juan Carlos López: A Methodology for Task Based Partitioning and Scheduling of Dynamically Reconfigurable Systems. FCCM 1998: 324-325

Pedro Merino, Juan Carlos López, Margarida F. Jacome: A Hardwar Operating System for Dynamic Reconfiguration of FPGAs. FPL 1998: 431-435

Pedro Merino, José M. Troya: EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. CAV 1996: 406-410