Publications

Marco Comini, Laura Titolo, And Alicia Villanueva (2013). Towards an Effective Decision Procedure for LTL formulas with Constraints. WLPE 2013.
PDF Cite
Laura Titolo (2013). An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages. ICLP 2013 Doctoral Consortium.
PDF Cite
Marco Comini, Laura Titolo, And Alicia Villanueva (2011). Abstract Diagnosis for Timed Concurrent Constraint programs. ICLP 2011.
PDF Cite DOI