Dr. Maximilian Schwenger

While being a member of this group or in collaboration with us.

• Automatic Optimizations for Runtime Verification Specifications
  Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Stefan Oswald, Noemi Passing and Maximilian Schwenger · MT-CPS 2021
• Robust Monitoring for Medical Cyber-Physical Systems
  Bernd Finkbeiner, Andreas Keller, Jessica Schmidt and Maximilian Schwenger · MedCPS 2021
• RTLola on Board: Testing Real Driving Emissions on your Phone
  Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian Köhl, Yannik Schnitzer and Maximilian Schwenger · TACAS 2021
• Automatic Optimizations for Stream-based Monitoring Languages
  Jan Baumeister, Bernd Finkbeiner, Matthis Kruse and Maximilian Schwenger · RV 2020
• Monitoring Cyber-Physical Systems: From Design to Integration
  Maximilian Schwenger · RV 2020
• Verified Rust Monitors for Lola Specifications
  Bernd Finkbeiner, Stefan Oswald, Noemi Passing and Maximilian Schwenger · RV 2020
• RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
  Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger and Christoph Torens · CAV 2020
• From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
  Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert and Martin Zimmermann · HSCC 2020
• Simplex Architecture Meets RTLola
  Bernd Finkbeiner, Jessica Schmidt and Maximilian Schwenger · MT-CPS 2020
• FPGA Stream-Monitoring of Real-time Properties
  Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger and Hazem Torfah · EMSOFT 2019
• On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB
  Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger and Hazem Torfah · CyberCardia 2019
• StreamLAB: Stream-based Monitoring of Cyber-physical Systems
  Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup and Hazem Torfah · CAV 2019
• Real-time Stream Monitoring with StreamLAB
  Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Leander Tentrup and Hazem Torfah · MT-CPS 2019

While being a member of this group or in collaboration with us.

• Let’s not Trust Experience Blindly: Formal Monitoring of Humans and other CPS
  Maximilian Schwenger · UdS (Master Thesis)