]
"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.
"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.
"Sistema Avanzado de Gestión de Billetes para Transporte Público con Tarjetas Inteligentes",
IV Jornadas de Ingeniería Telemática, pp. 65–72, feb, 2003.
"Transforming specifications to verify embedded systems",
Ercim News, no. 52, Sophia Antipolis Cedex, European Research Consortium for Informatics and Mathematics, pp. 35–36, oct, 2003.
"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.
"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.
"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.
"Debugging UML designs with model checking",
Journal of Object Technology, vol. 1: ETH, pp. 101–117, oct, 2002.
"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.
"An Extension of the NS simulator for active network research",
Computer Communications, vol. 25, pp. 189–197, oct, 2002.
"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.
"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.
"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.
"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.
"A Tool for abstraction in model checking",
Electronic Notes in Theoretical Computer Science, vol. 66, no. 2: Elsevier, pp. 16 pages, dec, 2002.
"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.
"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.
"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.
"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.
"Automatic abstraction to improve model checking",
Actas de IX Jornadas de Concurrencia. Sitges, España, pp. 79–100, oct, 2001.
"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.
"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.
"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.
"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.
"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.