Stop the war!Остановите войну!
for scientists:
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
- 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, J. Garcia, D. Artunedo, B. Garcia, R. Marco, A. Salkintzis, Dimitrios Fragkos, George Makropoulos, Fotini Setaki, A. Diaz, Pedro Merino, Vaios Koumaras, P. 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, 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: 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 Munoz:
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]