


Остановите войну!
for scientists:


default search action
Pedro Merino 0001
Pedro Merino Gómez
Person information

- affiliation: University of Málaga, Spain
Other persons with the same name
- Pedro Merino 0002
— 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]