Modelling Interoperability by CHAM: A Case Study. - Paola Inverardi; Daniele Compare (COORDINATION, 1996)

Uncovering Architectural Mismatch in Component Behavior. - Daniele Compare; Paola Inverardi; Alexander L. Wolf (Sci. Comput. Program., 1999)

Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. - Daniele Compare; Paola Inverardi; Patrizio Pelliccione; Alessandra Sebastiani (FME, 2003)

Automated Performance Validation of Software Design: An Industrial Experience. - Daniele Compare; Antonio D'Onofrio; Antinisca Di Marco; Paola Inverardi (ASE, 2004)

Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. - Daniela Colangelo; Daniele Compare; Paola Inverardi; Patrizio Pelliccione (FORTE, 2006)