| 2008 |
|---|
| 28 | EE | Andrea Baruzzo,
Marco Comini:
A Methodology for UML Models V&V.
ICST 2008: 513-516 |
| 27 | EE | Demis Ballis,
Andrea Baruzzo,
Marco Comini:
A Minimalist Visual Notation for Design Patterns and Antipatterns.
ITNG 2008: 51-56 |
| 26 | EE | Marco Comini,
Ferruccio Damiani,
Samuel Vrech:
On Polymorphic Recursion, Type Systems, and Abstract Interpretation.
SAS 2008: 144-158 |
| 25 | EE | Demis Ballis,
Andrea Baruzzo,
Marco Comini:
A Rule-based Method to Match Software Patterns Against UML Models.
Electr. Notes Theor. Comput. Sci. 219: 51-66 (2008) |
| 2003 |
|---|
| 24 | EE | Marco Comini,
Roberta Gori,
Giorgio Levi,
Paolo Volpe:
Abstract interpretation based verification of logic programs.
Sci. Comput. Program. 49(1-3): 89-123 (2003) |
| 2002 |
|---|
| 23 | EE | María Alpuente,
Marco Comini,
Santiago Escobar,
Moreno Falaschi,
Salvador Lucas:
Abstract Diagnosis of Functional Programs.
LOPSTR 2002: 1-16 |
| 22 | EE | Marco Comini,
Moreno Falaschi:
Preface.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 2001 |
|---|
| 21 | EE | Marco Comini,
Roberta Gori,
Giorgio Levi:
How to Transform an Analyzer into a Verifier.
LPAR 2001: 595-609 |
| 20 | EE | Marco Comini,
Roberta Gori,
Giorgio Levi:
Logic programs as specifications in the inductive verification of logic programs.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 19 | | Marco Comini,
Giorgio Levi,
Maria Chiara Meo:
A Theory of Observables for Logic Programs.
Inf. Comput. 169(1): 23-80 (2001) |
| 2000 |
|---|
| 18 | EE | Marco Comini,
Roberta Gori,
Giorgio Levi:
Assertion based Inductive Verification Methods for Logic Programs.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 1999 |
|---|
| 17 | | Marco Comini,
Wlodzimierz Drabent,
Pawel Pietrzak:
Diagnosis of CHIP Programs Using Type Information.
APPIA-GULP-PRODE 1999: 337-350 |
| 16 | EE | Marco Comini,
Roberta Gori,
Giorgio Levi,
Paolo Volpe:
Abstract Interpretation based Verification of Logic Programs.
Electr. Notes Theor. Comput. Sci. 30(1): (1999) |
| 15 | | Marco Comini,
Giorgio Levi,
Maria Chiara Meo,
Giuliana Vitiello:
Abstract Diagnosis.
J. Log. Program. 39(1-3): 43-93 (1999) |
| 14 | EE | Marco Comini,
Maria Chiara Meo:
Compositionality Properties of SLD-Derivations.
Theor. Comput. Sci. 211(1-2): 275-309 (1999) |
| 1998 |
|---|
| 13 | | Marco Comini,
Giorgio Levi,
Giuliana Vitiello:
Modular Abstract Diagnosis.
APPIA-GULP-PRODE 1998: 409-420 |
| 1997 |
|---|
| 12 | | Germán Puebla,
Marco Comini,
Wlodzimierz Drabent,
Mireille Ducassé,
Massimo Fabris,
Christian Schulte:
Tools and Environments for (Constraint) Logic Programming (Workshop Overview).
ILPS 1997: 417-418 |
| 1996 |
|---|
| 11 | | Roberto Bagnara,
Marco Comini,
Francesca Scozzari,
Enea Zaffanella:
The And-compositionality of CLP Computed Answer Constraints.
APPIA-GULP-PRODE 1996: 355-366 |
| 10 | | Marco Comini,
Giorgio Levi,
Maria Chiara Meo,
Giuliana Vitiello:
Proving Properties of Logic Programs by Abstract Diagnosis.
LOMAPS 1996: 22-50 |
| 1995 |
|---|
| 9 | | Marco Comini,
Giorgio Levi,
Giuliana Vitiello:
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs.
AADEBUG 1995: 159-174 |
| 8 | | Giorgio Levi,
Marco Comini,
Giuliana Vitiello:
On the Abstract Diagnosis of Logic Programs.
GULP-PRODE 1995: 41-60 |
| 7 | | Marco Comini,
Giorgio Levi,
Maria Chiara Meo:
Compositionality in SLD-derivations and their Abstractions.
GULP-PRODE 1995: 533-544 |
| 6 | | Marco Comini,
Giorgio Levi,
Giuliana Vitiello:
Declarative Diagnosis Revisited.
GULP-PRODE 1995: 607-618 |
| 5 | | Marco Comini,
Giorgio Levi,
Giuliana Vitiello:
Declarative Diagnosis Revisited.
ILPS 1995: 275-287 |
| 4 | | Marco Comini,
Giorgio Levi,
Maria Chiara Meo:
Compositionality in SLD-Derivations and their Abstractions.
ILPS 1995: 561-575 |
| 1994 |
|---|
| 3 | | Marco Comini,
Giorgio Levi:
An Algebraic Theory of Observables.
GULP-PRODE (1) 1994: 170-186 |
| 2 | | Marco Comini,
Giorgio Levi,
Giuliana Vitiello:
Abstract Debugging of Logic Program.
META 1994: 440-450 |
| 1 | | Marco Comini,
Giorgio Levi:
An Algebraic Theory of Observables.
SLP 1994: 172-186 |
