Jump to Navigation

Biblio

Found 215 results
Author Title Type [ Year(Asc)]
2010
Salmeron, A., "Tipos, clases y convenciones de nombrado", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 37–49, oct, 2010.
Gallardo, M-del-M., and D. Sanán, "Verification of dynamic data tree with mu-calculus extended with separation", Víctor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las X jornadas sobre programación y lenguajes. PROLE 2010, Madrid, Ibergarceta Publicaciones, S.L., pp. 109–110, oct, 2010.
Gallardo, M-del-M., and D. Sanán, "Verification of dynamic data tree with mu-calculus extended with separation", Proceedings of software engineering and formal methods. SEFM 2010. 14-18 september 2010, Pisa, Italy, Los Alamitos, CA, IEEE Computer Society, pp. 211–221, nov, 2010.
de la Cámara, P., R. Castro, M-del-M. Gallardo, and P. Merino, "Verification support for arinc-653-based avionics software (to appear)", Software Testing Verification & Reliability, UK, Wiley & Sons, mar, 2010.
2009
Díaz, A., and P. Merino, "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, pp. to appear, oct, 2009.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "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): Universidad Politécnica de Valencia, pp. 287–296, jun, 2009.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "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, Berlin, Springer, pp. 210–212, nov, 2009.
Díaz, A., C. Martínez, and P. Merino, "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, pp. to appear, oct, 2009.
Gallardo, M-del-M., P. Merino, and L. Panizo, "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, pp. 95–100, nov, 2009.
Díaz, A., P. Merino, and F J. Rivas, "Mobile application profiling for connected Smartphones", IEEE Pervasive Computing: IEEE Computer Society, pp. in press, oct, 2009.
Gallardo, M-del-M., P. Merino, and D. Sanán, "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): Universidad Politécnica de Valencia, pp. 3–16, jun, 2009.
Gallardo, M-del-M., P. Merino, and D. Sanán, "Model Checking dynamic memory allocation in operating systems", Journal of Automated Reasoning, vol. 42, no. 2-4, Netherlands, Springer, pp. 229–264, mar, 2009.
Díaz, A., Performance evaluation of IP multimedia services in live mobile networks, : Universida de Málaga, mar, 2009.
Díaz, A., and P. Merino, "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, New York, ACM, pp. 103–106, oct, 2009.
Sanán, D., Técnicas para el análisis automático de software descrito en lenguajes de programación, : Universida de Málaga, mar, 2009.
Díaz, A., and P. Merino, "Testing mobile data applications on smartphones with SymPA", Ercim News, vol. 77, Sophia Antipolis Cedex, ERCIM EEIG, pp. 56–57, oct, 2009.
Martínez, J., P. Merino, A. Salmeron, and F. Malpartida, "UML-Based model-driven development for HSDPA design", IEEE Software, vol. 26, no. 3: IEEE, pp. 26–33, dec, 2009.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "Using SCADE for decision support in Dam management", Daniel Moldt; Juan C. Augusto and Ulrich Ultes-Nitsche (Eds.). Modelling, simulation, verification and validation of enterprise information systems: proceedings of the 7th international Workshop... MSVVEIS 2009: INSTICC PRESS, pp. 125–131, 2009.
2008
Gallardo, M-del-M., P. Merino, and D. Sanán, "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, pp. 247–261, jun, 2008.
Díaz, A., P. Merino, and F J. Rivas, "Customer-centric measurements on mobile phones", 12th Annual IEEE International Symposium on Consumer Electronics. ISCE 2008. Algarve, Portugal. 14-16 April 2008: IEEE Computer Society, pp. 1–4, oct, 2008.
Gallardo, M-del-M., P. Merino, and L. Panizo, "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, pp. 231–245, jun, 2008.
Merino, P., and J. María Troya, "Modelling and Verification of the ITU-T multipoint communication service with SPIN", Proceedings of The 2nd International Workshop on the SPIN Verification System, New Brunswik, EEUU, pp. 60–71, feb, 2008.
Merino, P., and E. Schoitsch, "Safety-critical software", Ercim News, vol. 75, Sophia Antipolis Cedex, ERCIM EEIG, pp. 12–13, jul, 2008.
Díaz, A., and P. Merino, "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: ACM, pp. 1–4, oct, 2008.
Merino, P., A. Jesús Nebro, B. Rubio, and J. María Troya, "Un Kernel para comunicaciones y entrada-salida en redes de Transputers", Actas de Tercera Reunión sobre Paralelismo, feb, 2008.

Pages



Main menu 2

by Dr. Radut