Pedro Merino - RankMe

109 papers A* 1B 9C 8Misc 3Journal 46Unranked 40

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Corrigendum to "Runtime monitoring of 5G network slicing using STAn" [Journal of Logical and Algebraic Methods in Programming, 145 (2025) 101059]. J. Log. Algebraic Methods Program. Laura Panizo, María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino
2025	—	`conf`	Reproducible Key Performance Indicator (KPI) Measurement Experiments in 6G Networks Under Mobility Conditions. EuCNC/6G Summit Javier Otero-Mosquera, Alicia Meleiro-Estévez, Pablo Fondo-Ferreiro, Francisco Luque-Schempp, Felipe J. Gil-Castiñeira, Pedro Merino
2025	J	`jnl`	Runtime monitoring of 5G network slicing using STAn. J. Log. Algebraic Methods Program. Laura Panizo, María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino
2023	J	`jnl`	AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking. IEEE Access Francisco Luque-Schempp, Laura Panizo, María-del-Mar Gallardo, Pedro Merino
2023	J	`jnl`	Performance Analysis of the Multi-connection Tactile Internet Protocol over 5G. J. Netw. Syst. Manag. Delia Rico, Karl-Johan Grinemmo, Anna Brunström, Pedro Merino
2023	—	`conf`	The Role of Abstraction in Model Checking. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems María-del-Mar Gallardo, Pedro Merino, Laura Panizo
2023	J	`jnl`	Verification of a multi-connectivity protocol for Tactile Internet applications. Comput. Commun. Delia Rico, María-del-Mar Gallardo, Pedro Merino
2022	—	`conf`	A network programmability framework for vertical applications in the beyond 5G era. EuCNC Harilaos Koumaras, Dimitris Tsolkas, Javier Garcia, David Artuñedo, Bruno García, Ricardo Marco, Apostolis K. Salkintzis, Dimitrios Fragkos, George Makropoulos, Fotini Setaki, Almudena Díaz, Pedro Merino, Vaios Koumaras, Paula Encinar, Yiannis Karadimas
2022	B	`conf`	Implementation and evaluation of the Multi-connection Tactile Internet Protocol and API. NOMS Delia Rico, Karl-Johan Grinnemo, Anna Brunström, Pedro Merino
2022	J	`jnl`	Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking. IEEE Netw. Francisco Luque-Schempp, Laura Panizo, María-del-Mar Gallardo, Pedro Merino, Javier Rivas
2021	—	`conf`	Cost-Efficient 5G Non-Public Network Roll-Out: The Affordable5G Approach. MeditCom Lambros Sarakis, Panagiotis Trakadas, Josep Martrat, S. Prior, Óscar Trullols-Cruces, Estefanía Coronado, Marco Centenaro, G. Kontopoulos, Eneko Atxutegi, Panagiotis K. Gkonis, Sergio Gonzalez-Diaz, Angelos Antonopoulos, Shuaib Siddiqui, Pedro Merino
2021	—	`conf`	Modeling and verification of the Multi-connection Tactile Internet Protocol. Q2SWinet Delia Rico, María-del-Mar Gallardo, Pedro Merino
2020	J	`jnl`	A Modular Experimentation Methodology for 5G Deployments: The 5GENESIS Approach. Sensors Almudena Díaz-Zayas, Giuseppe Caso, Özgü Alay, Pedro Merino, Anna Brunström, Dimitris Tsolkas, Harilaos Koumaras
2020	J	`jnl`	A Survey of End-to-End Solutions for Reliable Low-Latency Communications in 5G Networks. IEEE Access Delia Rico, Pedro Merino
2020	J	`jnl`	Introduction to the Special Issue devoted to SPIN 2018. Int. J. Softw. Tools Technol. Transf. María-del-Mar Gallardo, Pedro Merino
2019	—	`conf`	A Coordination Framework for Experimentation in 5G Testbeds: URLLC as Use Case. MobiWac Almudena Díaz-Zayas, Delia Rico, Bruno García, Pedro Merino
2019	J	`jnl`	A formal approach to automatically analyse extra-functional properties in mobile applications. Softw. Test. Verification Reliab. Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Laura Panizo, Pedro Merino
2019	J	`jnl`	An End-to-End Automation Framework for Mobile Network Testbeds. Mob. Inf. Syst. Almudena Díaz-Zayas, Bruno García, Pedro Merino
2019	J	`jnl`	Expanding GÉANT Testbeds Service to Support Pan-European 5G Network Slices for Research in the EuWireless Project. Mob. Inf. Syst. Alvaro Rios, Barbara Valera-Muros, Pedro Merino, Jerry Sobieski
2018	J	`jnl`	Experimental evaluation of fog computing techniques to reduce latency in LTE networks. Trans. Emerg. Telecommun. Technol. Cesar A. García-Pérez, Pedro Merino
2018	J	`jnl`	Integrating river basin DSSs with model checking. Int. J. Softw. Tools Technol. Transf. María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
2018	—	`ed.`	Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings SPIN María-del-Mar Gallardo, Pedro Merino
2018	—	`conf`	TRIANGLE: a Platform to Validate 5G KPIs in End to End scenarios. CAMAD Almudena Díaz-Zayas, Andrea F. Cattoni, Carlos Cárdenas, Oscar Castañeda, Janie Baños Polglase, Pedro Merino, Michael Dieudonne
2017	J	`jnl`	A characterisation of verification tools for software defined networks. J. Reliab. Intell. Environ. Leticia Lavado, Laura Panizo, María-del-Mar Gallardo, Pedro Merino
2017	B	`conf`	A methodology and test environment for QoS measurements in mobile networks. IM F. Javier Rivas Tocado, Almudena Díaz-Zayas, Pedro Merino
2017	B	`conf`	Advanced testing of mobile applications and devices. IM Almudena Díaz-Zayas, Alberto Salmerón, F. Javier Rivas Tocado, Pedro Merino
2017	—	`conf`	Guided test case generation for mobile apps in the TRIANGLE project: work in progress. SPIN Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino
2017	J	`jnl`	Improving the efficiency and reliability of wearable based mobile eHealth applications. Pervasive Mob. Comput. 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
2017	J	`jnl`	Performance Analysis of Spotify® for Android with Model-Based Testing. Mob. Inf. Syst. Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
2017	—	`conf`	The 3GPP NB-IoT system architecture for the Internet of Things. ICC Workshops Almudena Díaz-Zayas, Pedro Merino
2016	—	`conf`	3GPP Standards to Deliver LTE Connectivity for IoT. IoTDI Almudena Díaz-Zayas, Cesar A. García-Pérez, Álvaro M. Recio-Pérez, Pedro Merino
2016	—	`conf`	An end-to-end testing ecosystem for 5G. EuCNC 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
2016	J	`jnl`	Characterizing Radio and Networking Power Consumption in LTE Networks. Mob. Inf. Syst. Álvaro M. Recio-Pérez, Almudena Díaz, Pedro Merino
2016	—	`conf`	Enabling Low Latency Services on LTE Networks. FAS*W@SASO/ICCAC Cesar A. García-Pérez, Pedro Merino
2016	J	`jnl`	Extending TestelDroid to support remote control and large-scale testing in mobile networks. EAI Endorsed Trans. Mob. Commun. Appl. Almudena Díaz-Zayas, Álvaro M. Recio-Pérez, Cesar A. García-Pérez, Pedro Merino
2016	J	`jnl`	Innovative Tools and Processes for Mobile Communications Research and Education. Int. J. Online Eng. F. Javier Rivas Tocado, Almudena Díaz-Zayas, Pedro Merino
2016	—	`conf`	Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack. EuCNC Cesar A. García-Pérez, Alvaro Rios, Pedro Merino, Kostas Katsalis, Navid Nikaein, Ricardo Figueiredo, Donal Morris, Terry O'Callaghan
2016	—	`conf`	River Basin Management with Spin. SPIN María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
2015	—	`conf`	Extending TestelDroid to support remote control and large-scale testing in mobile networks. VALUETOOLS Almudena Díaz-Zayas, Álvaro M. Recio-Pérez, Cesar A. García-Pérez, Pedro Merino
2015	J	`jnl`	Integrating model checking and simulation for protocol optimization. Simul. Alberto Salmerón, Pedro Merino
2015	—	`conf`	Runtime Verification of Expected Energy Consumption in Smartphones. SPIN Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
2015	—	`conf`	Using Model Checking to Generate Test Cases for Android Applications. MBT Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
2014	J	`jnl`	Using SPIN for automated debugging of infinite executions of Java programs. J. Syst. Softw. Damián Adalid, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino
2013	J	`jnl`	Improving QoS and QoE for Mobile Communications. J. Comput. Networks Commun. Pedro Merino, Maria G. Martini, Raimund Schatz, Lea Skorin-Kapov, Martín Varela
2013	J	`jnl`	Obtaining More Realistic Cross-Layer QoS Measurements: A VoIP over LTE Use Case. J. Comput. Networks Commun. F. Javier Rivas, Almudena Díaz, Pedro Merino
2013	—	`conf`	On-the-fly VoIP call quality evaluation with improved E-model. PM2HW2N@MSWiM Alberto Salmerón, Pedro Merino
2012	J	`jnl`	A model-extraction approach to verifying concurrent C programs with CADP. Sci. Comput. Program. María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán
2012	—	`conf`	Field measurements of mobile services with Android smartphones. CCNC Andres Alvarez, Almudena Díaz, Pedro Merino, F. Javier Rivas
2012	—	`conf`	Mobile application profiling with TestelDroid. CCNC Andres Alvarez, Almudena Díaz, Pedro Merino, F. Javier Rivas
2012	B	`conf`	Test environment for QoS testing of VoIP over LTE. NOMS Almudena Díaz, Pedro Merino, Francisco Javier Rivas
2011	J	`jnl`	A practical use of model checking for synthesis: generating a dam controller for flood management. Softw. Pract. Exp. María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
2011	J	`jnl`	Obtaining Models for Realistic Mobile Network Simulations using Real Traces. IEEE Commun. Lett. Almudena Díaz, Pedro Merino, Alberto Salmerón
2011	J	`jnl`	Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Sci. Comput. Program. Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino
2011	J	`jnl`	Verification support for ARINC-653-based avionics software. Softw. Test. Verification Reliab. Pedro de la Cámara, J. Raúl Castro, María-del-Mar Gallardo, Pedro Merino
2010	—	`conf`	Combining SPIN with ns-2 for Protocol Optimization. SPIN Pedro Merino, Alberto Salmerón
2010	—	`ch.`	Communication Software: Design and Testing. Encyclopedia of Software Engineering José M. Alvarez, Pedro Merino, Laura Panizo, Francisco C. Perez, Andrés Sanz
2010	J	`jnl`	Mobile Application Profiling for Connected Mobile Devices. IEEE Pervasive Comput. Almudena Díaz, Pedro Merino, F. Javier Rivas
2010	J	`jnl`	QoS analysis of video streaming service in live cellular networks. Comput. Commun. Almudena Díaz, Pedro Merino, F. Javier Rivas
2009	J	`jnl`	Checking the reliability of socket based communication software. Int. J. Softw. Tools Technol. Transf. Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán
2009	C	`conf`	Developing a Decision Support Tool for Dam Management with SPIN. FMICS María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
2009	J	`jnl`	Model Checking Dynamic Memory Allocation in Operating Systems. J. Autom. Reason. María-del-Mar Gallardo, Pedro Merino, David Sanán
2009	J	`jnl`	Testing Mobile Data Applications on Smartphones with SymPA. ERCIM News Almudena Díaz, Pedro Merino
2009	J	`jnl`	UML-Based Model-Driven Development for HSDPA Design. IEEE Softw. Jesús Martínez, Pedro Merino, Alberto Salmerón, Francisco Malpartida
2009	—	`conf`	Using SCADE for Decision Support in Dam Management. MSVVEIS María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
2008	C	`ed.`	Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers FMICS Stefan Leue, Pedro Merino
2008	J	`jnl`	Introduction to the Special Theme "Safety-Critical Software". ERCIM News Pedro Merino, Erwin Schoitsch
2008	B	`conf`	Model Checking C Programs with Dynamic Memory Allocation. COMPSAC María-del-Mar Gallardo, Pedro Merino, David Sanán
2008	—	`conf`	Towards a lightweight middleware for mobile multimedia communication awareness. MobiMedia Almudena Díaz, Pedro Merino
2008	J	`jnl`	Web Services for Accessing Explicit State Space Verification Tools. ERCIM News María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán
2007	Misc	`conf`	Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. CISIS Jesús Martínez, Pedro Merino, Alberto Salmerón
2007	—	`conf`	C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. SPIN María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán
2007	—	`conf`	Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case. VTC Spring Almudena Díaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio
2007	B	`conf`	Experimental analysis of peer-to-peer streaming in cellular networks. AINA Almudena Díaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio
2007	—	`conf`	Extending CADP for Analyzing C Code. MSVVEIS María-del-Mar Gallardo, Pedro Merino, David Sanán
2007	—	`conf`	Model Extraction for ARINC 653 Based Avionics Software. SPIN Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
2007	—	`conf`	On-the-Fly Data Flow Analysis Based on Verification Technology. COCV María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
2007	B	`conf`	On-the-fly model checking for C programs with extended CADP in FMICS-jETI. ICECCS María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sanán
2007	J	`jnl`	PiXL: Applying xml standards to support the integration of analysis tools for protocols. Sci. Comput. Program. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel
2006	—	`conf`	Abstract Matching for Software Model Checking. SPIN Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
2006	C	`conf`	An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. ISoLA José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo
2006	C	`conf`	Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
2006	J	`jnl`	Mobile and Ubiquitous Objects. IEEE Pervasive Comput. 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
2006	J	`jnl`	On the Evolution of reliability Methods for Critical Software. Trans. SDPS María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2006	—	`conf`	Performance Monitoring and Analysis of Wireless Communication Protocols for Mobile Devices. ICUC Almudena Díaz, Pedro Merino, F. Javier Rivas
2006	—	`conf`	PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. MSVVEIS María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel
2006	J	`jnl`	Static Analysis using Parameterised Boolean Equation Systems CoRR María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
2006	—	`conf`	Towards Model Checking C Code with OPEN/CÆSAR. MSVVEIS María-del-Mar Gallardo, Pedro Merino, David Sanán
2006	—	`conf`	x-AppMonitor μAgent: a tool for QoS measurements in cellular networks. ISWCS Almudena Díaz, Pedro Merino, Alejandro Gil, Javier Muñoz
2005	J	`jnl`	Model checking active networks with SPIN. Comput. Commun. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
2005	C	`conf`	Model checking software with well-defined APIs: the socket case. FMICS Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán
2004	J	`jnl`	A generalized semantics of PROMELA for abstract model checking. Formal Aspects Comput. María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
2004	C	`conf`	Integration of Reliability and Performance Analyses for Active Network Services. FMICS María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodríguez
2004	J	`jnl`	aSPIN: A tool for abstract model checking. Int. J. Softw. Tools Technol. Transf. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2003	—	`conf`	Abstract Model Checking and Refinement of Temporal Logic in aSPIN. ACSD María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2003	C	`conf`	Applying Data Abstraction to XML Formal Designs. SNPD María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2002	C	`conf`	A Tool for Abstraction in Model Checking. FMICS María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2002	J	`jnl`	An extension of the ns simulator for active network research. Comput. Commun. Guillermo Rodríguez, Pedro Merino, María-del-Mar Gallardo
2002	—	`conf`	Comparing Under and Over-Approximations of LTL Properties for Model Checking. WFLP María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
2002	J	`jnl`	Debugging UML Designs with Model Checking. J. Object Technol. María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
2002	B	`conf`	Refinement of LTL Formulas for Abstract Model Checking. SAS María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
2002	Misc	`conf`	Using XML to implement abstraction for Model Checking. SAC María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales
2002	—	`conf`	alpha SPIN: Extending SPIN with Abstraction. SPIN María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2000	—	`conf`	Modelling and Simulation of Active Network Protocols. ICDCS Workshop on Internet Guillermo Rodríguez, Pedro Merino
2000	—	`conf`	Verifying Distributed Systems with Model Checking and Static Analysis. ICDCS Workshop on Distributed System Validation and Verification María-del-Mar Gallardo, Pedro Merino
1999	—	`conf`	A Framework for Automatic Construction of Abstract Promela Models. SPIN María-del-Mar Gallardo, Pedro Merino
1998	B	`conf`	A Hardwar Operating System for Dynamic Reconfiguration of FPGAs. FPL Pedro Merino, Juan Carlos López, Margarida F. Jacome
1998	Misc	`conf`	A Methodology for Task Based Partitioning and Scheduling of Dynamically Reconfigurable Systems. FCCM Pedro Merino, Margarida F. Jacome, Juan Carlos López
1996	A*	`conf`	EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. CAV Pedro Merino, José M. Troya
1996	—	`conf`	Modelling and verification of the MCS layer with Spin. The Spin Verification System Pedro Merino, José María Troya Linero