Pedro Merino

Associate Professor
Computer Science
Universidad de Málaga
E-mail: pedro@lcc.uma.es
Page: http://www.morse.uma.es

Fields of interest

Software reliability, software for mobile networks, experimental platforms for future internet

Recent publications

F. Javier Rivas Tocado, Almudena Diaz-Zayas, Pedro Merino Gómez: Characterizing Traffic Performance in Cellular Networks. IEEE Internet Computing 18(1): 12-19 (2014) [JCR (2014)  Computer Science, Software Engineering 16/104: 1.713, Q1]

Jesús Martínez, Pedro Merino, Alberto Salmerón, Francisco Malpartida. UML-Based Model-Driven Development for HSDPA Design. In IEEE Software, vol. 26, no. 3, 26-33, 2009. ISSN: 0740-7459. [JCR (2009) Computer Science, Software Engineering  14/93: 2,039, Q1]

Almudena Díaz, Pedro Merino, F.Javier Rivas. Mobile Application Profiling for Connected Smartphones.In IEEE Pervasive Computing, Vol. 9, no. 1, January-March 2010    [JCR (2008)  Telecommunications  7/67: 2.615, Q1]

A.D. Joseph, A. Diaz, P. Merino, F.J. Rivas, U.P. Kulkarni, J.V. Vadavi, G.S. Thyagaraju,  S.M. Joshi y A.R. Yardi. Mobile and Ubiquitous Objects IEEE Pervasive Computing,  5 (3),  pp. 57 – 59, 2006  [JCR (2006)  Telecommunications  4/59: 2,062 Q1]

Almudena Diaz, César .A. Garcia. Pedro Merino: Third-Generation Partnership Project Standards: For Delivery of Critical Communications for Railways. IEEE Vehicular Technology Magazine, 9 (2) – Jun 1, 2014. JCR (2014)  Telecommunications  19/71: 1.750, Q1]

Damián Adalid, Alberto Salmeron, María-del-Mar Gallardo, Pedro Merino: Using SPIN for automated debugging of infinite executions of Java programs. Journal of Systems and Software 90: 61-75 (2014)  [JCR (2014) Computer Science, Software Engineering 33/104: 1.352, Q2]

Almudena Díaz, Pedro Merino, F. Javier Rivas. QoS Analysis of Video Streaming Service in Live Cellular Networks. In Computer Communications Elsevier, Vol. 33, Issue 3, 26 February 2010     [JCR (2010) Telecommunications  39/80: 0.816, Q2]

P. de la Cámara, J. R. Castro, M. M. Gallardo, P. Merino Verification support for ARINC-653-based avionics software. Software Testing, Verification and Reliability. 21(4): 267-298 (2011) [JCR (2011) Computer Science, Software Engineering  26/93: 1,632, Q2]

M. M. Gallardo, P. Merino, D. Sanán.  Model Checking Dynamic Memory Allocation in Operating Systems. J. of Automated Reasoning  (2009) 42: 229-264. Springer      [JCR (2009) Computer Science, Artificial Intelligence  35/103:1,926, Q2]

María del Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel. PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. Science of Computer Programming Journal (2007) 65 (1) 57-69. [JCR (2007) Computer Science, Software Engineering 40/84: 0.832, Q2, CORE: A]