Daniele Compare

According to our database, Daniele Compare authored at least 5 papers between 1996 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach.

Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2004

Automated Performance Validation of Software Design: An Industrial Experience.

Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.

Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani

Proceedings of the FME 2003: Formal Methods, 2003

1999

Uncovering Architectural Mismatch in Component Behavior.

Daniele Compare, Paola Inverardi, Alexander L. Wolf

Sci. Comput. Program., 1999

1996

Modelling Interoperability by CHAM: A Case Study.

Paola Inverardi, Daniele Compare

Proceedings of the Coordination Languages and Models, First International Conference, 1996