 | 2006 |
|---|
| 5 |       | Daniela Colangelo,
Daniele Compare,
Paola Inverardi,
Patrizio Pelliccione:
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach.
FORTE 2006: 243-258 |
| 2004 |
|---|
| 4 | | Daniele Compare,
Antonio D'Onofrio,
Antinisca Di Marco,
Paola Inverardi:
Automated Performance Validation of Software Design: An Industrial Experience.
ASE 2004: 298-301 |
| 2003 |
|---|
| 3 | | Daniele Compare,
Paola Inverardi,
Patrizio Pelliccione,
Alessandra Sebastiani:
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.
FME 2003: 114-132 |
| 1999 |
|---|
| 2 |  | Daniele Compare,
Paola Inverardi,
Alexander L. Wolf:
Uncovering Architectural Mismatch in Component Behavior.
Sci. Comput. Program. 33(2): 101-131 (1999) |
| 1996 |
|---|
| 1 | | Paola Inverardi,
Daniele Compare:
Modelling Interoperability by CHAM: A Case Study.
COORDINATION 1996: 428-431 |
