Extracting, specifying and predicting software system properties in component based real-time embedded software development. - Ji Eun Kim; Oliver Rogalla; Simon Kramer 003; Arne Hamann 001 (ICSE Companion, 2009)

Demo Abstract: Demonstration of the FMTV 2016 Timing Verification Challenge. - Arne Hamann 001; Dirk Ziegenbein; Simon Kramer 003; Martin Lukasiewycz (RTAS, 2016)

Communication Centric Design in Complex Automotive Embedded Systems. - Arne Hamann 001; Dakshina Dasari; Simon Kramer 003; Michael Pressler; Falk Wurst (ECRTS, 2017)