Number of items: 15.
Finkbeiner, Bernd and Keller, Andreas and Schmidt, Jessica and Schwenger, Maximilian
(2021)
Robust Monitoring for Medical Cyber-Physical Systems.
Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger and Köhl, Maximilian A. and Schnitzer, Yannik and Schwenger, Maximilian
(2021)
RTLola on Board: Testing Real Driving Emissions on your Phone.
Schwenger, Maximilian
(2020)
Monitoring Cyber-Physical Systems: From Design to Integration.
Finkbeiner, Bernd and Oswald, Stefan and Passing, Noemi and Schwenger, Maximilian
(2020)
Verified Rust Monitors for Lola Specifications.
Schwenger, Maximilian
(2020)
Let’s not Trust Experience Blindly: Formal Monitoring of Humans and other CPS.
Masters thesis, Saarland University.
Baumeister, Jan and Finkbeiner, Bernd and Kruse, Matthis and Schwenger, Maximilian
(2020)
Automatic Optimizations for Stream-based Monitoring Languages.
(In Press)
Mascle, Corto and Neider, Daniel and Schwenger, Maximilian and Tabuada, Paulo and Weinert, Alexander and Zimmermann, Martin
(2020)
From LTL to rLTL Monitoring: Improved Monitorability Through Robust Semantics.
Finkbeiner, Bernd and Schmidt, Jessica and Schwenger, Maximilian
(2020)
Simplex Architecture Meets RTLola.
Baumeister, Jan and Finkbeiner, Bernd and Schirmer, Sebastian and Schwenger, Maximilian and Torens, Christoph
(2020)
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
Baumeister, Jan and Finkbeiner, Bernd and Schwenger, Maximilian and Torfah, Hazem
(2019)
FPGA Stream-Monitoring of Real-time Properties.
ACM Trans. Embed. Comput. Syst., 18 (5s).
88:1-88:24.
Faymonville, Peter and Finkbeiner, Bernd and Schledjewski, Malte and Schwenger, Maximilian and Tentrup, Leander and Torfah, Hazem
(2019)
Real-time Stream Monitoring with StreamLAB.
Faymonville, Peter and Finkbeiner, Bernd and Schledjewski, Malte and Schwenger, Maximilian and Stenger, Marvin and Tentrup, Leander and Torfah, Hazem
(2019)
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.
Faymonville, Peter and Finkbeiner, Bernd and Schwenger, Maximilian and Torfah, Hazem
(2017)
Real-time Stream-based Monitoring.
CoRR, abs/17.
Schwenger, Maximilian
(2016)
When a Sentence Falls apart. Using Heuristically Guided Dead End Detection in Natural Language Processing.
Bachelors thesis, Saarland University.
Schwenger, Maximilian and Torralba, Àlvaro and Hoffmann, Jörg and Howcroft, David M. and Demberg, Vera
(2016)
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation.
This list was generated on Tue Oct 15 17:55:56 2024 CEST.