Jan Baumeister

Orcid: 0000-0002-8891-7483

According to our database¹, Jan Baumeister authored at least 9 papers between 2019 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

RTLolaMo<sup>3</sup>Vis - A Mobile and Modular Visualization Framework for Online Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 24th International Conference, 2024

A Tutorial on Stream-Based Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Monitoring with verified guarantees.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., August, 2023

2022

Real-Time Visualization of Stream-Based Monitoring Data.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 22nd International Conference, 2022

2021

A Temporal Logic for Asynchronous Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Automatic Optimizations for Stream-Based Monitoring Languages.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

FPGA Stream-Monitoring of Real-time Properties.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Jan Baumeister

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...