Kristin Rutenkolk

Orcid: 0000-0002-6751-0369

Affiliations:

According to our database¹, Kristin Rutenkolk authored at least 3 papers between 2020 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

A verified low-level implementation and visualization of the adaptive exterior light and speed control system.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., June, 2024

2023

Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2020

A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020