Pedro Merino

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 34

Top Venues

Mob. Inf. Syst.

SPIN

EuCNC

Int. J. Softw. Tools Technol. Transf.

Publications

María-del-Mar Gallardo, Pedro Merino, Laura Panizo
The Role of Abstraction in Model Checking. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Delia Rico, Karl-Johan Grinemmo, Anna Brunström, Pedro Merino
Performance Analysis of the Multi-connection Tactile Internet Protocol over 5G. J. Netw. Syst. Manag. 31 (3) (2023)
Francisco Luque-Schempp, Laura Panizo, María-del-Mar Gallardo, Pedro Merino
AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking. IEEE Access 11 (2023)
Delia Rico, María-del-Mar Gallardo, Pedro Merino
Verification of a multi-connectivity protocol for Tactile Internet applications. Comput. Commun. 212 (2023)
Harilaos Koumaras, Dimitris Tsolkas, J. Garcia, D. Artunedo, B. Garcia, R. Marco, A. Salkintzis, Dimitrios Fragkos, George Makropoulos, Fotini Setaki, A. Diaz, Pedro Merino, Vaios Koumaras, P. Encinar, Y. Karadimas
A network programmability framework for vertical applications in the beyond 5G era. EuCNC (2022)
Delia Rico, Karl-Johan Grinnemo, Anna Brunström, Pedro Merino
Implementation and evaluation of the Multi-connection Tactile Internet Protocol and API. NOMS (2022)
Francisco Luque-Schempp, Laura Panizo, María-del-Mar Gallardo, Pedro Merino, Javier Rivas
Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking. IEEE Netw. 36 (2) (2022)
Delia Rico, María-del-Mar Gallardo, Pedro Merino
Modeling and verification of the Multi-connection Tactile Internet Protocol. Q2SWinet (2021)
Lambros Sarakis, Panagiotis Trakadas, Josep Martrat, S. Prior, O. Trullols-Cruces, Estefanía Coronado, Marco Centenaro, G. Kontopoulos, Eneko Atxutegi, Panagiotis K. Gkonis, Sergio Gonzalez-Diaz, Angelos Antonopoulos, S. Siddiqui, Pedro Merino
Cost-Efficient 5G Non-Public Network Roll-Out: The Affordable5G Approach. MeditCom (2021)
Almudena Díaz-Zayas, Giuseppe Caso, Özgü Alay, Pedro Merino, Anna Brunström, Dimitris Tsolkas, Harilaos Koumaras
A Modular Experimentation Methodology for 5G Deployments: The 5GENESIS Approach. Sensors 20 (22) (2020)
Delia Rico, Pedro Merino
A Survey of End-to-End Solutions for Reliable Low-Latency Communications in 5G Networks. IEEE Access 8 (2020)
María-del-Mar Gallardo, Pedro Merino
Introduction to the Special Issue devoted to SPIN 2018. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Almudena Díaz-Zayas, Delia Rico, Bruno García, Pedro Merino
A Coordination Framework for Experimentation in 5G Testbeds: URLLC as Use Case. MobiWac (2019)
Almudena Díaz-Zayas, Bruno García, Pedro Merino
An End-to-End Automation Framework for Mobile Network Testbeds. Mob. Inf. Syst. 2019 (2019)
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Laura Panizo, Pedro Merino
A formal approach to automatically analyse extra-functional properties in mobile applications. Softw. Test. Verification Reliab. 29 (4-5) (2019)
Alvaro Rios, Barbara Valera-Muros, Pedro Merino, Jerry Sobieski
Expanding GÉANT Testbeds Service to Support Pan-European 5G Network Slices for Research in the EuWireless Project. Mob. Inf. Syst. 2019 (2019)
Cesar A. García-Pérez, Pedro Merino
Experimental evaluation of fog computing techniques to reduce latency in LTE networks. Trans. Emerg. Telecommun. Technol. 29 (4) (2018)
Almudena Díaz-Zayas, Andrea F. Cattoni, Carlos Cárdenas, Oscar Castañeda, Janie Baños Polglase, Pedro Merino, Michael Dieudonne
TRIANGLE: a Platform to Validate 5G KPIs in End to End scenarios. CAMAD (2018)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
Integrating river basin DSSs with model checking. Int. J. Softw. Tools Technol. Transf. 20 (5) (2018)
Almudena Díaz-Zayas, Pedro Merino
The 3GPP NB-IoT system architecture for the Internet of Things. ICC Workshops (2017)
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
Performance Analysis of Spotify® for Android with Model-Based Testing. Mob. Inf. Syst. 2017 (2017)
Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino
Guided test case generation for mobile apps in the TRIANGLE project: work in progress. SPIN (2017)
Cesar A. García-Pérez, Almudena Díaz, Alvaro Rios, Pedro Merino, Kostas Katsalis, Chia-Yu Chang, Shahab Shariat, Navid Nikaein, Pilar Rodriguez, Donal Morris
Improving the efficiency and reliability of wearable based mobile eHealth applications. Pervasive Mob. Comput. 40 (2017)
Leticia Lavado, Laura Panizo, María-del-Mar Gallardo, Pedro Merino
A characterisation of verification tools for software defined networks. J. Reliab. Intell. Environ. 3 (3) (2017)
Almudena Díaz-Zayas, Alberto Salmerón, F. Javier Rivas Tocado, Pedro Merino
Advanced testing of mobile applications and devices. IM (2017)
F. Javier Rivas Tocado, Almudena Díaz-Zayas, Pedro Merino
A methodology and test environment for QoS measurements in mobile networks. IM (2017)
Almudena Díaz-Zayas, Álvaro M. Recio-Pérez, Cesar A. García-Pérez, Pedro Merino
Extending TestelDroid to support remote control and large-scale testing in mobile networks. EAI Endorsed Trans. Mob. Commun. Appl. 2 (9) (2016)
Álvaro M. Recio-Pérez, Almudena Díaz, Pedro Merino
Characterizing Radio and Networking Power Consumption in LTE Networks. Mob. Inf. Syst. 2016 (2016)
F. Javier Rivas Tocado, Almudena Díaz-Zayas, Pedro Merino
Innovative Tools and Processes for Mobile Communications Research and Education. Int. J. Online Eng. 12 (9) (2016)
Almudena Díaz-Zayas, Cesar A. García-Pérez, Álvaro M. Recio-Pérez, Pedro Merino
3GPP Standards to Deliver LTE Connectivity for IoT. IoTDI (2016)
Cesar A. García-Pérez, Pedro Merino
Enabling Low Latency Services on LTE Networks. FAS*W@SASO/ICCAC (2016)
Andrea F. Cattoni, Germán Corrales Madueño, Michael Dieudonne, Pedro Merino, Almudena Díaz-Zayas, Alberto Salmerón, Frederik Carlier, Bart Saint Germain, Donal Morris, Ricardo Figueiredo, Jeanne Caffrey, Janie Baños Polglase, Carlos Cárdenas, Niall Roche, Alastair Moore
An end-to-end testing ecosystem for 5G. EuCNC (2016)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
River Basin Management with Spin. SPIN (2016)
Cesar A. García-Pérez, Alvaro Rios, Pedro Merino, Kostas Katsalis, Navid Nikaein, Ricardo Figueiredo, Donal Morris, Terry O'Callaghan
Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack. EuCNC (2016)
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
Using Model Checking to Generate Test Cases for Android Applications. MBT (2015)
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
Runtime Verification of Expected Energy Consumption in Smartphones. SPIN (2015)
Alberto Salmerón, Pedro Merino
Integrating model checking and simulation for protocol optimization. Simul. 91 (1) (2015)
Almudena Díaz-Zayas, Álvaro M. Recio-Pérez, Cesar A. García-Pérez, Pedro Merino
Extending TestelDroid to support remote control and large-scale testing in mobile networks. VALUETOOLS (2015)
Damián Adalid, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino
Using SPIN for automated debugging of infinite executions of Java programs. J. Syst. Softw. 90 (2014)
F. Javier Rivas, Almudena Díaz, Pedro Merino
Obtaining More Realistic Cross-Layer QoS Measurements: A VoIP over LTE Use Case. J. Comput. Networks Commun. 2013 (2013)
Alberto Salmerón, Pedro Merino
On-the-fly VoIP call quality evaluation with improved E-model. PM2HW2N@MSWiM (2013)
Pedro Merino, Maria G. Martini, Raimund Schatz, Lea Skorin-Kapov, Martín Varela
Improving QoS and QoE for Mobile Communications. J. Comput. Networks Commun. 2013 (2013)
Andres Alvarez, Almudena Díaz, Pedro Merino, F. Javier Rivas
Mobile application profiling with TestelDroid. CCNC (2012)
Andres Alvarez, Almudena Díaz, Pedro Merino, F. Javier Rivas
Field measurements of mobile services with Android smartphones. CCNC (2012)
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) (2012)
Almudena Díaz, Pedro Merino, Francisco Javier Rivas
Test environment for QoS testing of VoIP over LTE. NOMS (2012)
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. Exp. 41 (11) (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) (2011)
Almudena Díaz, Pedro Merino, Alberto Salmerón
Obtaining Models for Realistic Mobile Network Simulations using Real Traces. IEEE Commun. Lett. 15 (7) (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. Verification Reliab. 21 (4) (2011)
Almudena Díaz, Pedro Merino, F. Javier Rivas
Mobile Application Profiling for Connected Mobile Devices. IEEE Pervasive Comput. 9 (1) (2010)
Almudena Díaz, Pedro Merino, F. Javier Rivas
QoS analysis of video streaming service in live cellular networks. Comput. Commun. 33 (3) (2010)
Pedro Merino, Alberto Salmerón
Combining SPIN with ns-2 for Protocol Optimization. SPIN (2010)
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, Laura Panizo, Antonio Linares
Developing a Decision Support Tool for Dam Management with SPIN. FMICS (2009)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
Using SCADE for Decision Support in Dam Management. MSVVEIS (2009)
María-del-Mar Gallardo, Pedro Merino, David Sanán
Model Checking Dynamic Memory Allocation in Operating Systems. J. Autom. Reason. 42 (2-4) (2009)
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán
Checking the reliability of socket based communication software. Int. J. Softw. Tools Technol. Transf. 11 (5) (2009)
Jesús Martínez, Pedro Merino, Alberto Salmerón, Francisco Malpartida
UML-Based Model-Driven Development for HSDPA Design. IEEE Softw. 26 (3) (2009)
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)
Almudena Díaz, Pedro Merino
Towards a lightweight middleware for mobile multimedia communication awareness. MobiMedia (2008)
María-del-Mar Gallardo, Pedro Merino, David Sanán
Model Checking C Programs with Dynamic Memory Allocation. COMPSAC (2008)
Almudena Díaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio
Experimental analysis of peer-to-peer streaming in cellular networks. AINA (2007)
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
Model Extraction for ARINC 653 Based Avionics Software. SPIN (2007)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel
PiXL: Applying xml standards to support the integration of analysis tools for protocols. Sci. Comput. Program. 65 (1) (2007)
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)
Almudena Díaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio
Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case. VTC Spring (2007)
María-del-Mar Gallardo, Pedro Merino, David Sanán
Extending CADP for Analyzing C Code. MSVVEIS (2007)
Jesús Martínez, Pedro Merino, Alberto Salmerón
Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. CISIS (2007)
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
On-the-Fly Data Flow Analysis Based on Verification Technology. Electron. Notes Theor. Comput. Sci. 190 (4) (2007)
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)
Almudena Díaz, Pedro Merino, F. Javier Rivas
Performance Monitoring and Analysis of Wireless Communication Protocols for Mobile Devices. ICUC (2006)
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA (2006)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. MSVVEIS (2006)
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
Abstract Matching for Software Model Checking. SPIN (2006)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
On the Evolution of reliability Methods for Critical Software. Trans. SDPS 10 (4) (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)
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 Comput. 5 (3) (2006)
María-del-Mar Gallardo, Pedro Merino, David Sanán
Towards Model Checking C Code with OPEN/CÆSAR. MSVVEIS (2006)
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
Static Analysis using Parameterised Boolean Equation Systems CoRR (2006)
Almudena Díaz, Pedro Merino, Alejandro Gil, Javier Munoz
x-AppMonitor μAgent: a tool for QoS measurements in cellular networks. ISWCS (2006)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
Model checking active networks with SPIN. Comput. Commun. 28 (6) (2005)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodríguez
Integration of Reliability and Performance Analyses for Active Network Services. Electron. Notes Theor. Comput. Sci. 133 (2005)
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán
Model checking software with well-defined APIs: the socket case. FMICS (2005)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
aSPIN: A tool for abstract model checking. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
A generalized semantics of PROMELA for abstract model checking. Formal Aspects Comput. 16 (3) (2004)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
Applying Data Abstraction to XML Formal Designs. SNPD (2003)
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)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales
Using XML to implement abstraction for Model Checking. SAC (2002)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
alpha SPIN: Extending SPIN with Abstraction. SPIN (2002)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
A Tool for Abstraction in Model Checking. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)
Guillermo Rodríguez, Pedro Merino, María-del-Mar Gallardo
An extension of the ns simulator for active network research. Comput. Commun. 25 (3) (2002)
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
Debugging UML Designs with Model Checking. J. Object Technol. 1 (2) (2002)
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
Refinement of LTL Formulas for Abstract Model Checking. SAS (2002)
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
Comparing Under and Over-Approximations of LTL Properties for Model Checking. Electron. Notes Theor. Comput. Sci. 76 (2002)
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)
Guillermo Rodríguez, Pedro Merino
Modelling and Simulation of Active Network Protocols. ICDCS Workshop on Internet (2000)
María-del-Mar Gallardo, Pedro Merino
A Framework for Automatic Construction of Abstract Promela Models. SPIN (1999)
Pedro Merino, Margarida F. Jacome, Juan Carlos López
A Methodology for Task Based Partitioning and Scheduling of Dynamically Reconfigurable Systems. FCCM (1998)

Pedro Merino.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pedro Merino