Pedro Merino
Pedro Merino
Verified email at lcc.uma.es - Homepage
Title
Cited by
Cited by
Year
The 3GPP NB-IoT system architecture for the Internet of Things
AD Zayas, P Merino
2017 IEEE International Conference on Communications Workshops (ICC …, 2017
902017
Debugging UML designs with model checking
M del Mar Gallardo, P Merino, E Pimentel
Journal of Object Technology 1 (2), 101-117, 2002
852002
Mobile application profiling for connected mobile devices
A Diaz, P Merino, FJ Rivas
IEEE Annals of the History of Computing 9 (01), 54-61, 2010
532010
3GPP standards to deliver LTE connectivity for IoT
A Díaz-Zayas, CA García-Pérez, AM Recio-Pérez, P Merino
2016 IEEE first international conference on internet-of-things design and …, 2016
422016
A tool for abstraction in model checking
MM Gallardo, J Martínez, P Merino, E Pimentel
Electronic Notes in Theoretical Computer Science 66 (2), 1-16, 2002
422002
Field measurements of mobile services with Android smartphones
A Alvarez, A Díaz, P Merino, FJ Rivas
2012 IEEE Consumer Communications and Networking Conference (CCNC), 105-109, 2012
362012
Third-generation partnership project standards: for delivery of critical communications for railways
AD Zayas, CAG Perez, PM Gomez
IEEE Vehicular Technology Magazine 9 (2), 58-68, 2014
342014
Model checking software with well-defined apis: the socket case
P de la Cámara, MM Gallardo, P Merino, D Sanan
Proceedings of the 10th international workshop on Formal methods for …, 2005
302005
Enabling low latency services on LTE networks
CA Garcia-Perez, P Merino
2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016
282016
QoS analysis of video streaming service in live cellular networks
A Díaz, P Merino, FJ Rivas
Computer Communications 33 (3), 322-335, 2010
282010
Experimental evaluation of fog computing techniques to reduce latency in LTE networks
CA García‐Pérez, P Merino
Transactions on Emerging Telecommunications Technologies 29 (4), e3201, 2018
272018
A generalized semantics of PROMELA for abstract model checking
M del Mar Gallardo, P Merino, E Pimentel
Formal Aspects of Computing 16 (3), 166-193, 2004
252004
αSPIN: Extending SPIN with abstraction
M del Mar Gallardo, J Martinez, P Merino, E Pimentel
International SPIN Workshop on Model Checking of Software, 254-257, 2002
25*2002
A framework for automatic construction of abstract promela models
P Merino
International SPIN Workshop on Model Checking of Software, 184-199, 1999
241999
Verification support for ARINC‐653‐based avionics software
P de la Cámara, JR Castro, MM Gallardo, P Merino
Software Testing, Verification and Reliability 21 (4), 267-298, 2011
232011
Model checking dynamic memory allocation in operating systems
M del Mar Gallardo, P Merino, D Sanán
Journal of Automated Reasoning 42 (2-4), 229-264, 2009
232009
A testbed for energy profile characterization of IP services in smartphones over live networks
AD Zayas, PM Gómez
Mobile Networks and Applications 15 (3), 330-343, 2010
222010
Model extraction for arinc 653 based avionics software
P De La Cámara, M del Mar Gallardo, P Merino
International SPIN Workshop on Model Checking of Software, 243-262, 2007
212007
An end-to-end testing ecosystem for 5G
AF Cattoni, GC Madueño, M Dieudonne, P Merino, AD Zayas, A Salmeron, ...
2016 European Conference on Networks and Communications (EuCNC), 307-312, 2016
202016
Obtaining more realistic cross-layer QoS measurements: A VoIP over LTE use case
FJ Rivas, A Díaz, P Merino
Journal of Computer Networks and Communications 2013, 2013
202013
The system can't perform the operation now. Try again later.
Articles 1–20