| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 43 |       | 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) |
| 35 | | Jesús Martínez, Pedro Merino, Alberto Salmeron: Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. CISIS 2007: 185-190 |
| 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) |
| 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 |
| 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 |
| 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) |
| 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) |
| 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 |
| 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 |
| 11 | | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258 |
| 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): 17-32 (2002) |
Selection of 13 from 58 records - Pedro Merino has 36 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page