Found 15 results
Filters: First Letter Of Title is M  [Clear All Filters]
F. Tocado JRivas, Díaz-Zayas A, Merino P.  2017.  A methodology and test environment for QoS measurements in mobile networks. IFIP/IEEE Symposium on Integrated Network and Service Management (IM).
Adalid D, Gallardo M-del-M, Titolo L.  2015.  Modeling Hybrid Systems in the Concurrent Constraint Paradigm. Electronic Proceedings in Theoretical Computer Science 173.
Adalid D, Gallardo M-del-M, Titolo L.  2014.  {Modeling Hybrid Systems in Hy-tccp}. Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014).
Álvarez A, Díaz A, Merino P, Rivas FJavier.  2012.  Mobile application profiling with TestelDroid. Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV. :36–37.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2012.  A Model-extraction approach to verifying concurrent C programs with CADP. Science of Computer Programming. 77:375–392.
Díaz A, Merino P, Rivas FJavier.  2010.  Mobile application profiling for conected mobile devices. IEEE Pervasive Computing. 9:54–61.
Díaz A, Merino P, Rivas FJavier.  2009.  Mobile application profiling for connected Smartphones. IEEE Pervasive Computing. :inpress.
Gallardo M-del-M, Merino P, Sanán D.  2009.  Model checking dynamic data structures in operating systems. Marisa Llorens y Javier Oliver (eds.). Actas de las XVII Jornadas de Concurrencia y Sistemas Distribuidos.10,11 y 12 de Junio de 2009. Sagunto (Valencia). :3–16.
Gallardo M-del-M, Merino P, Sanán D.  2009.  Model Checking dynamic memory allocation in operating systems. Journal of Automated Reasoning. 42:229–264.
Merino P, Troya JMaría.  2008.  Modelling and Verification of the ITU-T multipoint communication service with SPIN. Proceedings of The 2nd International Workshop on the SPIN Verification System. :60–71.
Martínez J, Salmeron A.  2007.  MDA for reliable and high performance communication protocols. Mar{ía del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio. :215–230.
de la Cámara P, Gallardo M-del-M, Merino P.  2007.  Model extraction for ARINC 653 based avionics software. Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checkin Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007, Proceedigns. :243–262.
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  Monitorización y análisis de servicios de video streaming peer-to-peer sobre redes UMTS. Lidia Fuentes; Javier López y Pedro Merino (Eds.). VI Jornadas de Ingenier{ía Telemática. JITEL 2007, Málaga, del 17 al 19 de Septiembre. :433–440.