Jump to Navigation

Biblio

Found 28 results
Author Title Type [ Year(Asc)]
Filters: Author is José María Troya  [Clear All Filters]
2008
Merino, P., and J. María Troya, "Modelling and Verification of the ITU-T multipoint communication service with SPIN", Proceedings of The 2nd International Workshop on the SPIN Verification System, New Brunswik, EEUU, pp. 60–71, feb, 2008.
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.
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.
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.
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.
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.
1997
Merino, P., and J. María Troya, "Modeling and verification of the MCS layer with Spin", Jean-Charles Grégoire; Gerard J. Holzmann and Doron A. Peled (Eds.). The Spin verification system: the second workshop on the Spin verification system proceedings of the DIMACS workshop, August 5, 1996, USA, American Mathematical Society, pp. 101–110, jul, 1997.
Merino, P., and J. María Troya, "Modelling and Verification of the MCS Layer with SPIN", The SPIN Verification System,: American Mathematical Society, pp. 101–110, jan, 1997.
Gallardo, M-del-M., P. Merino, and J. María Troya, "Relating abstract interpretation with logic program verification", Proc. International Workshop on Verification, Model Checking and Abstract Interpretation' 97, Universita´Ca´foscari di Venezia Report CS97-14, oct, 1997.
1996
Merino, P., B. Rubio, and J. María Troya, "A Distributed implementation of a concurrent logic language", Transputers Communications, vol. 3, no. 2, pp. 117–135, oct, 1996.
Merino, P., and J. María Troya, "EVP: integration of FDTs for the analysis and verification of communication protocols", Rajeev Alur and Thomas A. Henzinger (Eds.). Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings, vol. 1102, Berlin, Springer, pp. 406–410, oct, 1996.
Merino, P., and J. María Troya, "A Logic based approach to validation and verification of computer protocols", Bulletin of the Association for Theoretical Computer Science, no. 59, pp. 109–124, jun, 1996.
Merino, P., and J. María Troya, "A Logic based approach to validation and verification of computer protocols", Proc. of Workshop on Formal Methods for Industrial Critical Systems, St Hugh's College, Oxford (UK), March, 19, 1996, pp. 109–124, jun, 1996.
Gallardo, M-del-M., and J. María Troya, "Studying the cost of logic languages in an abstract interpretation framework for granularity analysis", Maurizio Proietti (Ed.). Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings, Berlin, Springer, pp. 91–105, oct, 1996.
1995
Díaz, M., P. Merino, B. Rubio, and J. María Troya, "Desarrollo de protocolos basado en lenguajes lógicos concurrentes", Informatica y Automatica (aeia), vol. 27, no. 2, pp. 32–45, oct, 1995.
Alba, E., J. Francisco Aldana, V. Benjumea, J. Carlos Canal, M. Díaz, L. Fuentes, M-del-M. Gallardo, P. Merino, A. Jesús Nebro, M. Roldán, et al., "EVP: un Entorno para la integración de técnicas de descripción formal", J. M. Troya Linero y C. Rodríguez León (Eds.). I Jornadas de Informática, Puerto de la Cruz, 17-21 de Julio de 1995. Actas, pp. 607–616, nov, 1995.
1994
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., and J. María Troya, "Granularity analysis of concurrent logic languages based on abstract interpretation", María Alpuente; Roberto Barbuti e Isidro Ramos (Eds.). Declarative Programming: 1994 Joint Conference, GULP-PRODE'94, Peñíscola, Spain, September 19-22, 1994. Proceedings, vol. 1: Universidad Politécnica de Valencia, pp. 342–356, nov, 1994.
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.
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.
1993
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.
"Implementation of a Concurrent Logic Language", Transputers Applications and Systems ´93: IOS Press, pp. 1137–1153, feb, 1993.
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.
1992
Merino, P., B. Rubio, and J. María Troya, "Flat-Parlog distribuido", M. Hermenegildo y J. J. Moreno (Eds.). Programación Declarativa. Primer Congreso Nacional, ProDe'92, 28-30 Septiembre, Madrid, España: Facultad de Informática; Universidad Politécnica de Madrid, pp. 397–398, nov, 1992.
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.

Pages



Main menu 2

by Dr. Radut