Jump to Navigation

Biblio

Found 215 results
Author Title [ Type(Desc)] Year
Conference Paper
Díaz, A., and P. Merino, "Testing and profiling internet services in mobile devices", Witold Abramowicz...[et.al], (eds.). Towards a service-based internet: 4th european conference, ServiceWave 2011. Poznan, Poland, october 26-28, 2011. Proceedings, Berlín, Springer-Verlag, pp. 329–330, oct, 2011.
Rivas, F J., A. Díaz, and P. Merino, "Testing of LTE configurations and applications", En T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012, Berlin, Springer, pp. 417–418, mar, 2012.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Testing temporal logic on infinite Java traces", Costin Badica, [et. all]; (eds.). Modelling, simulation, verification and validation of enterprise information systems & web intelligence. Proceedings of MSVVEIS/WEBI 2012. June 28th-July 1st, 2012, Wroclaw, Poland, pp. 37–47, nov, 2012.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Testing temporal logic on infinite Java traces", María del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almería, 17 al 19 de septiembre de 2012: Universidad de Almería, pp. 233–234, sep, 2012.
Adalid, D., M-del-M. Gallardo, P. Merino, and A. Salmeron, "TJT: testing temporal logic in JAVA programs", Ernesto Jiménez y Sergio Arévalo. Actas de las XIX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2011. La Granja de San Ildefonso, Segovia. 8,9, y 10 de junio de 2011: Dpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid, pp. 1–18, jul, 2011.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "A Tool for abstraction in model checking", Rance Cleaveland, Hubert Garavel (Eds.). 7th Workshop on Formal Methods for Industrial Critical Systems (FMICS'02). University of Malaga, Spain, July 12-13, USA, European Research Consortiun for Informatics and Mahtematics, ERCIM, pp. 19–34, oct, 2002.
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.
Gallardo, M-del-M., P. Merino, and D. Sanán, "Towards model checking C code with OPEN/CAESAR", Joseph Barjis; Ulrich Ulte-Nitsche and Juan C.Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on (...) MSVVEIS 2006, Paphos, Cyprus, May, Portugal, INSTICC Press, pp. 198–201, nov, 2006.
Gallardo, M-del-M., E. Pimentel, and J. María Troya, "Traducción de SDL a un lenguaje lógico concurrente", Proc. Jornadas Técnicas Proyecto TEMA/PLANBA, oct, 1994.
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.
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.
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.
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.
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., 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.

Pages



Main menu 2

by Dr. Radut