Pedro Merino
Orcid: 0000-0003-2456-4946Affiliations:
- University of Málaga, Spain
According to our database1,
Pedro Merino
authored at least 120 papers
between 1996 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Comput. Commun., December, 2023
J. Netw. Syst. Manag., July, 2023
AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking.
IEEE Access, 2023
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023
2022
Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking.
IEEE Netw., 2022
Comput. Networks, 2022
Implementation and evaluation of the Multi-connection Tactile Internet Protocol and API.
Proceedings of the 2022 IEEE/IFIP Network Operations and Management Symposium, 2022
Proceedings of the 2022 Joint European Conference on Networks and Communications & 6G Summit, 2022
2021
J. Netw. Syst. Manag., 2021
Proceedings of the Q2SWinet 2021: Proceedings of the 17th ACM Symposium on QoS and Security for Wireless and Mobile Networks, 2021
Proceedings of the IEEE International Mediterranean Conference on Communications and Networking, 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
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
Mob. Inf. Syst., 2019
Proceedings of the 17th ACM International Symposium on Mobility Management and Wireless Access, 2019
Proceedings of the European Conference on Networks and Communications, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
Proceedings of the 2nd IEEE 5G World Forum, 5GWF 2019, Dresden, Germany, September 30, 2019
2018
Int. J. Softw. Tools Technol. Transf., 2018
Experimental evaluation of fog computing techniques to reduce latency in LTE networks.
Trans. Emerg. Telecommun. Technol., 2018
Proceedings of the Smart Industry & Smart Education, 2018
Proceedings of the 23rd IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, 2018
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
Mob. Inf. Syst., 2017
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
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
Proceedings of the 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017
Proceedings of the 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017
Proceedings of the 2017 IEEE International Conference on Communications Workshops, 2017
2016
Mob. Inf. Syst., 2016
Extending TestelDroid to support remote control and large-scale testing in mobile networks.
EAI Endorsed Trans. Mob. Commun. Appl., 2016
Int. J. Online Eng., 2016
Proceedings of the Model Checking Software - 23rd International Symposium, 2016
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016
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
Proceedings of the European Conference on Networks and Communications, 2016
2015
Proceedings of the Proceedings Tenth Workshop on Model Based Testing, 2015
Proceedings of the Wired/Wireless Internet Communications - 13th International Conference, 2015
Proceedings of the Model Checking Software - 22nd International Symposium, 2015
2014
Third-Generation Partnership Project Standards: For Delivery of Critical Communications for Railways.
IEEE Veh. Technol. Mag., 2014
J. Syst. Softw., 2014
2013
J. Comput. Networks Commun., 2013
Proceedings of the IEEE 14th International Symposium on "A World of Wireless, 2013
Proceedings of the 8th ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2013
2012
Sci. Comput. Program., 2012
Proceedings of the Testbeds and Research Infrastructure. Development of Networks and Communities, 2012
Proceedings of the Testbeds and Research Infrastructure. Development of Networks and Communities, 2012
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012
Proceedings of the 2012 IEEE Consumer Communications and Networking Conference (CCNC), 2012
Proceedings of the 2012 IEEE Consumer Communications and Networking Conference (CCNC), 2012
2011
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
IEEE Commun. Lett., 2011
Proceedings of the Towards a Service-Based Internet - 4th European Conference, 2011
2010
Proceedings of the Encyclopedia of Software Engineering, 2010
IEEE Pervasive Comput., 2010
A Testbed for Energy Profile Characterization of IP Services in Smartphones over Live Networks.
Mob. Networks Appl., 2010
Comput. Commun., 2010
Proceedings of the Model Checking Software, 2010
Proceedings of the Global Communications Conference, 2010
2009
Int. J. Softw. Tools Technol. Transf., 2009
J. Autom. Reason., 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
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
2008
Proceedings of the 4th International ICST Mobile Multimedia Communications Conference, 2008
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
Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, 2007
Extending CADP for Analyzing C Code.
Proceedings of the Modelling, 2007
Proceedings of the 65th IEEE Vehicular Technology Conference, 2007
Proceedings of the Model Checking Software, 2007
Proceedings of the Model Checking Software, 2007
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
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007
2006
Towards Model Checking C Code with OPEN/CÆSAR.
Proceedings of the Modelling, 2006
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006
Proceedings of the 3rd IEEE International Symposium on Wireless Communication Systems, 2006
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
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
2004
Int. J. Softw. Tools Technol. Transf., 2004
Formal Aspects Comput., 2004
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004
2003
Applying Data Abstraction to XML Formal Designs.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
2002
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002
Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002
Proceedings of the Model Checking of Software, 2002
Proceedings of the Static Analysis, 9th International Symposium, 2002
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
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999
1998
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
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