Pedro Merino

According to our database1, Pedro Merino authored at least 107 papers between 1996 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
An Architecture for Creating Slices to Experiment on Wireless Networks.
J. Netw. Syst. Manag., 2021

2020
Introduction to the Special Issue devoted to SPIN 2018.
Int. J. Softw. Tools Technol. Transf., 2020

A Modular Experimentation Methodology for 5G Deployments: The 5GENESIS Approach.
Sensors, 2020

A Survey of End-to-End Solutions for Reliable Low-Latency Communications in 5G Networks.
IEEE Access, 2020

2019
A formal approach to automatically analyse extra-functional properties in mobile applications.
Softw. Test. Verification Reliab., 2019

Expanding GÉANT Testbeds Service to Support Pan-European 5G Network Slices for Research in the EuWireless Project.
Mob. Inf. Syst., 2019

An End-to-End Automation Framework for Mobile Network Testbeds.
Mob. Inf. Syst., 2019

A Coordination Framework for Experimentation in 5G Testbeds: URLLC as Use Case.
Proceedings of the 17th ACM International Symposium on Mobility Management and Wireless Access, 2019

Testbed to experiment with LTE WiFi Aggregation.
Proceedings of the European Conference on Networks and Communications, 2019

How Formal Methods Can Contribute to 5G Networks.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

Is GAÉNT Testbeds Service compliant with ETSI MANO?
Proceedings of the 2nd IEEE 5G World Forum, 5GWF 2019, Dresden, Germany, September 30, 2019

2018
Integrating river basin DSSs with model checking.
Int. J. Softw. Tools Technol. Transf., 2018

Experimental evaluation of fog computing techniques to reduce latency in LTE networks.
Trans. Emerg. Telecommun. Technol., 2018

TRIANGLE Portal: An User-Friendly Web Interface for Remote Experimentation.
Proceedings of the Smart Industry & Smart Education, 2018

5GENESIS: The Genesis of a flexible 5G Facility.
Proceedings of the 23rd IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, 2018

TRIANGLE: a Platform to Validate 5G KPIs in End to End scenarios.
Proceedings of the 23rd IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, 2018

2017
Improving the efficiency and reliability of wearable based mobile eHealth applications.
Pervasive Mob. Comput., 2017

Performance Analysis of Spotify® for Android with Model-Based Testing.
Mob. Inf. Syst., 2017

A characterisation of verification tools for software defined networks.
J. Reliab. Intell. Environ., 2017

Guided test case generation for mobile apps in the TRIANGLE project: work in progress.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Adding Correctness Checking to Test Automation Platform.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

A methodology and test environment for QoS measurements in mobile networks.
Proceedings of the 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017

Advanced testing of mobile applications and devices.
Proceedings of the 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017

The 3GPP NB-IoT system architecture for the Internet of Things.
Proceedings of the 2017 IEEE International Conference on Communications Workshops, 2017

2016
Characterizing Radio and Networking Power Consumption in LTE Networks.
Mob. Inf. Syst., 2016

Extending TestelDroid to support remote control and large-scale testing in mobile networks.
EAI Endorsed Trans. Mob. Commun. Appl., 2016

Innovative Tools and Processes for Mobile Communications Research and Education.
Int. J. Online Eng., 2016

River Basin Management with Spin.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Enabling Low Latency Services on LTE Networks.
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

3GPP Standards to Deliver LTE Connectivity for IoT.
Proceedings of the First IEEE International Conference on Internet-of-Things Design and Implementation, 2016

Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack.
Proceedings of the European Conference on Networks and Communications, 2016


2015
Integrating model checking and simulation for protocol optimization.
Simul., 2015

Using Model Checking to Generate Test Cases for Android Applications.
Proceedings of the Proceedings Tenth Workshop on Model Based Testing, 2015

PerformLTE: A Testbed for LTE Testing in the Future Internet.
Proceedings of the Wired/Wireless Internet Communications - 13th International Conference, 2015

Runtime Verification of Expected Energy Consumption in Smartphones.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

2014
Using SPIN for automated debugging of infinite executions of Java programs.
J. Syst. Softw., 2014

Characterizing Traffic Performance in Cellular Networks.
IEEE Internet Comput., 2014

2013
Obtaining More Realistic Cross-Layer QoS Measurements: A VoIP over LTE Use Case.
J. Comput. Networks Commun., 2013

Improving QoS and QoE for Mobile Communications.
J. Comput. Networks Commun., 2013

Performance study of Internet traffic on high speed railways.
Proceedings of the IEEE 14th International Symposium on "A World of Wireless, 2013

On-the-fly VoIP call quality evaluation with improved E-model.
Proceedings of the 8th ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2013

2012
A model-extraction approach to verifying concurrent C programs with CADP.
Sci. Comput. Program., 2012

Testing of LTE Configurations and Applications.
Proceedings of the Testbeds and Research Infrastructure. Development of Networks and Communities, 2012

UMA Testing Facility.
Proceedings of the Testbeds and Research Infrastructure. Development of Networks and Communities, 2012

Test environment for QoS testing of VoIP over LTE.
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

Field measurements of mobile services with Android smartphones.
Proceedings of the 2012 IEEE Consumer Communications and Networking Conference (CCNC), 2012

Mobile application profiling with TestelDroid.
Proceedings of the 2012 IEEE Consumer Communications and Networking Conference (CCNC), 2012

2011
Verification support for ARINC-653-based avionics software.
Softw. Test. Verification Reliab., 2011

A practical use of model checking for synthesis: generating a dam controller for flood management.
Softw. Pract. Exp., 2011

Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008).
Sci. Comput. Program., 2011

Obtaining Models for Realistic Mobile Network Simulations using Real Traces.
IEEE Commun. Lett., 2011

Testing and Profiling Internet Services in Mobile Devices.
Proceedings of the Towards a Service-Based Internet - 4th European Conference, 2011

2010
Communication Software: Design and Testing.
Proceedings of the Encyclopedia of Software Engineering, 2010

Mobile Application Profiling for Connected Mobile Devices.
IEEE Pervasive Comput., 2010

A Testbed for Energy Profile Characterization of IP Services in Smartphones over Live Networks.
Mob. Networks Appl., 2010

QoS analysis of video streaming service in live cellular networks.
Comput. Commun., 2010

Combining SPIN with ns-2 for Protocol Optimization.
Proceedings of the Model Checking Software, 2010

Evaluation of Handover Implementations in Commercial GPRS/UMTS/HSDPA Networks.
Proceedings of the Global Communications Conference, 2010

2009
Checking the reliability of socket based communication software.
Int. J. Softw. Tools Technol. Transf., 2009

UML-Based Model-Driven Development for HSDPA Design.
IEEE Softw., 2009

Model Checking Dynamic Memory Allocation in Operating Systems.
J. Autom. Reason., 2009

Testing Mobile Data Applications on Smartphones with SymPA.
ERCIM News, 2009

Using SCADE for Decision Support in Dam Management.
Proceedings of the Modelling, 2009

SymPa: a measurement tool for evaluating the performance of IP services in mobile networks.
Proceedings of the Q2SWinet'09, Proceedings of the Fifth ACM International Symposium on QoS and Security for Wireless and Mobile Networks, Tenerife, Canary Islands, Spain, 2009

Developing a Decision Support Tool for Dam Management with SPIN.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008
Introduction to the Special Theme "Safety-Critical Software".
ERCIM News, 2008

Web Services for Accessing Explicit State Space Verification Tools.
ERCIM News, 2008

Towards a lightweight middleware for mobile multimedia communication awareness.
Proceedings of the 4th International ICST Mobile Multimedia Communications Conference, 2008

Model Checking C Programs with Dynamic Memory Allocation.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
PiXL: Applying xml standards to support the integration of analysis tools for protocols.
Sci. Comput. Program., 2007

On-the-Fly Data Flow Analysis Based on Verification Technology.
Electron. Notes Theor. Comput. Sci., 2007

Extending CADP for Analyzing C Code.
Proceedings of the Modelling, 2007

Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case.
Proceedings of the 65th IEEE Vehicular Technology Conference, 2007

C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.
Proceedings of the Model Checking Software, 2007

Model Extraction for ARINC 653 Based Avionics Software.
Proceedings of the Model Checking Software, 2007

On-the-fly model checking for C programs with extended CADP in FMICS-jETI.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Applying MDE Methodologies to Design Communication Protocols for Distributed Systems.
Proceedings of the First International Conference on Complex, 2007

Experimental analysis of peer-to-peer streaming in cellular networks.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
Mobile and Ubiquitous Objects.
IEEE Pervasive Comput., 2006

On the Evolution of reliability Methods for Critical Software.
Trans. SDPS, 2006

Static Analysis using Parameterised Boolean Equation Systems
CoRR, 2006

Towards Model Checking C Code with OPEN/CÆSAR.
Proceedings of the Modelling, 2006

Abstract Matching for Software Model Checking.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Implementing Influence Analysis Using Parameterised Boolean Equation Systems.
Proceedings of the Leveraging Applications of Formal Methods, 2006

An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Performance Monitoring and Analysis of Wireless Communication Protocols for Mobile Devices.
Proceedings of the I. International Conference on Ubiquitous Computing: Applications, 2006

2005
Integration of Reliability and Performance Analyses for Active Network Services.
Electron. Notes Theor. Comput. Sci., 2005

Model checking active networks with SPIN.
Comput. Commun., 2005

2004
aSPIN: A tool for abstract model checking.
Int. J. Softw. Tools Technol. Transf., 2004

A generalized semantics of PROMELA for abstract model checking.
Formal Aspects Comput., 2004

2003
Applying Data Abstraction to XML Formal Designs.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Abstract Model Checking and Refinement of Temporal Logic in aSPIN.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002
Debugging UML Designs with Model Checking.
J. Object Technol., 2002

Comparing Under and Over-Approximations of LTL Properties for Model Checking.
Electron. Notes Theor. Comput. Sci., 2002

A Tool for Abstraction in Model Checking.
Electron. Notes Theor. Comput. Sci., 2002

An extension of the ns simulator for active network research.
Comput. Commun., 2002

alpha SPIN: Extending SPIN with Abstraction.
Proceedings of the Model Checking of Software, 2002

Refinement of LTL Formulas for Abstract Model Checking.
Proceedings of the Static Analysis, 9th International Symposium, 2002

Using XML to implement abstraction for Model Checking.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

2000
Modelling and Simulation of Active Network Protocols.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Verifying Distributed Systems with Model Checking and Static Analysis.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999
A Framework for Automatic Construction of Abstract Promela Models.
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1998
A Hardwar Operating System for Dynamic Reconfiguration of FPGAs.
Proceedings of the Field-Programmable Logic and Applications, 1998

A Methodology for Task Based Partitioning and Scheduling of Dynamically Reconfigurable Systems.
Proceedings of the 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '98), 1998

1996
Modelling and verification of the MCS layer with Spin.
Proceedings of the Spin Verification System, 1996

EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996


  Loading...