Login / Signup
Janis Kröger
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Cyber Physical
Asynchronous Circuits
Decision Process
Data Warehouse
Top Venues
VECoS
Innov. Syst. Softw. Eng.
ISSE
</>
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)