Jump to Navigation

Biblio

Found 203 results
Author [ Title(Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
U
Díaz, A., F J. Rivas, and P. Merino, "UMA testing facility", T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012: Springer, pp. 9–10, mar, 2012.
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.
Martínez, J., Un enfoque basado en estándares para la integración de técnicas y herramientas de ingeniería de protocolos, : Universida de Málaga, jun, 2005.
Aldana, J. Francisco, E. Alba, V. Benjumea, J. Carlos Canal, M. Díaz, L. Fuentes, M-del-M. Gallardo, P. Merino, A. Jesús Nebro, E. Pimentel, et al., "Un Entorno declarativo distribuido para especificación y validación de protocolos", Actas de las Jornadas Técnicas Proyecto TEMA/PLANBA, nov, 1994.
Díaz, A., P. Merino, L. Panizo, and Á. Manuel Recio, "Un estudio práctico del rendimiento del servicio de streaming de video sobre redes móviles GPRS/UMTS", Administración, Universidad y Empresa: unidos para formar futuro; XVI Jornadas Telecom I + D, 28, 29 de noviembre y 1 de Diciembre de 2006, Madrid, Barcelona, Bilbao, Málaga, Valencia, y Zaragoza, nov, 2006.
Gallardo, M-del-M., E. Pimentel, and J. María Troya, "Un Intérprete abstracto para la detección de la suspensión de programas Parlog", M. Hermenegildo y J. J. Moreno (Eds.). Programación Declarativa. Primer Congreso Nacional, ProDe'92, 28-30 Septiembre, 1992, Madrid, España: Facultad de Informática; Universidad Politécnica de Madrid, pp. 354–358, oct, 1992.
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.
Díaz, M., P. Merino, B. Rubio, and J. María Troya, "Un Lenguage lógico concurrente como nucleo de ejecución de un entorno de simulación y validación de protocolos", Actas de la Escuela de Verano de Informática, oct, 1993.
Carmona, A., M-del-M. Gallardo, J. Martínez, and P. Merino, "Un Marco de Trabajo para la Construcción de Herramientas de Model Checking", Actas de las IV Jornadas sobre Programación y Lenguajes. Málaga, 11 al 12 de Noviembre, pp. 191–200, oct, 2004.
Rubio, B., P. Merino, and J. María Troya, "Una implementación distribuida de Flat-Parlog", Actas de Segunda Reunión sobre Paralelismo, San Lorenzo del Escorial (Madrid), feb, 1991.
Merino, P., B. Rubio, and J. María Troya, "Una Máquina abstracta con unificación distribuida para Flat-Parlog", Actas de las I Jornadas sobre Programación Declarativa PRODE'91. Torremolinos (Málaga), 2-4 Octubre, pp. 421–432, nov, 1991.
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.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Using SPIN for automated debugging of infinite executions of Java programs (in press)", Journal of Systems and Software: Elsevier, pp. 15, nov, 2013.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Rosales, "Using XML to implement abstraction for model checking", Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, Madrid , Spain: ACM Press, pp. 1021–1025, oct, 2002.
V
Contreras, S., M-del-M. Gallardo, P. Merino, D. Sanán, F J. Rivas, and J. Torrecilla, "Validating complex telecommunication software", Ercim News, no. 66, Sophia Antipolis Cedex, ERCIM EEIG, pp. 62–63, feb, 2006.
Gallardo, M-del-M., and D. Sanán, "Verification of complex dynamic data tree with mu-calculus", Automated Software Engineering, pp. online first, oct, 2012.
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.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Verifying abstract LTL properties on concurrent systems", Proc. of International Conference on Integrated Design and Process Technology (IDPT 2002): Society for Design and Process Science, pp. 41–46, jun, 2002.
Gallardo, M-del-M., and P. Merino, "Verifying distributed systems with model checking and static analysis", Ten-Hwang Lai (ed.). Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan., pp. E87-E90, oct, 2000.
Panizo, L., and M-del-M. Gallardo, "Verifying hybrid systems with explicit model checkers", Lars-Åke Fredlund; Laura M. Castro (Eds.). XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF). Madrid, 17 a 20 de septiembre de 2013, pp. 1–15, sep, 2013.
Merino, P., and J. María Troya, "Verifying Protocols with Executable Linear Logic", Pre-Proceeding of LOPSTR98: University of Manchester, pp. 88–95, feb, 1998.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "Verifying real time properties of tccp programs", Francisco Javier López Fraguas (Ed.). Actas de las V Jornadas sobre Programación y Lenguajes. PROLE'2005: Simposio 10 del I Congreso Español de Informática (CEDI 2005), Granada, 13 al 16 de Septimebre de 2005, Madrid, Thomson, pp. 85–94, oct, 2005.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "Verifying real-time properties of tccp programs", Journal of Universal Computer Science, vol. 12, no. 11: Graz University of Technology, pp. 1551–1573, nov, 2006.

Pages



Main menu 2

by Dr. Radut