Jan Baumeister

25 papers B 5Journal 14Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Type-safe Monitoring of Parameterized Streams.
CoRR
Jan Baumeister, Bernd Finkbeiner, Florian Kohn
2025 B conf
A ROS Adapter for RTLola.
RV
Jan Baumeister, Bernd Finkbeiner, Franz Jünger, Florian Kohn, Sebastian Schirmer, Christoph Torens
2025 J jnl
A Tutorial on Stream-based Monitoring.
CoRR
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer
2025 B conf
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach.
RV
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer
2025 J jnl
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach.
CoRR
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer
2025 — conf
An Intermediate Program Representation for Optimizing Stream-Based Languages.
CAV (3)
Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer
2025 J jnl
An Intermediate Program Representation for Optimizing Stream-Based Languages.
CoRR
Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer
2025 J jnl
Pacing Types: Safe Monitoring of Asynchronous Streams.
CoRR
Florian Kohn, Arthur Correnson, Jan Baumeister, Bernd Finkbeiner
2025 — conf
Stream-Based Monitoring of Algorithmic Fairness.
TACAS (1)
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil
2025 J jnl
Stream-Based Monitoring of Algorithmic Fairness.
CoRR
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil
2024 — conf
A Tutorial on Stream-Based Monitoring.
FM (2)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer
2024 — conf
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned.
CAV (2)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
2024 J jnl
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned.
CoRR
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
2024 B conf
RTLolaMo
RV
Jan Baumeister, Bernd Finkbeiner, Jan Kautenburger, Clara Rubeck
2023 J jnl
Monitoring with verified guarantees.
Int. J. Softw. Tools Technol. Transf.
Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
2022 B conf
Real-Time Visualization of Stream-Based Monitoring Data.
RV
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski
2022 J jnl
Real-time Visualization of Stream-based Monitoring Data.
CoRR
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski
2021 — conf
A Temporal Logic for Asynchronous Hyperproperties.
CAV (1)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2021 J jnl
A Temporal Logic for Asynchronous Hyperproperties.
CoRR
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
2020 B conf
Automatic Optimizations for Stream-Based Monitoring Languages.
RV
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
2020 J jnl
Automatic Optimizations for Stream-based Monitoring Languages.
CoRR
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
2020 J jnl
FPGA Stream-Monitoring of Real-time Properties.
CoRR
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
2020 — conf
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
CAV (2)
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
2020 J jnl
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
CoRR
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
2019 J jnl
FPGA Stream-Monitoring of Real-time Properties.
ACM Trans. Embed. Comput. Syst.
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah