C2 – Composition and Abstraction with Explications

Project C2 harvests foundational advances on quantitative behavioural properties related to component suitability, putting in focus how formal and empirical approaches can be integrated towards a comprehensive and reliable understanding of quantitative system properties. We will concentrate on performance properties (like latency, execution time, energy consumption) and compositional reasoning at the level of features, i.e., where the characteristics of features are encapsulated in components. For this, Project C2 provides explications to identify limitations and to come to new conclusions regarding the influence of noise, uncertainty, configurability, and non-determinism, addressing feature interactions in formal and empirical models.

Principal Investigators

Principal Investigator
Saarland University
Principal Investigator
Technische Universität Dresden
Principal Investigator
Saarland University

Members

Member
Technische Universität Dresden

Researchers

Lena Becker
( , )
Sebastian Biewer
( , , )
Calvin Chau
( , )
Martin Diller
( , )
Juan A. Fraire
( , )
Felix Freiberger
( , )
Nazareno Garagiola
( )
Sascha Klüppelholz
( , , )
Nikolai Käfer
( , )
Maximilian Köhl
( , , )
Johannes Lehmann
( , )
Andreas Schmidt
( , )
Timm Spork
( , )
Gregory Stock
( , )
Kallistos Weis
( , )
Dominic Zimmer
( , )

Past Contributors

Principal Investigators

Principal Investigator
Technische Universität Dresden

Researchers

Kevin Baum
( )
Timo Speith
( )
Sarah Sterz
( )

Publications