Maximilian Schwenger

21 papers B 4Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
On the road with RTLola.
Int. J. Softw. Tools Technol. Transf.
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
2022 — —
Statically-analyzed stream monitoring for cyber-physical Systems.
Maximilian Schwenger
2021 J jnl
Conservative Hybrid Automata from Development Artifacts.
CoRR
Niklas Metzger, Sanny Schmitt, Maximilian Schwenger
2021 J jnl
From LTL to rLTL monitoring: improved monitorability through robust semantics.
Formal Methods Syst. Des.
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2021 — conf
RTLola on Board: Testing Real Driving Emissions on your Phone.
TACAS (2)
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
2021 J jnl
RTLola on Board: Testing Real Driving Emissions on your Phone.
CoRR
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
2020 B conf
Automatic Optimizations for Stream-Based Monitoring Languages.
RV
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
2020 J jnl
Automatic Optimizations for Stream-based Monitoring Languages.
CoRR
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
2020 J jnl
FPGA Stream-Monitoring of Real-time Properties.
CoRR
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
2020 — conf
From LTL to rLTL monitoring: improved monitorability through robust semantics.
HSCC
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2020 B conf
Monitoring Cyber-Physical Systems: From Design to Integration.
RV
Maximilian Schwenger
2020 J jnl
Monitoring Cyber-Physical Systems: From Design to Integration.
CoRR
Maximilian Schwenger
2020 — conf
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
CAV (2)
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
2020 J jnl
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
CoRR
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
2020 B conf
Verified Rust Monitors for Lola Specifications.
RV
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
2020 J jnl
Verified Rust Monitors for Lola Specifications.
CoRR
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
2019 J jnl
FPGA Stream-Monitoring of Real-time Properties.
ACM Trans. Embed. Comput. Syst.
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
2019 — conf
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.
CAV (1)
Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
2018 J jnl
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics.
CoRR
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2017 J jnl
Real-time Stream-based Monitoring.
CoRR
Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
2016 B conf
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation.
COLING
Maximilian Schwenger, Álvaro Torralba, Jörg Hoffmann, David M. Howcroft, Vera Demberg