Jan Baumeister
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
4
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Pacing Types for Asynchronous Stream Equations. | Florian Kohn, Arthur Correnson, Jan Baumeister, Bernd Finkbeiner |
| 2025 | CAV | An Intermediate Program Representation for Optimizing Stream-Based Languages. | Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer |
| 2025 | RV | A ROS Adapter for RTLola. | Jan Baumeister, Bernd Finkbeiner, Franz Jnger, Florian Kohn, Sebastian Schirmer, Christoph Torens |
| 2025 | RV | Active Monitoring with RTLola: A Specification-Guided Scheduling Approach. | Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer |
| 2025 | TACAS | Stream-Based Monitoring of Algorithmic Fairness. | Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil |
| 2024 | CAV | Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. | Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Lhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens |
| 2024 | FM | A Tutorial on Stream-Based Monitoring. | Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer |
| 2024 | RV | RTLolaMo | Jan Baumeister, Bernd Finkbeiner, Jan Kautenburger, Clara Rubeck |
| 2022 | RV | Real-Time Visualization of Stream-Based Monitoring Data. | Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski |
| 2021 | CAV | A Temporal Logic for Asynchronous Hyperproperties. | Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, Csar Snchez |
| 2020 | CAV | RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. | Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens |
| 2020 | RV | Automatic Optimizations for Stream-Based Monitoring Languages. | Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger |