Main menu
You are here
Publications
, “Abstract Debugging of Logic Programs”, Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, vol. 883. Springer-Verlag, pp. 440–450, 1994.
, “Declarative Diagnosis Revisited”, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 275–287, 1995.
, “Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs”, Proc. 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG'95. 1995.
, “Proving properties of Logic Programs by Abstract Diagnosis”, Proceedings of Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop (LOMAPS'96), vol. 1192. Springer-Verlag, Berlin, pp. 22–50, 1996.
, “Modular Abstract Diagnosis”, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.
, “Modular Abstract Diagnosis”, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.
, “Abstract Diagnosis”, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.
, “Diagnosis of CHIP Programs Using Type Information”, Appia-Gulp-Prode'99, Joint Conference on Declarative Programming. pp. 337–349, 1999.
, “Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language”, Proceedings of the 2000 Joint Conference on Declarative Programming. University of La Habana, La Habana, Cuba, 2000.
, “Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language - I”, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 48, pp. 1–15, 2000.
, “How to Transform an Analyzer into a Verifier”, Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR'01), vol. 2250. Springer-Verlag, Berlin, pp. 595–609, 2001.
, “Time Limited Model Checking”, Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE'01). 2001.
, “Abstract Interpretation based Verification of Logic Programs”, Science of Computer Programming, vol. 49, pp. 89–123, 2003.
, “Symbolic Model Checking for Timed Concurrent Constraint Programs”, Proceedings of the III Jornadas de Programación y Lenguajes. Alicante, 2003.
, “Abstract Model Checking of tccp programs”, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 112, pp. 19–36, 2004.
, “A Semantic Framework for the Abstract Model Checking of tccp programs”, {Theoretical Computer Science}, vol. 346, pp. 58–95, 2005.
, “A Symbolic Model checker for tccp Programs”, in Proceedings of the International Workshop on Rapid Integration of Software Ingeneering techniques (RISE'04), vol. 3475, Springer Verlag, 2005, pp. 45–56.
, “Verifying Real-Time Properties of tccp Programs”, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005. pp. 85–94, 2005.
, “Automatic Verification of Timed Concurrent Constraint programs”, Theory and Practice of Logic Programming, vol. 6, pp. 265–300, 2006.
, “A Real-Time Logic for tccp verification”, Journal of Universal Computer Science, vol. 12, pp. 1551–1573, 2006.
, “A Rule-based System for Web Site Verification”, Proceedings of the 1st International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), vol. 157. Elsevier, pp. 153–156, 2006.
, “Timed Concurrent Constraint programming with External Functions”. DSIC, UPV, 2006.
, “Timed Concurrent Constraint Programming with Instantaneous Computations”, Actas de las VI Jornadas de Programaci. Sitges, Barcelona, Spain, 2006.
, “An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation”, Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). pp. 81–92, 2007.
, “Formal Verification of Websites”, Proceedings of the 16th International Workshop on Automated Specification and Verification of Web Sites (WWV'07). San Servolo, Venice, Italy, pp. 83–97, 2007.
, “A Framework for Timed Concurrent Constraint Programming with External Functions”, Electronic Notes in Theoretical Computer Science, vol. 188C, pp. 143–155, 2007.
, “Using Maude for the Formal Verification of Websites”, Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). Zaragoza (Spain), pp. 71–80, 2007.
, “Using tccp for the Specification and Verification of Communication Protocols”, Proceedings of the 16th International Workshop on Funcional and (Constraint) Logic Programming (WFLP'07). Paris (France), pp. 169–183, 2007.
, “Using tccp for the Specification of Communication Protocols”, Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). Zaragoza (Spain), pp. 301–310, 2007.
, “An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation”, Electronic Notes in Theoretical Computer Science, vol. 206, pp. 3–21, 2008.