Biblio

Found 131 results
2007
Gallardo M-del-M, Martínez J, Merino P, Nuñez P, Pimentel E.  2007.  PiXL: appliyng XML standards to support the integration of analysis tools for protocols. Science of Computer Programming. 65:57–69.
[Anonymous].  2007.  Proceedings of the II International Conference on Science and Technology (CD).
[Anonymous].  2007.  Proceedings of the XII International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS’07), Berlin, Germany July 1-2.
Martínez J, Merino P, Pérez FCarlos, de la Cámara P, Álvarez JMaría.  2007.  An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation.
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  A Survey on mobile peer-to-peer technology. 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. :59–68.
[Anonymous].  2007.  VI Jornadas de Ingenier{ía Telemática. JITEL 2007, Málaga.
2008
Gallardo M-del-M, Merino P, Sanán D.  2008.  Automatic verification of C programs with dynamic memory allocation. Llanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio. :247–261.
Díaz A, Merino P, Rivas FJavier.  2008.  Customer-centric measurements on mobile phones. 12th Annual IEEE International Symposium on Consumer Electronics. ISCE 2008. Algarve, Portugal. 14-16 April 2008. :1–4.
Gallardo M-del-M, Merino P, Panizo L.  2008.  Estado del arte de herramientas para la verificación de sistemas h{íbridos. Llanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio. :231–245.
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.
Merino P, Schoitsch E.  2008.  Safety-critical software. Ercim News. 75:12–13.
Díaz A, Merino P.  2008.  Towards a lightweight middleware for mobile multimedia communications awareness. Proc. of 4th International Mobile Multimedia Communications Conference. MOBIMEDIA’08. Oulu, Finland. 7-9th of July 2008. :1–4.
Merino P, Nebro AJesús, Rubio B, Troya JMaría.  2008.  Un Kernel para comunicaciones y entrada-salida en redes de Transputers. Actas de Tercera Reunión sobre Paralelismo.
2009
Díaz A, Merino P.  2009.  Caracterización del perfil de consumo de energ{ía de servicios IP sobre teléfonos móviles. Actas de las VIII Jornadas de Ingenier{ía Telemática. JITEL 2009. 15 al 17 de septiembre. Cartagena, España. :toappear.
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2009.  Dam management using SCADE suite. 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). :287–296.
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2009.  Developing a decision support tool for dam management with SPIN. Mar{ía Alpuente; Byron Cook and Christophe Joubert (eds.). Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. :210–212.
Díaz A, Martínez C, Merino P.  2009.  Evaluación del servicio de VOIP sobre redes UMTS basada en pruebas de campo reales. Actas de las XIX Jornadas Telecom I+D 2009. Madrid, 24, 25 y 26 de noviembre de 2009. :toappear.
Gallardo M-del-M, Merino P, Panizo L.  2009.  Integration of quantitative aspects into SPIN to develop a decision support tool for dams. Susana Andova, et al. (eds.). Workshop on Quantitative Formal Methods: Theory and Applications (QFM’09). November 3, Eindhoven, The Netherlands. Preliminary proceedings. :95–100.
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.
Díaz A.  2009.  Performance evaluation of IP multimedia services in live mobile networks.
Díaz A, Merino P.  2009.  SymPA: a measurement tool for evaluating the performance of IP services in mobile networks. Proceedings of Fifth ACM International Symposium on QoS and Security of Wireless and Mobile Networks. Q2SWinet 2009. Tenerife, Canary Islands, Spain. 26-30 October 2009. :103–106.
Sanán D.  2009.  Técnicas para el análisis automático de software descrito en lenguajes de programación.
Díaz A, Merino P.  2009.  Testing mobile data applications on smartphones with SymPA. Ercim News. 77:56–57.

Pages