Main menu
You are here
Publications
, “Abstract Diagnosis”, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.
, “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.
, “XML Semantic Filtering via Ontology Reasoning”, 3rd International Conference on Internet and Web Applications and Services, ICIW 2008. IEEE Computer Society, pp. 482–487, 2008.
, “VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications”, Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, pp. 233–236, 2002.
, “Verifying Real-Time Properties of tccp Programs”, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005. pp. 85–94, 2005.
, “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.
, “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 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 Datalog and Boolean Equation Systems for Program Analysis”, Proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), vol. 5596. Springer-Verlag, pp. 215–231, 2009.
, “TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems”, ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM'13). 2013.
, “Timed Concurrent Constraint Programming with Instantaneous Computations”, Actas de las VI Jornadas de Programaci. Sitges, Barcelona, Spain, 2006.
, “Time Limited Model Checking”, Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE'01). 2001.
, “Symbolic Model Checking for Timed Concurrent Constraint Programs”, Proceedings of the III Jornadas de Programación y Lenguajes. Alicante, 2003.
, “Static Verification of UML Model Consistency”, MoDeV{$^2$}a: Model Development, Validation and Verification. University of Queensland, pp. 111–126, 2006.
, “Specification and Verification of Web Applications in Rewriting Logic”, 16th International Symposium on Formal Methods, FM 2009. Springer, pp. 790–805, 2009.
, “A Semi-Automatic Methodology for Repairing Faulty Web Sites”, 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006). IEEE Computer Society, pp. 31–40, 2006.
, “Semantic Verification of Web System Contents”, ER 2008 Workshops (WISM 2008), vol. 5232. Springer, pp. 437–446, 2008.
, “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.
, “A rule-based method to match Software Patterns against UML Models”, The 8th International Workshop on Rule-Based Programming (RULE '07). Elsevier Science Publishers, North Holland, pp. 239–248, 2007.
, “A Rewriting-based Framework for Web Sites Verification”, Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004). Elsevier, pp. 41–61, 2005.
, “Quantitative Pathway Logic for Computational Biology”, Computational Methods in Systems Biology, 7th International Conference, CMSB 2009. Springer, pp. 68–82, 2009.
, “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.
, “On Polymorphic Recursion, Type Systems, and Abstract Interpretation”, Static Analysis – 15th International Symposium, SAS 2008, vol. 5079. Springer-Verlag, Berlin, pp. 144–158, 2008.
, “A Multiparadigm Automatic Correction Scheme”, Pre-Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002. 2002.
, “Modular Abstract Diagnosis”, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.
, “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.
, “A Minimalist Visual Notation for Design Patterns and Antipatterns”, 5th International Conference on Information Technology: New Generations. IEEE Computer Society, pp. 51–56, 2008.
, “A Methodology for UML Models V&V”, Proceedings of First International Conference on Software Testing, Verification, and Validation. IEEE Computer Society, pp. 513–516, 2008.
, “Logic programs as specifications in the inductive verification of logic programs”, Declarative Programming – Selected Papers from AGP 2000, vol. 48. Elsevier Science Publishers, pp. 1–16, 2001.
, “A Lazy Implementation of a Language for Approximate Filtering of XML Documents”, Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), vol. 216. Elsevier, pp. 93–109, 2008.