| 2022 | NOMS | Implementation and evaluation of the Multi-connection Tactile Internet Protocol and API. | Delia Rico, Karl-Johan Grinnemo, Anna Brunstrm, Pedro Merino |
| 2021 | MSWIM | Modeling and verification of the Multi-connection Tactile Internet Protocol. | Delia Rico, Mara-del-Mar Gallardo, Pedro Merino |
| 2017 | IM | Advanced testing of mobile applications and devices. | Almudena Daz-Zayas, Alberto Salmern, F. Javier Rivas Tocado, Pedro Merino |
| 2017 | IM | A methodology and test environment for QoS measurements in mobile networks. | F. Javier Rivas Tocado, Almudena Daz-Zayas, Pedro Merino |
| 2013 | MSWIM | On-the-fly VoIP call quality evaluation with improved E-model. | Alberto Salmern, Pedro Merino |
| 2012 | NOMS | Test environment for QoS testing of VoIP over LTE. | Almudena Daz, Pedro Merino, Francisco Javier Rivas |
| 2009 | FMICS | Developing a Decision Support Tool for Dam Management with SPIN. | Mara-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares |
| 2008 | COMPSAC | Model Checking C Programs with Dynamic Memory Allocation. | Mara-del-Mar Gallardo, Pedro Merino, David Sann |
| 2007 | AINA | Experimental analysis of peer-to-peer streaming in cellular networks. | Almudena Daz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio |
| 2007 | CISIS | Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. | Jess Martnez, Pedro Merino, Alberto Salmern |
| 2007 | ICECCS | On-the-fly model checking for C programs with extended CADP in FMICS-jETI. | Mara-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sann |
| 2007 | VTC | Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case. | Almudena Daz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio |
| 2006 | ISoLA | An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. | Jos M. Alvarez, Pedro de la Cmara, Jess Martnez, Pedro Merino, Francisco C. Perez, Victoria Morillo |
| 2006 | ISoLA | Implementing Influence Analysis Using Parameterised Boolean Equation Systems. | Mara-del-Mar Gallardo, Christophe Joubert, Pedro Merino |
| 2005 | FMICS | Model checking software with well-defined APIs: the socket case. | Pedro de la Cmara, Mara-del-Mar Gallardo, Pedro Merino, David Sann |
| 2003 | SNPD | Applying Data Abstraction to XML Formal Designs. | Mara-del-Mar Gallardo, Jess Martnez, Pedro Merino, Ernesto Pimentel |
| 2002 | SAC | Using XML to implement abstraction for Model Checking. | Mara-del-Mar Gallardo, Jess Martnez, Pedro Merino, Estefana Rosales |
| 2002 | SAS | Refinement of LTL Formulas for Abstract Model Checking. | Mara-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
| 1998 | FCCM | A Methodology for Task Based Partitioning and Scheduling of Dynamically Reconfigurable Systems. | Pedro Merino, Margarida F. Jacome, Juan Carlos Lpez |
| 1998 | FPL | A Hardwar Operating System for Dynamic Reconfiguration of FPGAs. | Pedro Merino, Juan Carlos Lpez, Margarida F. Jacome |
| 1996 | CAV | EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. | Pedro Merino, Jos M. Troya |