Janis Kröger

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Asynchronous Circuits

Decision Process

Top Venues

Innov. Syst. Softw. Eng.

Publications

Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle
Contract-based specification of mode-dependent timing behavior. Innov. Syst. Softw. Eng. 20 (1) (2024)
Astrid Rakow, Janis Kröger
Roles and Responsibilities for a Predictable Update Process - A Position Paper. VECoS (2021)
Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Fränzle
Handling of Operating Modes in Contract-Based Timing Specifications. VECoS (2021)
Houssem Guissouma, Janis Kröger, Sebastian Vander Maelen, Eric Sax
Extension of Contracts for Variability Modeling and Incremental Update Checks of Cyber Physical Systems. ISSE (2021)