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 IASI Research Reports
(or show them all): (Items found: 49)
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
2019 [top]
2016 [top]
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Semantics-based generation of verification conditions via program specialization, IASI-CNR, R. 16-09, 2016
- Emanuele De Angelis, Fioravanti F., Meo M.C., Alberto Pettorossi, Maurizio Proietti: Verifying Controllability of Time-Aware Business Processes, IASI-CNR, R. 16-08, 2016
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]
- Emanuele De Angelis, Fioravanti F., Navas J, Maurizio Proietti: Verification of Programs by Combining Iterated Specialization with Interpolation, IASI-CNR, R. 14-08, 2014
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: A Rule-based Verification Strategy for Array Manipulating Programs, IASI-CNR, R. 14-07, 2014
- Maurizio Proietti, Seki H.: Logic-Based Program Synthesis and Transformation, Preliminary Proceedings, IASI-CNR, R. 14-03, 2014
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
- Fioravanti F., Maurizio Proietti, Senni V.: Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation, IASI-CNR, R. 13-10, 2013
2012 [top]
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Programs via Iterated Specialization, IASI-CNR, R. 12-22, 2012
- Smith F., Maurizio Proietti: Rule-Based Behavioral Reasoning on Semantic Business Processes, IASI-CNR, R. 12-21, 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]
- Michele Missikoff, Maurizio Proietti, Smith F.: Querying semantically annotated business processes, IASI-CNR, R. 10-22, 2010
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, IASI-CNR, R. 10-21, 2010
- Michele Missikoff, Maurizio Proietti, Smith F.: Linking Ontologies to Business Process Schemas, IASI-CNR, R. 10-20, 2010
- Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformations of logic programs on infinite lists, IASI-CNR, R. 10-04, 2010
2009 [top]
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, R. 09-09, 2009
- De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, R. 09-07, 2009
- 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] |
