default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPedro Merino 0001
Pedro Merino Gómez
Person information
- affiliation: University of Málaga, Spain
Other persons with the same name
- Pedro Merino 0002
![[0000-0002-8178-8834]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0002-8178-8834")
— Escuela Politénica Nacional, Quito, Ecuador
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j46]Laura Panizo, María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino:
Runtime monitoring of 5G network slicing using STAn. J. Log. Algebraic Methods Program. 145: 101059 (2025)- 2024
- [c74]Pedro Merino Gómez, Bruno García, Carlos Andreo, David Artuñedo, Jesus Macias:
On-demand Trial Networks over 6G-SANDBOX infrastructure. EuCNC/6G Summit 2024: 1021-1026 - [c73]Chafika Benzaïd, Fahim Muhtasim Hossain, Tarik Taleb, Pedro Merino Gómez, Michael Dieudonne:
A Federated Continual Learning Framework for Sustainable Network Anomaly Detection in O-RAN. WCNC 2024: 1-6 - 2023
- [j45]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: 82960-82977 (2023) - [j44]Delia Rico, María-del-Mar Gallardo, Pedro Merino:
Verification of a multi-connectivity protocol for Tactile Internet applications. Comput. Commun. 212: 390-406 (2023) - [j43]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): 49 (2023) - [c72]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: 151-169 - 2022
- [j42]Erik Aumayr, Giuseppe Caso, Anne-Marie Bosneag, Almudena Díaz-Zayas, Özgü Alay, Bruno García, Konstantinos Kousias, Anna Brunström, Pedro Merino Gómez, Harilaos Koumaras:
Service-based Analytics for 5G open experimentation platforms. Comput. Networks 205: 108740 (2022) - [j41]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): 50-56 (2022) - [c71]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:
A network programmability framework for vertical applications in the beyond 5G era. EuCNC 2022: 375-380 - [c70]Delia Rico, Karl-Johan Grinnemo, Anna Brunström, Pedro Merino:
Implementation and evaluation of the Multi-connection Tactile Internet Protocol and API. NOMS 2022: 1-6 - 2021
- [j40]Barbara Valera-Muros, Laura Panizo, Alvaro Rios, Pedro Merino Gómez:
An Architecture for Creating Slices to Experiment on Wireless Networks. J. Netw. Syst. Manag. 29(1): 1 (2021) - [c69]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:
Cost-Efficient 5G Non-Public Network Roll-Out: The Affordable5G Approach. MeditCom 2021: 221-227 - [c68]Delia Rico, María-del-Mar Gallardo, Pedro Merino:
Modeling and verification of the Multi-connection Tactile Internet Protocol. Q2SWinet 2021: 105-114 - 2020
- [j39]Delia Rico, Pedro Merino:
A Survey of End-to-End Solutions for Reliable Low-Latency Communications in 5G Networks. IEEE Access 8: 192808-192834 (2020) - [j38]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): 6652 (2020) - [j37]María-del-Mar Gallardo, Pedro Merino:
Introduction to the Special Issue devoted to SPIN 2018. Int. J. Softw. Tools Technol. Transf. 22(2): 103-104 (2020)
2010 – 2019
- 2019
- [j36]Almudena Díaz-Zayas, Bruno García, Pedro Merino:
An End-to-End Automation Framework for Mobile Network Testbeds. Mob. Inf. Syst. 2019: 2563917:1-2563917:8 (2019) - [j35]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: 6249247:1-6249247:13 (2019) - [j34]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) - [c67]Barbara Valera-Muros, Pedro Merino Gómez:
Is GAÉNT Testbeds Service compliant with ETSI MANO? 5G World Forum 2019: 502-507 - [c66]María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino Gómez, Laura Panizo:
How Formal Methods Can Contribute to 5G Networks. From Software Engineering to Formal Methods and Tools, and Back 2019: 548-571 - [c65]Iván González Muriel, Álvaro Martín Heredia, Pedro Merino Gómez:
Testbed to experiment with LTE WiFi Aggregation. EuCNC 2019: 506-511 - [c64]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: 71-79 - 2018
- [j33]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) - [j32]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): 499-514 (2018) - [c63]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: 1-7 - [c62]Harilaos Koumaras, Dimitris Tsolkas, Georgios Gardikis, Pedro Merino Gómez, Valerio Frascolla, Dionysia Triantafyllopoulou, Marc Emmelmann, Vaios Koumaras, María L. García Osma, Daniele Munaretto, Eneko Atxutegi, Jara Suarez de Puga, Ozgu Alay, Anna Brunström, Anne-Marie Cristina Bosneag:
5GENESIS: The Genesis of a flexible 5G Facility. CAMAD 2018: 1-6 - [c61]Almudena Díaz-Zayas, Alberto Salmerón Moreno, Gustavo García Pascual, Pedro Merino Gómez:
TRIANGLE Portal: An User-Friendly Web Interface for Remote Experimentation. REV 2018: 110-117 - [e2]María-del-Mar Gallardo, Pedro Merino:
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science 10869, Springer 2018, ISBN 978-3-319-94110-3 [contents] - 2017
- [j31]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): 189-207 (2017) - [j30]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: 2012696:1-2012696:14 (2017) - [j29]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: 674-691 (2017) - [c60]Almudena Díaz-Zayas, Pedro Merino:
The 3GPP NB-IoT system architecture for the Internet of Things. ICC Workshops 2017: 277-282 - [c59]Almudena Díaz-Zayas, Alberto Salmerón, F. Javier Rivas Tocado, Pedro Merino:
Advanced testing of mobile applications and devices. IM 2017: 801-804 - [c58]F. Javier Rivas Tocado, Almudena Díaz-Zayas, Pedro Merino:
A methodology and test environment for QoS measurements in mobile networks. IM 2017: 823-828 - [c57]Alberto Salmerón, Leticia Lavado, María-del-Mar Gallardo, Pedro Merino Gómez:
Adding Correctness Checking to Test Automation Platform. ISSRE Workshops 2017: 132-138 - [c56]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: 192-195 - 2016
- [j28]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): 40-46 (2016) - [j27]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): e4 (2016) - [j26]Álvaro M. Recio-Pérez, Almudena Díaz, Pedro Merino:
Characterizing Radio and Networking Power Consumption in LTE Networks. Mob. Inf. Syst. 2016: 2752961:1-2752961:10 (2016) - [c55]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: 64-68 - [c54]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: 307-312 - [c53]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: 283-288 - [c52]Cesar A. García-Pérez, Pedro Merino:
Enabling Low Latency Services on LTE Networks. FAS*W@SASO/ICCAC 2016: 248-255 - [c51]María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón:
River Basin Management with Spin. SPIN 2016: 78-96 - 2015
- [j25]Alberto Salmerón, Pedro Merino:
Integrating model checking and simulation for protocol optimization. Simul. 91(1): 3-25 (2015) - [c50]Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino:
Runtime Verification of Expected Energy Consumption in Smartphones. SPIN 2015: 132-149 - [c49]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: 269-272 - [c48]Almudena Díaz-Zayas, Cesar A. García-Pérez, Álvaro M. Recio-Pérez, Pedro Merino Gómez:
PerformLTE: A Testbed for LTE Testing in the Future Internet. WWIC 2015: 46-59 - [c47]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: 7-21 - 2014
- [j24]F. Javier Rivas Tocado, Almudena Díaz-Zayas, Pedro Merino Gómez:
Characterizing Traffic Performance in Cellular Networks. IEEE Internet Comput. 18(1): 12-19 (2014) - [j23]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: 61-75 (2014) - [j22]Almudena Díaz-Zayas, Cesar A. García-Pérez, Pedro Merino Gómez:
Third-Generation Partnership Project Standards: For Delivery of Critical Communications for Railways. IEEE Veh. Technol. Mag. 9(2): 58-68 (2014) - 2013
- [j21]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: 405858:1-405858:10 (2013) - [j20]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: 645174:1-645174:2 (2013) - [c46]Alberto Salmerón, Pedro Merino:
On-the-fly VoIP call quality evaluation with improved E-model. PM2HW2N@MSWiM 2013: 145-152 - [c45]F. Javier Rivas, Almudena Díaz-Zayas, Pedro Merino Gómez:
Performance study of Internet traffic on high speed railways. WOWMOM 2013: 1-9 - 2012
- [j19]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): 375-392 (2012) - [c44]Andres Alvarez, Almudena Díaz, Pedro Merino, F. Javier Rivas:
Mobile application profiling with TestelDroid. CCNC 2012: 36-37 - [c43]Andres Alvarez, Almudena Díaz, Pedro Merino, F. Javier Rivas:
Field measurements of mobile services with Android smartphones. CCNC 2012: 105-109 - [c42]Almudena Díaz, Pedro Merino, Francisco Javier Rivas:
Test environment for QoS testing of VoIP over LTE. NOMS 2012: 780-794 - [c41]Almudena Díaz-Zayas, Francisco Javier Rivas, Pedro Merino Gómez:
UMA Testing Facility. TRIDENTCOM 2012: 9-10 - [c40]Francisco Javier Rivas, Almudena Díaz-Zayas, Pedro Merino Gómez:
Testing of LTE Configurations and Applications. TRIDENTCOM 2012: 417-418 - 2011
- [j18]Almudena Díaz, Pedro Merino, Alberto Salmerón:
Obtaining Models for Realistic Mobile Network Simulations using Real Traces. IEEE Commun. Lett. 15(7): 782-784 (2011) - [j17]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): 63-64 (2011) - [j16]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): 1329-1347 (2011) - [j15]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): 267-298 (2011) - [c39]Almudena Díaz-Zayas, Pedro Merino Gómez:
Testing and Profiling Internet Services in Mobile Devices. ServiceWave 2011: 329-330 - 2010
- [j14]Almudena Díaz, Pedro Merino, F. Javier Rivas:
QoS analysis of video streaming service in live cellular networks. Comput. Commun. 33(3): 322-335 (2010) - [j13]Almudena Díaz-Zayas, Pedro Merino Gómez:
A Testbed for Energy Profile Characterization of IP Services in Smartphones over Live Networks. Mob. Networks Appl. 15(3): 330-343 (2010) - [j12]Almudena Díaz, Pedro Merino, F. Javier Rivas:
Mobile Application Profiling for Connected Mobile Devices. IEEE Pervasive Comput. 9(1): 54-61 (2010) - [c38]Almudena Díaz-Zayas, Pedro Merino Gómez:
Evaluation of Handover Implementations in Commercial GPRS/UMTS/HSDPA Networks. GLOBECOM 2010: 1-5 - [c37]Pedro Merino, Alberto Salmerón:
Combining SPIN with ns-2 for Protocol Optimization. SPIN 2010: 40-57 - [r1]José M. Alvarez, Pedro Merino, Laura Panizo, Francisco C. Perez, Andrés Sanz:
Communication Software: Design and Testing. Encyclopedia of Software Engineering 2010: 153-169
2000 – 2009
- 2009
- [j11]María-del-Mar Gallardo, Pedro Merino, David Sanán:
Model Checking Dynamic Memory Allocation in Operating Systems. J. Autom. Reason. 42(2-4): 229-264 (2009) - [j10]Jesús Martínez, Pedro Merino, Alberto Salmerón, Francisco Malpartida:
UML-Based Model-Driven Development for HSDPA Design. IEEE Softw. 26(3): 26-33 (2009) - [j9]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): 359-374 (2009) - [c36]María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares:
Developing a Decision Support Tool for Dam Management with SPIN. FMICS 2009: 210-212 - [c35]Almudena Díaz-Zayas, Pedro Merino Gómez:
SymPa: a measurement tool for evaluating the performance of IP services in mobile networks. Q2SWinet 2009: 103-106 - [c34]María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares:
Using SCADE for Decision Support in Dam Management. MSVVEIS 2009: 125-131 - [i4]Almudena Díaz, Pedro Merino:
Testing Mobile Data Applications on Smartphones with SymPA. ERCIM News 2009(77) (2009) - 2008
- [c33]María-del-Mar Gallardo, Pedro Merino, David Sanán:
Model Checking C Programs with Dynamic Memory Allocation. COMPSAC 2008: 219-226 - [c32]Almudena Díaz, Pedro Merino:
Towards a lightweight middleware for mobile multimedia communication awareness. MobiMedia 2008 - [e1]Stefan Leue, Pedro Merino:
Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4916, Springer 2008, ISBN 978-3-540-79706-7 [contents] - [i3]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) - [i2]Pedro Merino, Erwin Schoitsch:
Introduction to the Special Theme "Safety-Critical Software". ERCIM News 2008(75) (2008) - 2007
- [j8]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): 57-69 (2007) - [c31]Almudena Díaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio:
Experimental analysis of peer-to-peer streaming in cellular networks. AINA 2007: 784-791 - [c30]Jesús Martínez, Pedro Merino, Alberto Salmerón:
Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. CISIS 2007: 185-190 - [c29]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 - [c28]Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino:
Model Extraction for ARINC 653 Based Avionics Software. SPIN 2007: 243-262 - [c27]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 - [c26]Almudena Díaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio:
Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case. VTC Spring 2007: 624-628 - [c25]María-del-Mar Gallardo, Pedro Merino, David Sanán:
Extending CADP for Analyzing C Code. MSVVEIS 2007: 104-113 - [c24]María-del-Mar Gallardo, Christophe Joubert, Pedro Merino:
On-the-Fly Data Flow Analysis Based on Verification Technology. COCV@ETAPS 2007: 33-48 - 2006
- [j7]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): 55-67 (2006) - [j6]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): 57-59 (2006) - [c23]Almudena Díaz, Pedro Merino, F. Javier Rivas:
Performance Monitoring and Analysis of Wireless Communication Protocols for Mobile Devices. ICUC 2006 - [c22]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 - [c21]María-del-Mar Gallardo, Christophe Joubert, Pedro Merino:
Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA 2006: 416-424 - [c20]Almudena Díaz, Pedro Merino, Alejandro Gil, Javier Muñoz:
x-AppMonitor μAgent: a tool for QoS measurements in cellular networks. ISWCS 2006: 343-347 - [c19]Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino:
Abstract Matching for Software Model Checking. SPIN 2006: 182-200 - [c18]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: 57-66 - [c17]María-del-Mar Gallardo, Pedro Merino, David Sanán:
Towards Model Checking C Code with OPEN/CÆSAR. MSVVEIS 2006: 198-201 - [i1]María-del-Mar Gallardo, Christophe Joubert, Pedro Merino:
Static Analysis using Parameterised Boolean Equation Systems. CoRR abs/cs/0606092 (2006) - 2005
- [j5]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino:
Model checking active networks with SPIN. Comput. Commun. 28(6): 609-622 (2005) - [c16]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: 17-26 - 2004
- [j4]María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel:
A generalized semantics of PROMELA for abstract model checking. Formal Aspects Comput. 16(3): 166-193 (2004) - [j3]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): 165-184 (2004) - [c15]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodríguez:
Integration of Reliability and Performance Analyses for Active Network Services. FMICS 2004: 217-236 - 2003
- [c14]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 - [c13]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
- [j2]Guillermo Rodríguez, Pedro Merino, María-del-Mar Gallardo:
An extension of the ns simulator for active network research. Comput. Commun. 25(3): 189-197 (2002) - [j1]María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel:
Debugging UML Designs with Model Checking. J. Object Technol. 1(2): 101-117 (2002) - [c12]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 - [c11]María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel:
Refinement of LTL Formulas for Abstract Model Checking. SAS 2002: 395-410 - [c10]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258 - [c9]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
A Tool for Abstraction in Model Checking. FMICS 2002: 17-32 - [c8]María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel:
Comparing Under and Over-Approximations of LTL Properties for Model Checking. WFLP 2002: 131-144 - 2000
- [c7]Guillermo Rodríguez, Pedro Merino:
Modelling and Simulation of Active Network Protocols. ICDCS Workshop on Internet 2000: A43-A50 - [c6]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
1990 – 1999
- 1999
- [c5]María-del-Mar Gallardo, Pedro Merino:
A Framework for Automatic Construction of Abstract Promela Models. SPIN 1999: 184-199 - 1998
- [c4]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 - [c3]Pedro Merino, Juan Carlos López, Margarida F. Jacome:
A Hardwar Operating System for Dynamic Reconfiguration of FPGAs. FPL 1998: 431-435 - 1996
- [c2]Pedro Merino, José M. Troya:
EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. CAV 1996: 406-410 - [c1]Pedro Merino, José María Troya Linero:
Modelling and verification of the MCS layer with Spin. The Spin Verification System 1996: 101-110
Coauthor Index
Almudena Díaz
aka: Almudena Díaz-Zayas
aka: Almudena Díaz-Zayas
[j46] [j45] [j44] [c72] [j41] [c68] [j37] [j34] [c66] [j32] [e2] [j31] [j30] [c57] [c56] [c51] [c50] [c47] [j23] [j19] [j16] [j15] [j11] [j9] [c36] [c34] [c33] [i3] [j8] [c29] [c28] [c27] [c25] [c24] [j7] [c21] [c19] [c18] [c17] [i1] [j5] [c16] [j4] [j3] [c15] [c14] [c13] [j2] [j1] [c12] [c11] [c10] [c9] [c8] [c6] [c5]
Alberto Salmerón
aka: Alberto Salmerón Moreno
aka: Alberto Salmerón Moreno
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-03 00:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
