Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Model-Based Software Performance Analysis

Software Engineering for Self-Adaptive Systems