Pedro Merino Vis

*	2009
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	EE	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	EE	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	EE	María-del-Mar Gallardo, Pedro Merino, David Sanán: Model Checking C Programs with Dynamic Memory Allocation. COMPSAC 2008: 219-226
	2007
36	EE	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	EE	Jesús Martínez, Pedro Merino, Alberto Salmeron: Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. CISIS 2007: 185-190
34	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Almudena Díaz, Pedro Merino, F. Javier Rivas: Performance Monitoring and Analysis of Wireless Communication Protocols for Mobile Devices. ICUC 2006
26	EE	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	EE	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	EE	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Abstract Matching for Software Model Checking. SPIN 2006: 182-200
21	EE	María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Static Analysis using Parameterised Boolean Equation Systems CoRR abs/cs/0606092: (2006)
20	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Refinement of LTL Formulas for Abstract Model Checking. SAS 2002: 395-410
11	EE	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258
10	EE	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	EE	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	EE	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	EE	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	EE	María-del-Mar Gallardo, Pedro Merino: A Framework for Automatic Construction of Abstract Promela Models. SPIN 1999: 184-199
	1998
3	EE	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	EE	Pedro Merino, Juan Carlos López, Margarida F. Jacome: A Hardwar Operating System for Dynamic Reconfiguration of FPGAs. FPL 1998: 431-435
	1996
1	EE	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]
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]
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]
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