Maximilian Schwenger

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 20

Top Topics

Hybrid Automata

Continuous Stream

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
On the road with RTLola. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
RTLola on Board: Testing Real Driving Emissions on your Phone. TACAS (2) (2021)
Niklas Metzger, Sanny Schmitt, Maximilian Schwenger
Conservative Hybrid Automata from Development Artifacts. CoRR (2021)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
RTLola on Board: Testing Real Driving Emissions on your Phone. CoRR (2021)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL monitoring: improved monitorability through robust semantics. Formal Methods Syst. Des. 59 (1) (2021)
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
Automatic Optimizations for Stream-Based Monitoring Languages. RV (2020)
Maximilian Schwenger
Monitoring Cyber-Physical Systems: From Design to Integration. CoRR (2020)
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
Verified Rust Monitors for Lola Specifications. CoRR (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)
Maximilian Schwenger
Monitoring Cyber-Physical Systems: From Design to Integration. RV (2020)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL monitoring: improved monitorability through robust semantics. HSCC (2020)
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
Verified Rust Monitors for Lola Specifications. RV (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)
Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. CAV (1) (2019)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. CoRR (2018)
Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
Real-time Stream-based Monitoring. CoRR (2017)
Maximilian Schwenger, Álvaro Torralba, Jörg Hoffmann, David M. Howcroft, Vera Demberg
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. COLING (2016)