Pedro Merino

发表

Using SCADE for Decision Support in Dam Management

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, 2009, MSVVEIS.

Introduction to the Special Theme "Safety-Critical Software"

Erwin Schoitsch, Pedro Merino, 2008, ERCIM News.

Using SPIN for automated debugging of infinite executions of Java programs

María-del-Mar Gallardo, Pedro Merino, Damián Adalid, 2014, J. Syst. Softw..

Performance Monitoring and Analysis of Wireless Communication Protocols for Mobile Devices

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2006, ICUC.

Integrating river basin DSSs with model checking

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, 2017, International Journal on Software Tools for Technology Transfer.

Static Analysis using Parameterised Boolean Equation Systems pdf

María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, 2006, ArXiv.

Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)

Pedro Merino, Darren D. Cofer, Stefan Leue, 2011, Sci. Comput. Program..

A Testbed for Energy Profile Characterization of IP Services in Smartphones over Live Networks

Pedro Merino, Almudena Díaz, 2010, Mob. Networks Appl..

UML-Based Model-Driven Development for HSDPA Design

Pedro Merino, Alberto Salmerón, Jesús Martínez, 2009, IEEE Software.

Test environment for QoS testing of VoIP over LTE

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2012, 2012 IEEE Network Operations and Management Symposium.

Advanced testing of mobile applications and devices

Pedro Merino, Almudena Díaz, Alberto Salmerón, 2017, 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM).

Using Model Checking to Generate Test Cases for Android Applications

María-del-Mar Gallardo, Pedro Merino, Alberto Salmerón, 2015, MBT.

Modelling and verification of the MCS layer with Spin

José M. Troya, Pedro Merino, J. M. Troya, 1996, The Spin Verification System.

A formal approach to automatically analyse extra‐functional properties in mobile applications

Pedro Merino, Laura Panizo, Alberto Salmerón, 2019, Softw. Test. Verification Reliab..

Field measurements of mobile services with Android smartphones

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2012, 2012 IEEE Consumer Communications and Networking Conference (CCNC).

5GENESIS: The Genesis of a flexible 5G Facility

Özgü Alay, Dimitris Tsolkas, Daniele Munaretto, 2018, 2018 IEEE 23rd International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD).

Refinement of LTL Formulas for Abstract Model Checking

Ernesto Pimentel, María-del-Mar Gallardo, Pedro Merino, 2002, SAS.

Comparing Under and Over-Approximations of LTL Properties for Model Checking

Ernesto Pimentel, María-del-Mar Gallardo, Pedro Merino, 2002, WFLP.

Verifying Distributed Systems with Model Checking and Static Analysis

María-del-Mar Gallardo, Pedro Merino, 2000, ICDCS Workshop on Distributed System Validation and Verification.

On-the-fly VoIP call quality evaluation with improved E-model

Pedro Merino, Alberto Salmerón, 2013, PM2HW2N '13.

Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Pedro Merino, Stefan Leue, 2008, FMICS.

Model Checking Software

Pedro Merino, María del Mar Gallardo, 2018, Lecture Notes in Computer Science.

Implementing Influence Analysis Using Parameterised Boolean Equation Systems

María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Communication Software: Design and Testing

Pedro Merino, Laura Panizo, Andrés Sanz, 2010, Encyclopedia of Software Engineering.

Model Checking Dynamic Memory Allocation in Operating Systems

María-del-Mar Gallardo, Pedro Merino, David Sanán, 2009, Journal of Automated Reasoning.

Towards a lightweight middleware for mobile multimedia communication awareness

Pedro Merino, Almudena Díaz, 2008, MobiMedia.

Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case

Pedro Merino, Laura Panizo, Almudena Díaz, 2007, 2007 IEEE 65th Vehicular Technology Conference - VTC2007-Spring.

The Role of Smartcards in Practial Information Security

Pedro Merino, Antonio Maña, Javier Lopez, 2002 .

Web Services for Accessing Explicit State Space Verification Tools

María-del-Mar Gallardo, Pedro Merino, David Sanán, 2008, ERCIM News.

An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing

Pedro Merino, Jesús Martínez, José M. Alvarez, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Testing Temporal Logic on Infinite Java Traces

Pedro Merino, Damián Adalid, Alberto Salmerón, 2018 .

Applying MDE Methodologies to Design Communication Protocols for Distributed Systems

Pedro Merino, Alberto Salmerón, Jesús Martínez, 2007, First International Conference on Complex, Intelligent and Software Intensive Systems (CISIS'07).

Innovative Tools and Processes for Mobile Communications Research and Education

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2016, Int. J. Online Eng..

The SymPA (Symbian Protocol Analyzer) tool correlates traffic information, radio-access-technology measurements, and location data to help developers evaluate mobile applications in the field.

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2010 .

A methodology and test environment for QoS measurements in mobile networks

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2017, 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM).

An extension of the ns simulator for active network research

Guillermo Rodríguez-Ortiz, María-del-Mar Gallardo, Pedro Merino, 2002, Comput. Commun..

Combining SPIN with ns-2 for Protocol Optimization

Pedro Merino, Alberto Salmerón, P. Merino, 2010, SPIN.

Performance Analysis of Spotify® for Android with Model-Based Testing

María-del-Mar Gallardo, Pedro Merino, Alberto Salmerón, 2017, Mob. Inf. Syst..

Debugging UML Designs with Model Checking

Ernesto Pimentel, María-del-Mar Gallardo, Pedro Merino, 2002, J. Object Technol..

Modelling and Simulation of Active Network Protocols

Guillermo Rodríguez-Ortiz, Pedro Merino, 2000, ICDCS Workshop on Internet.

On-the-Fly Data Flow Analysis Based on Verification Technology

María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, 2007, Electron. Notes Theor. Comput. Sci..

TRIANGLE: a Platform to Validate 5G KPIs in End to End scenarios

Andrea F. Cattoni, Pedro Merino, Almudena Díaz, 2018, 2018 IEEE 23rd International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD).

3GPP Evolution on LTE Connectivity for IoT

Pedro Merino, Almudena Diaz Zayas, Cesar A. Garcia Perez, 2018 .

UMA Testing Facility

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2012, TRIDENTCOM.

A methodology for task based partitioning and scheduling of dynamically reconfigurable systems

Juan Carlos López, Margarida F. Jacome, Pedro Merino, 1998, Proceedings. IEEE Symposium on FPGAs for Custom Computing Machines (Cat. No.98TB100251).

EuWireless: Design of a pan-European Mobile Network Operator for Research

Pedro Merino, Laura Panizo, Almudena Díaz, 2018 .

αSPIN: A tool for abstract model checking

Ernesto Pimentel, María-del-Mar Gallardo, Pedro Merino, 2004, International Journal on Software Tools for Technology Transfer.

Extending TestelDroid to support remote control and large-scale testing in mobile networks

Pedro Merino, Almudena Díaz, Álvaro M. Recio-Pérez, 2016, EAI Endorsed Trans. Mob. Commun. Appl..

River Basin Management with Spin

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, 2016, SPIN.

Guided test case generation for mobile apps in the TRIANGLE project: work in progress

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, 2017, SPIN.

PerformLTE: A Testbed for LTE Testing in the Future Internet

Pedro Merino, Almudena Díaz, Álvaro M. Recio-Pérez, 2015, WWIC.

On-the-fly model checking for C programs with extended CADP in FMICS-jETI

María-del-Mar Gallardo, Pedro Merino, David Sanán, 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

A difference-of-convex functions approach for sparse PDE optimal control problems with nonconvex costs

Pedro Merino, P. Merino, 2017, Computational Optimization and Applications.

A Framework for Automatic Construction of Abstract Promela Models

María-del-Mar Gallardo, Pedro Merino, P. Merino, 1999, SPIN.

Obtaining Models for Realistic Mobile Network Simulations using Real Traces

Pedro Merino, Almudena Díaz, Alberto Salmerón, 2011, IEEE Communications Letters.

ADS-B integration in the SESAR surface surveillance architecture

Pedro Merino, Andres Soto, Jorge Valle, 2011, 2011 Tyrrhenian International Workshop on Digital Communications - Enhanced Surveillance of Aircraft and Vehicles.

SymPa: a measurement tool for evaluating the performance of IP services in mobile networks

Pedro Merino, Almudena Díaz, 2009, Q2SWinet.

Mobile application profiling with TestelDroid

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2012, 2012 IEEE Consumer Communications and Networking Conference (CCNC).

Applying Data Abstraction to XML Formal Designs

Ernesto Pimentel, María-del-Mar Gallardo, Pedro Merino, 2003, SNPD.

Integrating model checking and simulation for protocol optimization

Pedro Merino, Alberto Salmerón, P. Merino, 2015, Simul..

C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs

María-del-Mar Gallardo, Pedro Merino, David Sanán, 2007, SPIN.

Using XML to implement abstraction for Model Checking

María-del-Mar Gallardo, Pedro Merino, Jesús Martínez, 2002, SAC '02.

Mobile and Ubiquitous Objects

Pedro Merino, Almudena Díaz, Anthony D. Joseph, 2006, IEEE Pervasive Computing.

A characterisation of verification tools for software defined networks

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, 2017, Journal of Reliable Intelligent Environments.

The 3GPP NB-IoT system architecture for the Internet of Things

Pedro Merino, Almudena Díaz, A. Díaz, 2017, 2017 IEEE International Conference on Communications Workshops (ICC Workshops).

Mobile Application Profiling for Connected Mobile Devices

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2010, IEEE Pervasive Computing.

Abstract model checking and refinement of temporal logic in /spl alpha/SPIN

Ernesto Pimentel, María-del-Mar Gallardo, Pedro Merino, 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..

A practical use of model checking for synthesis: generating a dam controller for flood management

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, 2011, Softw. Pract. Exp..

Characterizing Traffic Performance in Cellular Networks

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2014, IEEE Internet Comput..

Supporting New Application and Services over LTE Public Safety Networks

Pedro Merino, Kostas Katsalis, Almudena Diaz-Zayas, 2017 .

Model Extraction for ARINC 653 Based Avionics Software

María-del-Mar Gallardo, Pedro Merino, Pedro de la Cámara, 2007, SPIN.

Model checking active networks with SPIN

María-del-Mar Gallardo, Pedro Merino, Jesús Martínez, 2005, Comput. Commun..

Model Checking C Programs with Dynamic Memory Allocation

María-del-Mar Gallardo, Pedro Merino, David Sanán, 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

Integration of Reliability and Performance Analyses for Active Network Services

Guillermo Rodríguez-Ortiz, María-del-Mar Gallardo, Pedro Merino, 2005, FMICS.

Proceedings of the 12th international conference on Formal methods for industrial critical systems

Pedro Merino, Stefan Leue, 2007 .

Performance study of Internet traffic on high speed railways

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2013, WOWMOM.

Checking the reliability of socket based communication software

María-del-Mar Gallardo, Pedro Merino, David Sanán, 2009, International Journal on Software Tools for Technology Transfer.

An End-to-End Automation Framework for Mobile Network Testbeds

Pedro Merino, Almudena Díaz, Bruno García, 2019, Mob. Inf. Syst..

A characterisation of reliability tools for Software Defined Networks

Pedro Merino, Laura Panizo, María del Mar Gallardo, 2017 .

Obtaining More Realistic Cross-Layer QoS Measurements: A VoIP over LTE Use Case

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2013, J. Comput. Networks Commun..

Abstract Matching for Software Model Checking

María-del-Mar Gallardo, Pedro Merino, Pedro de la Cámara, 2006, SPIN.

Enabling Low Latency Services on LTE Networks

Pedro Merino, Cesar A. García-Pérez, P. Merino, 2016, 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W).

On the Evolution of reliability Methods for Critical Software

Ernesto Pimentel, María-del-Mar Gallardo, Pedro Merino, 2006, Trans. SDPS.

An end-to-end testing ecosystem for 5G

Andrea F. Cattoni, Pedro Merino, Almudena Díaz, 2016, 2016 European Conference on Networks and Communications (EuCNC).

Towards Model Checking C Code with OPEN/CÆSAR

María-del-Mar Gallardo, Pedro Merino, David Sanán, 2006, MSVVEIS.

EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols

José M. Troya, Pedro Merino, 1996, CAV.

Experimental analysis of peer-to-peer streaming in cellular networks

Pedro Merino, Laura Panizo, Almudena Díaz, 2007, 21st International Conference on Advanced Information Networking and Applications (AINA '07).

Testing of LTE Configurations and Applications

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2012, TRIDENTCOM.

Runtime Verification of Expected Energy Consumption in Smartphones

María-del-Mar Gallardo, Pedro Merino, Alberto Salmerón, 2015, SPIN.

Testing Mobile Data Applications on Smartphones with SymPA

Pedro Merino, Almudena Díaz, 2009, ERCIM News.

Verification support for ARINC‐653‐based avionics software

María-del-Mar Gallardo, Pedro Merino, Pedro de la Cámara, 2011, Softw. Test. Verification Reliab..

A Tool for Abstraction in Model Checking

Ernesto Pimentel, María-del-Mar Gallardo, Pedro Merino, 2002, FMICS.

Adding Correctness Checking to Test Automation Platform

María-del-Mar Gallardo, Pedro Merino, Alberto Salmerón, 2017, 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

QoS analysis of video streaming service in live cellular networks

Pedro Merino, Almudena Díaz, F. Javier Rivas, 2010, Comput. Commun..

Developing a Decision Support Tool for Dam Management with SPIN

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, 2009, FMICS.

Experimental evaluation of fog computing techniques to reduce latency in LTE networks

Pedro Merino, Cesar A. García-Pérez, P. Merino, 2018, Trans. Emerg. Telecommun. Technol..

alpha SPIN: Extending SPIN with Abstraction

Ernesto Pimentel, María-del-Mar Gallardo, Pedro Merino, 2002, SPIN.

Testing and Profiling Internet Services in Mobile Devices

Pedro Merino, Almudena Díaz, A. Díaz, 2011, Towards a Service-Based Internet.

A model-extraction approach to verifying concurrent C programs with CADP

María-del-Mar Gallardo, Pedro Merino, David Sanán, 2012, Sci. Comput. Program..