Items where Author is "Schwenger, Maximilian"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 15.

Finkbeiner, Bernd and Keller, Andreas and Schmidt, Jessica and Schwenger, Maximilian
(2021) Robust Monitoring for Medical Cyber-Physical Systems.
In: 11th Workshop on Medical Cyber Physical Systems and Internet of Medical Things.
Conference: MCPS Medical Cyber Physical Systems and Internet of Medical Things Workshop

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.
In: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2021.
Conference: TACAS Tools and Algorithms for Construction and Analysis of Systems

Schwenger, Maximilian
(2020) Monitoring Cyber-Physical Systems: From Design to Integration.
In: RV 2020.
Conference: RV International Conference on Runtime Verification (was workshop pre 2010)

Finkbeiner, Bernd and Oswald, Stefan and Passing, Noemi and Schwenger, Maximilian
(2020) Verified Rust Monitors for Lola Specifications.
In: RV 2020.
Conference: RV International Conference on Runtime Verification (was workshop pre 2010)

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: 20th International Conference on Runtime Verification, 06-09 October 2020.
Conference: RV International Conference on Runtime Verification (was workshop pre 2010)
(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.
In: HSCC 2020, April 21-14 2020, Sydney, Australia.
Conference: HSCC ACM International Conference on Hybrid Systems: Computation and Control

Finkbeiner, Bernd and Schmidt, Jessica and Schwenger, Maximilian
(2020) Simplex Architecture Meets RTLola.
In: 5th Workshop on Monitoring and Testing of Cyber-Physical Systems, April 13-22 2020, Sydney.
Conference: MT-CPS WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS

Baumeister, Jan and Finkbeiner, Bernd and Schirmer, Sebastian and Schwenger, Maximilian and Torens, Christoph
(2020) RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II.
Conference: CAV Computer Aided Verification

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.
In: 4th Workshop on Monitoring and Testing of Cyber-Physical Systems.
Conference: MT-CPS WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS

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.
In: Computer Aided Verification - 31th International Conference, CAV.
Conference: CAV Computer Aided Verification

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.
In: COLING 2016, 26th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, December 11-16, 2016, Osaka, Japan.
Conference: COLING International Conference on Computational Linguistics

This list was generated on Tue Apr 23 17:16:58 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.