Browse by Author ID

Article

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)

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 Reachability Analysis via Specialization of Constraint Logic Programs. APL Newsletter. (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)

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)

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)

Book Section

Senni, Valerio and Fioravanti, Fabio Generation of Test Data Structures Using Constraint Logic Programming. In: Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Lecture Notes in Computer Science (7305). Springer, pp. 115-131. ISBN 978-3-642-30472-9 (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)

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)

Ringeissen, Christophe and Senni, Valerio Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. In: Frontiers of Combining Systems : Title Frontiers of Combining Systems : Proceedings of the 8th International Symposium, FroCoS 2011. Lecture Notes in Computer Science (6989). Springer, pp. 211-226. ISBN 978-3-642-24363-9 (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)

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)

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)

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)

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)

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)

Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Generalization Strategies for the Verification of Infinite State Systems. In: Proceedings of the 25th Italian Conference on Computational Logic. CEUR Workshop Proceedings (598). CEUR Workshop Proceedings, pp. 1-19.

Working Paper

Latella, Diego and Loreti, Michele and Massink, Mieke and Senni, Valerio Stochastically timed predicate-based communication primitives for autonomic computing. Technical Report #3/2014 QUANTICOL Project

Kolesnichenko, Anna and Pourranjabar, Alireza and Senni, Valerio Applying Mean-field Approximation to Continuous Time Markov Chains. CSA Technical Report #8/2013 IMT Institute for Advanced Studies Lucca

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

Conference or Workshop Item

Amoretti, Michele and Grazioli, Alessandro and Zanichelli, Francesco and Senni, Valerio and Tiezzi, Francesco Towards a formal approach to mobile cloud computing. In: PDP 2014, 12-14 February 2014, University of Turin, Italy pp. 743-750. ISSN 1066-6192. (2014)

Giorgetti, Alain and Senni, Valerio Specification and Validation of Algorithms Generating Planar Lehman Words. In: GASCom'12, 8th International Conference on random generation of combinatorial structures, June 25-27, 2012, LaBRI, Bordeaux (Submitted) (2012)

Ringeissen, Christophe and Senni, Valerio Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. In: FTP 2011 - International Workshop on First-Order Theorem Proving , July 4, 2011, Bern, Switzerland pp. 1-16. (Submitted) (2011)

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)

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 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)

Thesis

Senni, Valerio Transformation techniques for constraint logic programs with applications to protocol verification. PhD Thesis thesis, Università degli studi di Roma "Tor Vergata". (2008)