The documents distributed have been provided by the contributing authors as a means to ensure timely dissemination of technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

List of publications by year.

For papers not available from this page, please email to  

2012    top

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Generalization Strategies for the Verification of Infinite State Systems. Theory and Practice of Logic Programming, Available on CJO doi:10.1017/S1471068411000627, 2012. IF: 1.372 arXiv:1110.0999v1

2011    top

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Controlling Polyvariance for Specialization-based Verification. In: Fabio Fioravanti (Ed.), Proceedings of the 26th Italian Conference on Computational Logic (CILC'11), University of University of Chieti-Pescara, Pescara, Italy, August 31 - September 2, 2011. [CEUR-WS, Vol-810, urn:nbn:de:0074-810-0, ISSN 1613-0073.]

• Ringeissen, C., Senni, V.: Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. Proceedings of the 8th International Symposium Frontiers of Combining Systems FroCoS 2011, October 5-7, Saarbruecken, Germany, Lecture Notes in Artificial Intelligence 6989, Springer, 2011. IF: 0.302

• Ringeissen, C., Senni, V.: Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (Abstract). Accepted at 8th International Workshop on First-Order Theorem Proving FTP 2011, Bern, Switzerland, July 4, 2011. report

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Improving Reachability Analysis of Infinite State Systems by Specialization. In: G. Delzanno and I. Potapov (Eds.), Proceedings of the 5th workshop on Reachability Problems RP 2011, September 28-30, 2011, Genova, Italy, Lecture Notes in Computer Science 6945, Springer 2011.

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Using Real Relaxations During Program Specialization. Accepted at 21st International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2011, to appear in Lecture Notes in Computer Science, Springer.

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale, ISSN 1724-8035, Volume 5, Number 1, pp. 119-125, doi:10.3233/IA-2011-0014, IOS Press, 2011.

2010    top

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. In: Proceedings of the 20^th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2010), July 23-25, 2010, Hagenberg, Austria, Lecture Notes in Computer Science Vol. 6564, pp. 164-183, Springer, 2011. [IASI Report R10-21]

• Pettorossi, A., Proietti, M., Senni, V.: A Transformation Strategy for Verifying Logic Programs on Infinite Lists. In: Wolfgang Faber and Nicola Leone (Eds.), Proceedings of the 25th Italian Conference on Computational Logic (CILC'10), University of Calabria, Rende, Italy, July 7-9, 2010. [CEUR-WS, Vol-598, urn:nbn:de:0074-598-1, ISSN 1613-0073.]

• Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Generalization Strategies for the Verification of Infinite State Systems. In: Wolfgang Faber and Nicola Leone (Eds.), Proceedings of the 25th Italian Conference on Computational Logic (CILC'10), University of Calabria, Rende, Italy, July 7-9, 2010. [CEUR-WS, Vol-598, urn:nbn:de:0074-598-1, ISSN 1613-0073.]

• Pettorossi, A., Proietti, M., Senni, V.: . Transformations of Logic Programs on Infinite Lists. Theory and Practice of Logic Programming, Volume 10, Special Issue 4-6, 383-399, 2010, Special Issue on the 26^th International Conference on Logic Programming, Edinburgh, Scotland, UK, July 16-19, 2010. IF: 1.372 [Technical Report R. 10-04, IASI-CNR, Rome, Italy, 2010.] A full version including proofs is downloadable at arXiv:1007.4157v1.

• Pettorossi, A., Proietti, M., Senni, V.: The Transformational Approach to Program Development. In: A. Dovier and E. Pontelli (Eds.) A 25 Year Perspective on Logic Programming (Achievements of the Italian Association for Logic Programming, GULP), Lecture Notes in Computer Science Vol. 6125, Springer, 2010. [Technical Report R. 09-06, IASI-CNR, Rome, Italy, 2009.]

2009    top

• Senni, V., Pettorossi, A., Proietti, M.: A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. Fundamenta Informaticae 96 (2009) 373-393. IF: 0.693 [Technical Report R. 08-03, IASI-CNR, Rome, Italy, 2008.]

• Pettorossi, A., Proietti, M., Senni, V.: Deciding Full Branching Time Logic by Program Transformation. In: Danny De Schreye (Ed.) 19th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR '09), September 9-11, 2009, Coimbra, Portugal, LNCS 6037, pp. 5--21. Springer, Heidelberg (2010). [Technical Report R. 09-04, IASI-CNR, Rome, Italy, 2009.]

• Pettorossi, A., Proietti, M., Senni, V.: Transformational Verification of Linear Temporal Logic. 24th Italian Conference on Computational Logic (CILC'09), June 24-26, 2009, Ferrara, Italy. [Technical Report R. 09-03, IASI-CNR, Rome, Italy, 2009.]

2008    top

• Senni, V., Pettorossi, A., Proietti, M.: A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. In: M. Garcia de la Banda and E. Pontelli (Eds.): Proceedings of the 24th International Conference on Logic Programming (ICLP'08), December 9-13, 2008, Udine, Italy. Lecture Notes in Computer Science 5366, Springer 2008, pp. 284-300.

• Senni, V., Pettorossi, A., Proietti, M.: Folding Transformation Rules for Constraint Logic Programs. Presented at the 2008 Italian Conference on Computational Logic (CILC 2008), 10-12 July, 2008, Perugia, Italy.

• Senni, V.: Transformation Techniques for Constraint Logic Programs with Applications to Protocol Verification. PhD thesis, Department of Computer Science, Systems, and Production, University of Rome Tor Vergata, Italy. June, 2008.

• Pettorossi, A., Proietti, M., Senni, V.: Program Transformation for Development, Verification, and Synthesis of Software. In: M. Baldoni and C. Baroglio, editors. Il Milione (i.e. 2~H6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008, pages 7-14, CEUR Workshop Proceedings, ISSN 1613-0073, online CEUR-WS.org/Vol-487/paper2.pdf
  Also in Technical Report of Dipartimento di Informatica, Università degli Studi di Torino, RT 110/08, June 2008, pp. 7-14. Essay Dedicated to Alberto Martelli.

2007    top

• Pettorossi, A., Proietti, M., Senni, V.: Automatic Correctness Proofs for Logic Program Transformations In: V. Dahl and I. Niemelä (Eds.): Proceedings of the 23rd International Conference on Logic Programming (ICLP '07), September 8-13, 2007, Porto, Portugal. Lecture Notes in Computer Science 4670, Springer, 2007, pp. 364-379.
  Also presented at the 2007 Italian Conference on Computational Logic (CILC 2007), 21-22 June, 2007, Messina, Italy.

2006    top

• Pettorossi, A., Proietti, M., Senni, V.: Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. In: S. Etalle and M. Truszczyński (Eds.): Proceedings of the Twenty Second International Conference on Logic Programming (ICLP '06), August 17-20, 2006, Seattle, Washington, USA. Lecture Notes in Computer Science 4079, Springer, 2006, pp. 179-195. An extended version of this paper appears as: Research Report 07.62, Dipartimento di Informatica, Sistemi e Produzione, University of Rome Tor Vergata, Rome, Italy, February 2007.
  Also presented at the 2006 Italian Conference on Computational Logic (CILC 2006), 26-27 June, 2006, Bari, Italy.

• Pettorossi, A., Proietti, M., Senni, V.: Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs (Abstract) In J. R. Cordy, R. Lämmel, A. Winter (Eds.) Proceedings of  the Dagstuhl Seminar 05161, Transformation Techniques in Software Engineering, 17.04. - 22.04.2005.

2005    top

• Pettorossi, A., Proietti, M., Senni, V.: Transformational Verification of Parameterized Protocols Using Array Formulas, In Patricia M. Hill (Ed.): Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, Imperial College, London, UK, September 7-9, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3901, Springer 2006, pp. 23-43.

• Pettorossi, A., Proietti, M., Senni, V.: Verifying parameterized protocols by transforming stratified logic programs, Online Proceedings of the Italian Annual Meeting on Computational Logic (CILC'05), June 21-22, 2005, Roma, Italy.