Janis Kröger

According to our database, Janis Kröger authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

Contract-based specification of mode-dependent timing behavior.

Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle

Innov. Syst. Softw. Eng., March, 2024

2021

Roles and Responsibilities for a Predictable Update Process - A Position Paper.

Astrid Rakow, Janis Kröger

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

Handling of Operating Modes in Contract-Based Timing Specifications.

Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Fränzle

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

Extension of Contracts for Variability Modeling and Incremental Update Checks of Cyber Physical Systems.

Houssem Guissouma, Janis Kröger, Sebastian Vander Maelen, Eric Sax

Proceedings of the IEEE International Symposium on Systems Engineering, 2021