Items where Author is "Fioravanti, Fabio"

Fi

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)

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

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

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.

Pe

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

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)

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

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.

Pr

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)

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)

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

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.

Se

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)

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

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

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.