Pedro Merino

	2009
42		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
41		María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: Using SCADE for Decision Support in Dam Management. MSVVEIS 2009: 125-131
40		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)
39		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)
	2008
38		Stefan Leue, Pedro Merino: Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers Springer 2008
37		María-del-Mar Gallardo, Pedro Merino, David Sanán: Model Checking C Programs with Dynamic Memory Allocation. COMPSAC 2008: 219-226
	2007
36		Almudena Diaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio: Experimental analysis of peer-to-peer streaming in cellular networks. AINA 2007: 784-791
35		Jesús Martínez, Pedro Merino, Alberto Salmeron: Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. CISIS 2007: 185-190
34		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
33		M. Mar Gallardo, Pedro Merino, David Sanán: Extending CADP for Analyzing C Code. MSVVEIS 2007: 104-113
32		Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Model Extraction for ARINC 653 Based Avionics Software. SPIN 2007: 243-262
31		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
30		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
29		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)
28		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)
	2006
27		Almudena Díaz, Pedro Merino, F. Javier Rivas: Performance Monitoring and Analysis of Wireless Communication Protocols for Mobile Devices. ICUC 2006
26		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
25		María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA 2006: 416-424
24		María-del-Mar Gallardo, Pedro Merino, David Sanán: Towards Model Checking C Code with OPEN/CÆSAR. MSVVEIS 2006: 198-201
23		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
22		Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Abstract Matching for Software Model Checking. SPIN 2006: 182-200
21		María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Static Analysis using Parameterised Boolean Equation Systems CoRR abs/cs/0606092: (2006)
20		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)
	2005
19		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino: Model checking active networks with SPIN. Computer Communications 28(6): 609-622 (2005)
18		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)
	2004
17		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)
16		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)
	2003
15		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
14		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: Applying Data Abstraction to XML Formal Designs. SNPD 2003: 315-321
	2002
13		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
12		María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Refinement of LTL Formulas for Abstract Model Checking. SAS 2002: 395-410
11		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258
10		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)
9		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): (2002)
8		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: (2002)
7		María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Debugging UML Designs with Model Checking. Journal of Object Technology 1(2): 101-117 (2002)
	2000
6		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
5		Guillermo Rodriguez, Pedro Merino: Modelling and Simulation of Active Network Protocols. ICDCS Workshop on Internet 2000: A43-A50
	1999
4		María-del-Mar Gallardo, Pedro Merino: A Framework for Automatic Construction of Abstract Promela Models. SPIN 1999: 184-199
	1998
3		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
2		Pedro Merino, Juan Carlos López, Margarida F. Jacome: A Hardwar Operating System for Dynamic Reconfiguration of FPGAs. FPL 1998: 431-435
	1996
1		Pedro Merino, José M. Troya: EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. CAV 1996: 406-410

Coauthor Index

1	José M. Alvarez	[26]
2	Pedro de la Cámara	[22] [26] [32]
3	Almudena Díaz	[20] [27]
4	Almudena Diaz-Zayas	[30] [36]
5	M. Mar Gallardo	[33]
6	María-del-Mar Gallardo	[4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [25] [28] [29] [31] [32] [34] [37] [39] [41] [42]
7	Margarida F. Jacome	[2] [3]
8	Anthony D. Joseph	[20]
9	S. M. Joshi	[20]
10	Christophe Joubert	[21] [25] [29] [31] [34]
11	Umakanth P. Kulkarni	[20]
12	Stefan Leue	[38]
13	Antonio Linares	[41] [42]
14	Juan Carlos López	[2] [3]
15	Francisco Malpartida	[40]
16	Jesús Martínez	[9] [11] [13] [14] [15] [16] [18] [19] [23] [26] [28] [35] [40]
17	Victoria Morillo	[26]
18	Pablo Nuñez	[23] [28]
19	Laura Panizo	[30] [36] [41] [42]
20	Francisco C. Perez	[26]
21	Ernesto Pimentel	[7] [8] [9] [11] [12] [14] [15] [16] [17] [23] [28]
22	Alvaro M. Recio	[30] [36]
23	F. Javier Rivas	[20] [27]
24	Guillermo Rodriguez	[5] [10] [18]
25	Estefanía Rosales	[13]
26	Alberto Salmeron	[35] [40]
27	David Sanán	[24] [31] [33] [34] [37] [39]
28	G. S. Thyagaraju	[20]
29	José M. Troya (José María Troya Linero)	[1]
30	J. V. Vadavi	[20]
31	Anil R. Yardi	[20]

Colors in the list of coauthors