Pedro Merino
Pedro Merino
E-mail megerősítve itt: lcc.uma.es - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Debugging UML designs with model checking
M del Mar Gallardo, P Merino, E Pimentel
Journal of Object Technology 1 (2), 101-117, 2002
842002
The 3GPP NB-IoT system architecture for the Internet of Things
AD Zayas, P Merino
2017 IEEE International Conference on Communications Workshops (ICC …, 2017
812017
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
552010
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
362016
Field measurements of mobile services with Android smartphones
A Álvarez, A Díaz, P Merino, FJ Rivas
2012 IEEE Consumer Communications and Networking Conference (CCNC), 105-109, 2012
332012
αSPIN: A tool for abstract model checking
M del Mar Gallardo, J Martínez, P Merino, E Pimentel
International Journal on Software Tools for Technology Transfer 5 (2-3), 165-184, 2004
332004
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
302014
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
282005
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
262018
QoS analysis of video streaming service in live cellular networks
A Díaz, P Merino, FJ Rivas
Computer Communications 33 (3), 322-335, 2010
262010
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
262004
Enabling low latency services on lte networks
CA Garcia-Perez, P Merino
2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016
252016
α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
24*2002
A framework for automatic construction of abstract promela models
P Merino
International SPIN Workshop on Model Checking of Software, 184-199, 1999
241999
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
PerformLTE: A testbed for LTE testing in the future internet
A Díaz-Zayas, CA García-Pérez, ÁM Recio-Pérez, P Merino-Gómez
International Conference on Wired/Wireless Internet Communication, 46-59, 2015
222015
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
222011
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
Abstract matching for software model checking
P De La Cámara, M del Mar Gallardo, P Merino
International SPIN Workshop on Model Checking of Software, 182-200, 2006
202006
Refinement of LTL formulas for abstract model checking
M del Mar Gallardo, P Merino, E Pimentel
International Static Analysis Symposium, 395-410, 2002
202002
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20