Main menu
You are here
Publications
, “Abstract Diagnosis of First Order Functional Logic Programs”, Logic-based Program Synthesis and Transformation, 20th International Symposium, vol. 6564. Springer-Verlag, Berlin, p. 215--233, 2011.
, “Backward Trace Slicing for Rewriting Logic Theories”, 23rd International Conference on Automated Deduction, CADE 23. Springer, 2011.
, “Abstract Diagnosis of First Order Functional Logic Programs”, Logic-Based Program Synthesis and Transformation – 20th International Symposium – Pre-Proceedings, vol. 10-14. Hagenberg, Austria, pp. 58–72, 2010.
, “A Compact Fixpoint Semantics for Term Rewriting Systems”, Theoretical Computer Science, 2010.
, “Completeness of Unfolding for Rewriting Logic Theories”, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. IEEE Computer Society Press, pp. 116–123, 2010.
, “Defining Datalog in Rewriting Logic”, Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'09), vol. 6037. Springer-Verlag, pp. 188–204, 2010.
, “A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT”, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010. Springer, pp. 43–52, 2010.
, “An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs”, Theoretical Computer Science, vol. 411, no. 47, 2010.
, “Model-checking Web Applications with Web-TLR”, 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010). Springer, 2010.
, “Transformation and Debugging of Functional Logic Programs”, in 25 Years GULP 2010, Springer, 2010, pp. 271–299.
, “DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer”, Electronic Notes in Theoretical Computer Science, vol. 248, pp. 57–66, 2009.
, “Defining Datalog in Rewriting Logic”. DSIC, Universidad Politécnica de Valencia, 2009.
, “Implementing Datalog in Maude”, Proceedings of the IX Jornadas sobre Programación y Lenguajes (PROLE'09) and I Taller de Programación Funcional (TPF'09). pp. 15–22, 2009.
, “Specification and Verification of Web Applications in Rewriting Logic”, 16th International Symposium on Formal Methods, FM 2009. Springer, pp. 790–805, 2009.
, “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.
, “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.
, “An Abstract Generic Framework for Web Site Verification”, 2008 International Symposium on Applications and the Internet, SAINT 2008. IEEE Computer Society, pp. 104–110, 2008.
, “On Polymorphic Recursion, Type Systems, and Abstract Interpretation”, Static Analysis – 15th International Symposium, SAS 2008, vol. 5079. Springer-Verlag, Berlin, pp. 144–158, 2008.
, “Semantic Verification of Web System Contents”, ER 2008 Workshops (WISM 2008), vol. 5232. Springer, pp. 437–446, 2008.
, “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.
, “A Fast Algebraic Web Verification Service”, Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.
, “A Framework for Timed Concurrent Constraint Programming with External Functions”, Electronic Notes in Theoretical Computer Science, vol. 188C, pp. 143–155, 2007.
, “A Real-Time Logic for tccp verification”, Journal of Universal Computer Science, vol. 12, pp. 1551–1573, 2006.
, “Rule-based Verification of Web Sites”, International Journal on Software Tools for Technology Transfer (STTT), vol. 8, pp. 565–585, 2006.
, “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.
, “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.
, “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.
, “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.