Janis Kröger

Orcid: 0009-0002-4146-340X

According to our database1, Janis Kröger authored at least 5 papers between 2021 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Ensuring Integration Conditions During the Update of Cyber-Physical Systems at Runtime.
Proceedings of the Formal Methods for Industrial Critical Systems, 2025

2024
Contract-based specification of mode-dependent timing behavior.
Innov. Syst. Softw. Eng., March, 2024

2021
Roles and Responsibilities for a Predictable Update Process - A Position Paper.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

Handling of Operating Modes in Contract-Based Timing Specifications.
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.
Proceedings of the IEEE International Symposium on Systems Engineering, 2021


  Loading...