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., Pettorossi A., Maurizio Proietti: Semantics and controllability of time-aware business processes, Fundamenta Informaticae 165, 2019
- Emanuele De Angelis, Fioravanti F., Palacios A., Pettorossi A., 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., Pettorossi A., Maurizio Proietti: Predicate Pairing for Program Verification, Theory and Practice of Logic Programming 18, 126-166, 2018
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Predicate pairing with abstraction for relational verification, Lecture Notes in Computer Science 10855, 289-305, 2018
- Emanuele De Angelis, Fioravanti F., Pettorossi A., 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., Pettorossi A., Maurizio Proietti: Verifying Controllability of Time-Aware Business Processes, Lecture Notes in Computer Science 10364, 103-118, 2017
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, Fundamenta Informaticae 150 (1), 73-117, 2017
- Emanuele De Angelis, Fioravanti F., Pettorossi A., 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., Pettorossi A., 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., Pettorossi A., Maurizio Proietti: Relational Verification Through Horn Clause Transformation, Lecture Notes in Computer Science 9837, 147-169, 2016
- Emanuele De Angelis, Fioravanti F., Pettorossi A., 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., Pettorossi A., Maurizio Proietti: A Rule-based Verification Strategy for Array Manipulating Programs, Fundamenta Informaticae 140, 329-355, 2015
- Emanuele De Angelis, Fioravanti F., Pettorossi A., 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., Pettorossi A., Maurizio Proietti: Program verification via iterated specialization, Science of Computer Programming 95, 149-175, 2014
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, Lecture Notes in Computer Science 8318, 182-202, 2014
- Emanuele De Angelis, Fioravanti F., Pettorossi A., 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., Pettorossi A., 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., Pettorossi A., 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., Pettorossi A., Maurizio Proietti, Senni V.: Controlling Polyvariance for Specialization-based Verification, Fundamenta Informaticae 124, 483-502, 2013
- Fioravanti F., Pettorossi A., Maurizio Proietti, Senni V.: Proving Theorems by Program Transformation, Fundamenta Informaticae 127 (1-4), 115-134, 2013
2012 [top]
- Emanuele De Angelis, Pettorossi A., Maurizio Proietti: Synthesizing Concurrent Programs Using Answer Set Programming, Fundamenta Informaticae 120, 205-229, 2012
- Fioravanti F., Pettorossi A., Maurizio Proietti, Senni V.: Improving Reachability Analysis of Infinite State Systems by Specialization, Fundamenta Informaticae 119, 281-300, 2012
- Pettorossi A., 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]
- Pettorossi A., Maurizio Proietti: Totally Correct Logic Program Transformations Via Well-Founded Annotations, Higher-Order and Symbolic Computation 21, 193-235, 2008
2006 [top]
- Pettorossi A., Maurizio Proietti: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2., Fundamenta Informaticae 69, i-iii, 2006
2005 [top]
2004 [top]
- Pettorossi A., Maurizio Proietti: Transformations of logic programs with goals as arguments, Theory and Practice of Logic Programming 4, 495-537, 2004
2002 [top]
2000 [top]
1999 [top]
- Pettorossi A., Maurizio Proietti: Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs, Journal of Logic Programming 41, 197-230, 1999
1998 [top]
1996 [top]
1995 [top]
- Maurizio Proietti, Pettorossi A.: 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]
- Maurizio Proietti, Pettorossi A.: An Abstract Strategy for Transforming Logic Programs, Fundamenta Informaticae 18 (2--4), 267-282, 1993
- Maurizio Proietti, Pettorossi A.: The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction, Journal of Logic Programming 16 (1--2), 123-161, 1993
|
