Jump to Navigation

Biblio

Found 203 results
Author Title [ Type(Desc)] Year
Conference Paper
Martínez, J., P. Merino, and A. Salmeron, "Applying MDE Methodologies to Design Communication Protocols for Distributed Systems", Proceedings of the First International Conference on Complex, Intelligent and Software Intensive Systems. (CISIS 2007),Vienna, Austria: IEEE Computer Society, pp. 185–190, feb, 2007.
Gallardo, M-del-M., and L. Panizo, "An approach to verify hybrid systems with SPIN", Victor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las Jornadas sobre Programación y Lenguajes. PROLE 2010 (Sistedes). Valencia, septiembre del 8 al 10 de 2010, Madrid, Gaceta grupo editorial, oct, 2010.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "aSPIN: extending Spin with abstraction", D. Bonaki, S Leue (Eds.): .Model Checking Software: 9th International SPIN Workshop, Genoble, France, April 11-13, 2002. Proceedings, Berlin, Springer, pp. 254–258, oct, 2002.
Gallardo, M-del-M., J. Martínez, E. Pimentel, and P. Merino, "aSPIN: implementing model checking with data abstraction", Concurrencia y sistemas distribuidos : actas de las XI Jornadas de Concurrencia: Universitat Jaume I, pp. 193–206, oct, 2003.
Gallardo, M-del-M., P. Merino, and J. María Troya, "Automatic abstraction to improve model checking", Actas de IX Jornadas de Concurrencia. Sitges, España, pp. 79–100, oct, 2001.
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., 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.
Merino, P., and A. Salmeron, "Combining SPIN with ns-2 for protocol optimization", Jaco van de Pol y Michael Weber (Eds.). Model checking software: 17th International SPIN workshop. Enschede, The Netherlands, September 27-29, 2010. Proceedings, Berlín, Springer, pp. 40–57, dec, 2010.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Comparing abstract semantics for model checking", Juan José Moreno y Manuel Palomar (Eds.). Actas de las III Jornadas de Programación y Lenguajes (PROLE'03), Alicante del 12 al 14 de Noviembre de 2003: Universidad de Alicante, pp. 167–182, oct, 2003.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Comparing under and over-approximations of LTL properties for model checking", Moreno Falaschi (Ed.). Functional and (constraint) Logic Programming: 11th International Workshop, WFLP 2002 Grado, Italy, June 20-22, 2002, pp. 45–58, sep, 2002.
Gallardo, M-del-M., P. Merino, and D. Sanán, "C.OPEN, a tool for analyzing C code in CADP", 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, pp. 199–214, nov, 2007.
Gallardo, M-del-M., C. Joubert, P. Merino, and D. Sanán, "C.OPEN and ANNOTATOR: tools for On-the-Fly model checking C programs", Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checking Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007 Proceedings, Berlin, Springer, pp. 268–273, nov, 2007.
Merino, P., M-del-M. Gallardo, and D. Sanán, "C.OPEN and ANNOTATOR: tools for on-the-fly model checking C programs", 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, feb, 2006.
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.
Panizo, L., M-del-M. Gallardo, P. Merino, D. Sanán, and A. Linares, "Dam management based on model checking techniques", 8th International conference on software engineering and formal methods. SEFM 2010: proceedings of the posters and tooldemo session. CNR, Pisa, Italy 13-18 september 2010, Pisa, Italy, Consiglio Nazionale delle Ricerche, pp. 9–13, oct, 2010.
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., E. Pimentel, and J. María Troya, "Definición formal de un subconjunto de L2||02", Actas de las I Jornadas sobre Programación Declarativa (PRODE'91). Torremolinos (Málaga), 2-4 Octubre, pp. 330–349, oct, 1991.
Díaz, M., P. Merino, B. Rubio, and J. María Troya, "Desarrollo de protocolos basado en lenguajes lógicos concurrentes", Actas de XV Escuela de Verano de Informática, pp. 32–45, oct, 1993.
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.
Espada, A. Rosario, M-del-M. Gallardo, and D. Adalid, "DRAGONFLY : Encapsulating Android for Instrumentation", Proceedings of the XIII PROLE13, 2013.
Linares, A., J. Regodón, L. Panizo, M-del-M. Gallardo, and P. Merino, "A DSS for reservoir operation based on the execution of formal models", Proc of [11th International conference on hydroinformatics. HIC 2014, New York, USA, 17-21 august, 2014], pp. 8, 2014.
Cuevas, J. Carlos, J. Martínez, and P. Merino, "El Protocolo X10 una solución antigüa a problemas actuales", Simposio en Informática y Telecomunicaciones SIT’02, Sevilla, España, pp. 87–96, oct, 2002.
García, C A., and P. Merino, "Enabling low latency services in standard LTE networks", IEEE 1st International Workshops on Foundations and Applications of Self-* Systems, 2016.
Canal, J. Carlos, L. Fuentes, P. Merino, and J. María Troya, "Especificación y Validación del protocolo de Audio/Vídeo AVP sobre un Entorno Declarativo Distribuido", Actas de XVI Escuela de Verano de Informática, pp. 3–17, feb, 1994.
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.

Pages



Main menu 2

by Dr. Radut