Extension of Contracts for Variability Modeling and Incremental Update Checks of Cyber Physical Systems. - Houssem Guissouma; Janis Kröger; Sebastian Vander Maelen; Eric Sax (ISSE, 2021)

Handling of Operating Modes in Contract-Based Timing Specifications. - Janis Kröger; Björn Koopmann; Ingo Stierand; Nadra Tabassam; Martin Fränzle (VECoS, 2021)

Roles and Responsibilities for a Predictable Update Process - A Position Paper. - Astrid Rakow; Janis Kröger (VECoS, 2021)

Contract-based specification of mode-dependent timing behavior. - Janis Kröger; Björn Koopmann; Ingo Stierand; Martin Fränzle (Innov. Syst. Softw. Eng., 2024)