From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. - Maximilian Schwenger; Álvaro Torralba; Jörg Hoffmann 001; David M. Howcroft; Vera Demberg (COLING, 2016)

Real-time Stream-based Monitoring. - Peter Faymonville; Bernd Finkbeiner; Maximilian Schwenger; Hazem Torfah (CoRR, 2017)

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. - Peter Faymonville; Bernd Finkbeiner; Malte Schledjewski; Maximilian Schwenger; Marvin Stenger; Leander Tentrup; Hazem Torfah (CAV (1), 2019)

FPGA Stream-Monitoring of Real-time Properties. - Jan Baumeister; Bernd Finkbeiner; Maximilian Schwenger; Hazem Torfah (ACM Trans. Embed. Comput. Syst., 2019)

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. - Jan Baumeister; Bernd Finkbeiner; Sebastian Schirmer; Maximilian Schwenger; Christoph Torens (CAV (2), 2020)

Automatic Optimizations for Stream-Based Monitoring Languages. - Jan Baumeister; Bernd Finkbeiner; Matthis Kruse; Maximilian Schwenger (RV, 2020)

Verified Rust Monitors for Lola Specifications. - Bernd Finkbeiner; Stefan Oswald; Noemi Passing; Maximilian Schwenger (RV, 2020)

Monitoring Cyber-Physical Systems: From Design to Integration. - Maximilian Schwenger (RV, 2020)

RTLola on Board: Testing Real Driving Emissions on your Phone. - Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns; Maximilian A. Köhl; Yannik Schnitzer; Maximilian Schwenger (TACAS (2), 2021)

Conservative Hybrid Automata from Development Artifacts. - Niklas Metzger 001; Sanny Schmitt; Maximilian Schwenger (CoRR, 2021)

From LTL to rLTL monitoring: improved monitorability through robust semantics. - Corto Mascle; Daniel Neider; Maximilian Schwenger; Paulo Tabuada; Alexander Weinert; Martin Zimmermann 002 (Formal Methods Syst. Des., 2021)

Statically-analyzed stream monitoring for cyber-physical Systems. - Maximilian Schwenger (2022)

On the road with RTLola. - Sebastian Biewer; Bernd Finkbeiner; Holger Hermanns; Maximilian A. Köhl; Yannik Schnitzer; Maximilian Schwenger (Int. J. Softw. Tools Technol. Transf., 2023)