Jump to Navigation

Biblio

Found 215 results
Author Title Type [ Year(Desc)]
1998
Merino, P., Observadores lineales: un lenguaje de especificación de propiedades para verificación de protocolos, : Universida de Málaga, jun, 1998.
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.
1999
Gallardo, M-del-M., and P. Merino, "A Framework for Automatic Construction of Abstract Promela Models", Dennis Dams...(ed.).Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 1999, Toulouse, France, September 1999. Proceedings, Berlin, Springer, pp. 184–199, oct, 1999.
2000
Rodriguez, G.., and P. Merino, "Modeling and simulation of active network protocols", Ten-Hwang Lai (Ed.): Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan: ROC, pp. A43-A50, oct, 2000.
Gallardo, M-del-M., and P. Merino, "A Practical method to integrate abstraction into SDL and MSC based tools", Stefania Gnesi, et al (eds.). 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems: proceedings of FMICS'2000, April 3-4, 2000 in Berlin, pp. 225–246, oct, 2000.
Gallardo, M-del-M., P. Merino, and J. María Troya, "Property preserving abstractions of SDL", Diego Cazorla López (Coor.). Actas de las VIII Jornadas de Concurrencia : Cuenca, 14 a 16 de junio de 2000: Universidad de Castilla-La Mancha, pp. 111–124, oct, 2000.
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.
2001
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Abstract satisfiability of linear temporal logic", Fernando Orejas; Fernando Cuartero y Diego Cazorla (Eds.). Primeras Jornadas sobre Programación y Lenguajes (PROLE 2001), Almagro, 23 y 24 de Noviembre: Universidad de Castilla-La Mancha, pp. 163–178, oct, 2001.
López, L.., J. Martínez, and P. Merino, "Advanced public transport ticketing with Smartcards", Proc. of Youth Forum in Computer Science and Engineering (YUFORIC'01), Valencia, Spain: Universidad Politécnica de Valencia, pp. 41–46, oct, 2001.
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., and P. Merino, "Modelado y simulación de protocolos para redes activas", Actas de III Jornadas de Ingeniería Telemática. JITEL'01, 19-21 de Septiembre, Barcelona, España, pp. 341–348, oct, 2001.
2002
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., 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 E. Pimentel, "Comparing under and over-approximations of LTL properties for Model Checking", Electronic Notes in Theoretical Computer Science, vol. 76: Elservier, pp. 14 pages, feb, 2002.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Debugging UML designs with model checking", Journal of Object Technology, vol. 1: ETH, pp. 101–117, oct, 2002.
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.
Rodriguez, G., P. Merino, and M-del-M. Gallardo, "An Extension of the NS simulator for active network research", Computer Communications, vol. 25, pp. 189–197, oct, 2002.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Refinement of LTL formulas for abstract model checking", Manuel V. Hermenegildo and Germán Puebla (Eds.).Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, Berlin, Springer, pp. 395–410, oct, 2002.
López, F. Javier, A. Maña, P. Merino, and J. María Troya, "The Role of smartcards in practical information security", Ercim News, vol. 49, Sophia Antipolis Cedex, European Research Consortium for Informatics and Mathematics, pp. 38–40, oct, 2002.
Cuevas, J. Carlos, J. Martínez, and P. Merino, "Soluciones Domóticas Sin Instalación El Protocolo X-10, Más Seguro Y Fiable", Energia y Computacion, vol. 19, pp. 68–78, oct, 2002.
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.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "A Tool for abstraction in model checking", Electronic Notes in Theoretical Computer Science, vol. 66, no. 2: Elsevier, pp. 16 pages, dec, 2002.
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., 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.
2003
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Abstract model checking and refinement of temporal logic in Spin", Johan Lilius, Felice Balarin, y Ricardo J. Machado (Eds.). Proceedings of Third International Conference on Application of Concurrency to System Design. ACSD 2003, 18-20 June 2003, Gamaraes, Portugal, Los Alamitos, California, IEEE Computer Society, pp. 245–246, oct, 2003.

Pages



Main menu 2

by Dr. Radut