Maximilian Schwenger

According to our database, Maximilian Schwenger authored at least 13 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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., April, 2023

2022

Statically-analyzed stream monitoring for cyber-physical Systems.

Maximilian Schwenger

PhD thesis, 2022

2021

From LTL to rLTL monitoring: improved monitorability through robust semantics.

Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann

Formal Methods Syst. Des., 2021

Conservative Hybrid Automata from Development Artifacts.

Niklas Metzger, Sanny Schmitt, Maximilian Schwenger

CoRR, 2021

RTLola on Board: Testing Real Driving Emissions on your Phone.

Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Monitoring Cyber-Physical Systems: From Design to Integration.

Maximilian Schwenger

Proceedings of the Runtime Verification - 20th International Conference, 2020

Verified Rust Monitors for Lola Specifications.

Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger

Proceedings of the Runtime Verification - 20th International Conference, 2020

Automatic Optimizations for Stream-Based Monitoring Languages.

Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger

Proceedings of the Runtime Verification - 20th International Conference, 2020

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.

Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

FPGA Stream-Monitoring of Real-time Properties.

Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah

ACM Trans. Embed. Comput. Syst., 2019

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.

Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2017

Real-time Stream-based Monitoring.

Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah

CoRR, 2017

2016

From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation.

Maximilian Schwenger, Álvaro Torralba, Jörg Hoffmann, David M. Howcroft, Vera Demberg

Proceedings of the COLING 2016, 2016