Jan Baumeister

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens

CoRR, 2024

2023

Monitoring with verified guarantees.

Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer

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

2022

Real-Time Visualization of Stream-Based Monitoring Data.

Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski

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

2021

A Temporal Logic for Asynchronous Hyperproperties.

Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez

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

2020

Automatic Optimizations for Stream-Based Monitoring Languages.

Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger

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

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.

Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens

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

2019

FPGA Stream-Monitoring of Real-time Properties.

Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah

ACM Trans. Embed. Comput. Syst., 2019