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 IASI Research Reports
(or show them all): (Items found: 53)
2019 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1995 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1983 | 1981
2019 [top]
2016 [top]
2015 [top]
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Proving Horn Clause Specifications of Imperative Programs, IASI-CNR, R. 15-09, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, IASI-CNR, R. 15-08, 2015
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automated Verification of Relational Program Properties, IASI-CNR, R. 15-07, 2015
2014 [top]
2013 [top]
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, IASI-CNR, R. 13-12, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification via Iterated Specialization, IASI-CNR, R. 13-11, 2013
2012 [top]
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Programs via Iterated Specialization, IASI-CNR, R. 12-22, 2012
- Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Using Answer Set Programming Solvers to Synthesize Concurrent Programs, IASI-CNR, R. 12-19, 2012
2011 [top]
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Constraint-Based Correctness Proofs for Logic Program Transformations, IASI-CNR, R. 11-24, 2011
- Fioravanti F., Maurizio Proietti, Alberto Pettorossi, Senni V.: A Constraint-Based Transformation for Verifying Infinite State Systems, IASI-CNR, R. 11-23, 2011
2010 [top]
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, IASI-CNR, R. 10-21, 2010
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformations of logic programs on infinite lists, IASI-CNR, R. 10-04, 2010
2009 [top]
- Alberto Pettorossi, Maurizio Proietti, Senni V.: The Transformational Approach to Program Development, IASI-CNR, R. 09-06, 2009
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Deciding Full Branching Time Logic by Program Transformation, IASI-CNR, R. 09-04, 2009
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformational Verification of Linear Temporal Logic, IASI-CNR, R. 09-03, 2009
2008 [top]
2007 [top]
2006 [top]
2003 [top]
2002 [top]
2001 [top]
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of sets of infinite state processes using program transformation, IASI-CNR, R. 557, 11/2001
- Alberto Pettorossi, Maurizio Proietti, Renault S.: Derivation of efficient logic programs by specialization and reduction of nondeterminism, IASI-CNR, R. 551, 07/2001
- Alberto Pettorossi, Maurizio Proietti: Program Derivation = Rules + Strategies, IASI-CNR, R. 547, 04/2001
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying CTL properties of infinite state systems by specializing constraint logic programs, IASI-CNR, R. 544, 1/2001
2000 [top]
1999 [top]
1998 [top]
- Renault S., Alberto Pettorossi, Maurizio Proietti: Design, implementation, and use of the MAP transformation system, IASI-CNR, R. 491, 12/1998
- Alberto Pettorossi, Maurizio Proietti: The list introduction strategy for the automatic derivation of programs, IASI-CNR, R. 472, 10/1998
1997 [top]
1995 [top]
1993 [top]
1992 [top]
1991 [top]
1990 [top]
1989 [top]
1988 [top]
1987 [top]
1986 [top]
1985 [top]
1984 [top]
- Alberto Pettorossi, Skowron A.: Higher order communications for concurrent programming., IASI-CNR, R. 94, 07/1984
- Alberto Pettorossi: A powerful strategy for deriving efficient programs by transformations., IASI-CNR, R. 93, 07/1984
- Labella A., Alberto Pettorossi: Categorical models for hand-shaking communications., IASI-CNR, R. 90, 05/1984
- Alberto Pettorossi: A note on Cohen's paper: eliminating redundant recursive calls., IASI-CNR, R. 83, 03/1984
- Alberto Pettorossi: Towers of Hanoi problems: deriving the iterative solutions using the program transformation technique., IASI-CNR, R. 82, 03/1984
1983 [top]
1981 [top]
- Alberto Pettorossi, Skowron A.: The role of mathematics in the era of electronic computers., IASI-CNR, R. 24, 11/1981
- Alberto Pettorossi: Communications among processes as join operations in a lattice., IASI-CNR, R. 23, 11/1981
- Alberto Pettorossi: An algorithm for reducing memory requirements in recursive programs using annotations., IASI-CNR, R. 6, 03/1981
|
