Jump to Navigation

Biblio

Found 203 results
Author Title Type [ Year(Desc)]
1991
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.
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.
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.
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.
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.
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.
Rus, F., P. Merino, and M. Díaz, "Paralelización de un algoritmo de validación de protocolos", 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. 405–414, oct, 1995.
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", Proc. of Workshop on Formal Methods for Industrial Critical Systems, St Hugh's College, Oxford (UK), March, 19, 1996, pp. 109–124, jun, 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.
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.
1997
Gallardo, M-del-M., Análisis de lenguajes lógicos concurrentes mediante interpretación abstracta, : Universida de Málaga, jun, 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.

Pages



Main menu 2

by Dr. Radut