| VeriMAP: A tool for verifying programs through transformations E De Angelis, F Fioravanti, A Pettorossi, M Proietti Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 89 | 2014 |
| Semantics-based generation of verification conditions by program specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Proceedings of the 17th International Symposium on Principles and Practice …, 2015 | 58 | 2015 |
| Program verification via iterated specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Science of Computer Programming 95, 149-175, 2014 | 45 | 2014 |
| Relational verification through horn clause transformation E De Angelis, F Fioravanti, A Pettorossi, M Proietti Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016 | 41 | 2016 |
| Analysis and transformation of constrained horn clauses for program verification E De Angelis, F Fioravanti, JP Gallagher, MV Hermenegildo, A Pettorossi, ... Theory and Practice of Logic Programming 22 (6), 974-1042, 2022 | 27 | 2022 |
| Solving Horn clauses on inductive data types without induction E De Angelis, F Fioravanti, A Pettorossi, M Proietti Theory and Practice of Logic Programming 18 (3-4), 452-469, 2018 | 25 | 2018 |
| Proving correctness of imperative programs by linearizing constrained Horn clauses E De Angelis, F Fioravanti, A Pettorossi, M Proietti Theory and Practice of Logic Programming 15 (4-5), 635-650, 2015 | 22 | 2015 |
| Verifying programs via iterated specialization E De Angelis, F Fioravanti, A Pettorossi, M Proietti Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013 | 20 | 2013 |
| Verifying array programs by transforming verification conditions E De Angelis, F Fioravanti, A Pettorossi, M Proietti Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 18 | 2014 |
| Verification of imperative programs by constraint logic program transformation E De Angelis, F Fioravanti, A Pettorossi, M Proietti arXiv preprint arXiv:1309.5139, 2013 | 13 | 2013 |
| Predicate pairing for program verification E De Angelis, F Fioravanti, A Pettorossi, M Proietti Theory and Practice of Logic Programming 18 (2), 126-166, 2018 | 12 | 2018 |
| CHC-COMP 2022: competition report E De Angelis arXiv preprint arXiv:2211.12231, 2022 | 11 | 2022 |
| A rule-based verification strategy for array manipulating programs E De Angelis, F Fioravanti, A Pettorossi, M Proietti Fundamenta Informaticae 140 (3-4), 329-355, 2015 | 11 | 2015 |
| Specialization with constrained generalization for software model checking E De Angelis, F Fioravanti, A Pettorossi, M Proietti Logic-Based Program Synthesis and Transformation: 22nd International …, 2013 | 11 | 2013 |
| Synthesizing concurrent programs using answer set programming E De Angelis, A Pettorossi, M Proietti Fundamenta Informaticae 120 (3-4), 205-229, 2012 | 11 | 2012 |
| Removing algebraic data types from constrained Horn clauses using difference predicates E De Angelis, F Fioravanti, A Pettorossi, M Proietti International Joint Conference on Automated Reasoning, 83-102, 2020 | 10 | 2020 |
| Program verification using constraint handling rules and array constraint generalizations E De Angelis, F Fioravanti, A Pettorossi, M Proietti Fundamenta Informaticae 150 (1), 73-117, 2017 | 9 | 2017 |
| Verifying catamorphism-based contracts using constrained Horn clauses E De Angelis, M Proietti, F Fioravanti, A Pettorossi Theory and Practice of Logic Programming 22 (4), 555-572, 2022 | 8 | 2022 |
| Lemma generation for Horn clause satisfiability: A preliminary study E De Angelis, F Fioravanti, A Pettorossi, M Proietti arXiv preprint arXiv:1908.07188, 2019 | 7 | 2019 |
| Property-based test case generators for free E De Angelis, F Fioravanti, A Palacios, A Pettorossi, M Proietti Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019 | 7 | 2019 |
Maurizio ProiettiResearch Scientist, CNR-IASI, ItalyVerified email at iasi.cnr.it
