Maximilian Schwenger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2016–2021
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | TACAS | RTLola on Board: Testing Real Driving Emissions on your Phone. | Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Khl, Yannik Schnitzer, Maximilian Schwenger |
| 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 |
| 2020 | RV | Verified Rust Monitors for Lola Specifications. | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
| 2020 | RV | Monitoring Cyber-Physical Systems: From Design to Integration. | Maximilian Schwenger |
| 2019 | CAV | StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. | Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah |
| 2016 | COLING | From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. | Maximilian Schwenger, lvaro Torralba, Jrg Hoffmann, David M. Howcroft, Vera Demberg |