Main menu
You are here
Publications
, “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.
, “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.
, “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.
, “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.
, “Formal Verification of Websites”, Electronic Notes in Theoretical Computer Science, vol. 200, pp. 103–118, 2008.
, “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.
, “The tccp Interpreter”, Electronic Notes in Theoretical Computer Science, vol. 258, pp. 63–77, 2009.
, “A Tool for Generating a Symbolic Representation of tccp Executions”, Electronic Notes in Theoretical Computer Science, vol. 246, pp. 131–145, 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.
, “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.
, “Abstract Diagnosis for Timed Concurrent Constraint programs”, Theory and Practice of Logic Programming, vol. 11, p. 487--502, 2011.
, “Automatic Synthesis of Specifications for Curry Programs”, Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.
, “A Compact Goal-Independent Bottom-Up Fixpoint Modeling the Behavior of tccp”. Dipartimento di Matematica e Informatica, U. di Udine, 2011.