Jan Baumeister

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Formal Verification

Activity Monitoring

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. CAV (2) (2024)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned. CoRR (2024)
Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
Monitoring with verified guarantees. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski
Real-time Visualization of Stream-based Monitoring Data. CoRR (2022)
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski
Real-Time Visualization of Stream-Based Monitoring Data. RV (2022)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
A Temporal Logic for Asynchronous Hyperproperties. CoRR (2021)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
A Temporal Logic for Asynchronous Hyperproperties. CAV (1) (2021)
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
Automatic Optimizations for Stream-Based Monitoring Languages. RV (2020)
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CAV (2) (2020)
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
FPGA Stream-Monitoring of Real-time Properties. CoRR (2020)
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
Automatic Optimizations for Stream-based Monitoring Languages. CoRR (2020)
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CoRR (2020)
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
FPGA Stream-Monitoring of Real-time Properties. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)