This page shows all publications that appeared in the IASI annual research reports.
Authors currently affiliated with the Institute are always listed with the full name.
You can browse through them using either the links of the following line or those associated with
author names.
Show all publications of the year
ALL, with author Proietti M., in the category Journal Articles
(or show them all): (Items found: 45)
2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2006 | 2005 | 2004 | 2002 | 2000 | 1999 | 1998 | 1996 | 1995 | 1994 | 1993
2020 [top] 2019 [top]
- Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Semantics and controllability of time-aware business processes, Fundamenta Informaticae 165, 2019
- Emanuele De Angelis, Fioravanti F., Palacios A., Alberto Pettorossi, Maurizio Proietti: Property-Based Test Case Generators for Free, Lecture Notes in Computer Science 11823, 186-206, 2019
2018 [top]
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Predicate Pairing for Program Verification, Theory and Practice of Logic Programming 18, 126-166, 2018
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Predicate pairing with abstraction for relational verification, Lecture Notes in Computer Science 10855, 289-305, 2018
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Solving Horn Clauses on Inductive Data Types Without Induction, Theory and Practice of Logic Programming 18, 452-469, 2018
2017 [top]
- Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Verifying Controllability of Time-Aware Business Processes, Lecture Notes in Computer Science 10364, 103-118, 2017
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, Fundamenta Informaticae 150 (1), 73-117, 2017
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Semantics-based generation of verification conditions via program specialization, Science of Computer Programming 147, 78-108, 2017
- Maurizio Proietti, Seki H., Woodcock J: Editorial of the Special Issue on LOPSTR'14, Formal Aspects of Computing 29, 1-2, 2017
2016 [top]
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Horn Clause Transformation for Program Verification, Newsletter of the Association for Logic Programming, https://www.cs.nmsu.edu/ALP/2016/09, 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Relational Verification Through Horn Clause Transformation, Lecture Notes in Computer Science 9837, 147-169, 2016
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Semantics-based generation of verification conditions via program specialization, Science of Computer Programming, http://www.scopus.com/record/display.url?eid=2-s2.0-85007497655&origin=inward, 2016
2015 [top]
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: A Rule-based Verification Strategy for Array Manipulating Programs, Fundamenta Informaticae 140, 329-355, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses, Theory and Practice of Logic Programming 15, 635-650, 2015
- Fioravanti F., Maurizio Proietti, Senni V.: Efficient generation of test data structures using constraint logic programming and program transformation, Journal of Logic and Computation 25, 1263-1283, 2015
2014 [top]
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program verification via iterated specialization, Science of Computer Programming 95, 149-175, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, Lecture Notes in Computer Science 8318, 182-202, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: VeriMAP: A tool for verifying programs through transformations, Lecture Notes in Computer Science 8413, 568-574, 2014
2013 [top]
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Specialization with Constrained Generalization for Software Model Checking, Lecture Notes in Computer Science Vol. 7844, pp. 51-70, 2013
- Diamantini C., Potena D., Maurizio Proietti, Smith F., Storti E., Francesco Taglino: A Semantic Framework for Knowledge Management in Virtual Innovation Factories, International Journal of Information System Modeling and Design Vol 4(4), 70-92, 2013
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, Theory and Practice of Logic Programming 13, 175-199, 2013
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Controlling Polyvariance for Specialization-based Verification, Fundamenta Informaticae 124, 483-502, 2013
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Proving Theorems by Program Transformation, Fundamenta Informaticae 127 (1-4), 115-134, 2013
2012 [top]
- Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Synthesizing Concurrent Programs Using Answer Set Programming, Fundamenta Informaticae 120, 205-229, 2012
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Improving Reachability Analysis of Infinite State Systems by Specialization, Fundamenta Informaticae 119, 281-300, 2012
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Constraint-Based Correctness Proofs for Logic Program Transformations, Formal Aspects of Computing 24, 569-594, 2012
2011 [top] 2010 [top] 2009 [top] 2008 [top] 2006 [top] 2005 [top] 2004 [top] 2002 [top] 2000 [top] 1999 [top] 1998 [top] 1996 [top] 1995 [top]
- Maurizio Proietti, Alberto Pettorossi: Unfolding-Definition-Folding, in this Order, for Avoiding Unnecessary Variables in Logic Programs, Theoretical Computer Science 142 (1), 89-124, 1995
1994 [top] 1993 [top]
|