Items where Author is "Proietti, Maurizio"

2013

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Generalization strategies for the verification of infinite state systems. Theory and Practice of Logic Programming, 13 (2). pp. 175-199. ISSN 1471-0684 (2013)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Controlling Polyvariance for Specialization-based Verification. Fundamenta Informaticae, 124 (4). pp. 483-502. ISSN 1875-8681 (2013)

Fioravanti, Fabio and Proietti, Maurizio and Senni, Valerio Efficient Generation of Test Data Structures using Constraint Logic Programming and Program Transformation. Journal of Logic and Computation. ISSN 0955-792X (2013)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Proving theorems by program transformation. Fundamenta Informaticae, 127 (1-4). pp. 115-134. ISSN 1875-8681 (2013)

2012

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Constraint-based correctness proofs for logic program transformations. Formal Aspects of Computing, 24 (4-6). pp. 569-594. ISSN 0934-5043 (2012)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Improving Reachability Analysis of Infinite State Systems by Specialization. Fundamenta Informaticae, 119 (3-4). pp. 281-300. ISSN 1875-8681 (2012)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Using Real Relaxations during Program Specialization. In: Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science (7225). Springer-Verlag, pp. 106-122. ISBN 978-3-642-32210-5 (2012)

2011

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Reachability Analysis via Specialization of Constraint Logic Programs. APL Newsletter. (2011)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Constraint-Based Correctness Proofs for Logic Program Transformations. Technical Report #24/2011 IASI-CNR

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Controlling Polyvariance for Specialization-based Verification. In: (ed. by F. Fioravanti) Proceedings of the 26th Italian Conference on Computational Logic (CILC'11). CEUR Workshop Proceedings (810). CEUR Workshop Proceedings, pp. 179-197. (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Improving Reachability Analysis of Infinite State Systems by Specialization. In: Reachability Problems: Proceedings of the 5th International Workshop, RP 2011. Lecture Notes in Computer Science, 6945 . Springer, pp. 165-179. ISBN 978-3-642-24287-8 (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. In: Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science (6564). Springer, pp. 164-183. ISBN 978-3-642-20550-7 (2011)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale, 5 (1). pp. 119-125. ISSN 1724-8035 (2011)

2010

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Deciding Full Branching Time Logic by Program Transformation. In: Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science (6037). Springer, pp. 5-21. ISBN 10.1007/978-3-642-12592-8_2 (2010)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio A Transformation Strategy for Verifying Logic Programs on Infinite Lists. In: Proceedings of the 25th Italian Conference on Computational Logic. CEUR Workshop Proceedings (598). CEUR Workshop Proceedings, pp. 1-17. (2010)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio The Transformational Approach to Program Development. In: A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Lecture Notes in Computer Science (6125). Springer, pp. 112-135. ISBN 978-3-642-14308-3 (2010)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Transformations of logic programs on infinite lists. Theory and Practice of Logic Programming, 10 (4-6). pp. 383-399. ISSN 1471-0684 (2010)

2009

Senni, Valerio and Pettorossi, Alberto and Proietti, Maurizio A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. Fundamenta Informaticae, 96 (3). pp. 373-393. ISSN 1875-8681 (2009)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Transformational Verification of Linear Temporal Logic. In: CILC09, 24-esimo Convegno Italiano di Logica Computazionale, 24-26 Giugno 2009, Università di Ferrara, Italy pp. 1-17. (Submitted) (2009)

2008

Senni, Valerio and Pettorossi, Alberto and Proietti, Maurizio A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. In: Logic Programming. Lecture Notes in Computer Science (5366). Springer, pp. 284-300. ISBN 978-3-540-89981-5 (2008)

Senni, Valerio and Pettorossi, Alberto and Proietti, Maurizio Folding Transformation Rules for Constraint Logic Programs. In: CILC08, 23-esimo Convegno Italiano di Logica Computazionale , 10-12 Luglio 2008, Università di Perugia, Italy pp. 1-22. (Submitted) (2008)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Program Transformation for Development, Verification, and Synthesis of Software. In: Il Milione (i.e. 2ˆ6, June 3rd 2008) A Journey in the Computational Logic in Italy. CEUR Workshop Proceedings (487). CEUR Workshop Proceedings, pp. 7-14. (2008)

2007

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Automatic Correctness Proofs for Logic Program Transformations. In: Logic Programming. Lecture Notes in Computer Science (4670). Springer, pp. 364-379. ISBN 978-3-540-74608-9 (2007)

2006

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. In: Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany. (2006)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. In: Logic Programming. Lecture Notes in Computer Science (4079). Springer, pp. 179-195. ISBN 978-3-540-36635-5 (2006)

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Transformational Verification of Parameterized Protocols Using Array Formulas. In: Logic Based Program Synthesis and Transformation. Lecture Notes in Computer Science (3901). Springer, pp. 23-43. ISBN 978-3-540-32654-0 (2006)

2005

Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Verifying parameterized protocols by transforming stratified logic programs. In: Italian Annual Meeting on Computational Logic (CILC'05), 21-22 June 2005, Consiglio Nazionale delle Ricerche, Roma, Italy pp. 1-16. (Submitted) (2005)