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 Pettorossi A., in the category Journal Articles
(or show them all): (Items found: 54)
2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2006 | 2005 | 2004 | 2002 | 2000 | 1999 | 1998 | 1996 | 1995 | 1994 | 1993 | 1989 | 1987 | 1985 | 1984 | 1982 | 1981 | 1980
2020 [top]
- Alberto Pettorossi: A Historical Account of My Early Research Interests, Electronic Proceedings in Theoretical Computer Science, Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, http://dx.doi.org/10.4204/EPTCS.320.1, 2020
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
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
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
- 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]
- Danvy O., Henglein F., Mairson H.G., Alberto Pettorossi: Editorial for the Special Issue Dedicated to Bob Paige, Higher-Order and Symbolic Computation 18 (1-2), 5-6, 2005
- Alberto Pettorossi, Maurizio Proietti: Program Transformation: Theoretical Foundations and Basic Techniques. Part 1, Fundamenta Informaticae 66, i-iii, 2005
- Alberto Pettorossi, Maurizio Proietti, Renault S.: Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism, Higher-Order and Symbolic Computation 18 (1-2), 121-210, 2005
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]
1989 [top]
1987 [top]
- Labella A., Alberto Pettorossi: Categories For Modelling Communicating Processes, Computers and Artificial Intelligence 6 (3), 279-296, 1987
- Alberto Pettorossi: Derivation of Efficient Programs For Computing Sequences of Actions, Theoretical Computer Science 53, 151-167, 1987
1985 [top]
- Labella A., Alberto Pettorossi: Categorical Models for Handshaking Communications, Fundamenta Informaticae 8 (3/4), 321-357, 1985
- Alberto Pettorossi: A Note on Cohen's 'Eliminating Redundant Recursive Calls', ACM Transactions on Programming Languages and Systems 7 (4), 1985
- Alberto Pettorossi: Towers of Hanoi problems: deriving iterative solutions by program transformation, Bit 25, 327-334, 1985
1984 [top]
1982 [top]
- Alberto Pettorossi: Tree Rewriting Systems, Combinatory Logic, and Type Free Languages, Fundamenta Informaticae 5 (3/4), 279-299, 1982
- Alberto Pettorossi, Burstall R.M.: Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique, Acta Informatica 18, 181-206, 1982
1981 [top]
- Alberto Pettorossi: A Property which Guarantees Termination in Weak Combinatory Logic and Subtree Replacement Systems, Notre Dame Journal of Logic 22, 344-356, 1981
1980 [top]
- Alberto Pettorossi: Derivation of an $\cal O(k^2\log n)$ algorithm for computing order-k Fibonacci numbers from the $\cal O(k^3 \log n)$ matrix multiplication method, Information Processing Letters 11 (4/5), 172-179, 1980
|
