Maximilian Schwenger
Maximilian Schwenger
CISPA Helmholtz Center for Information Security
Verified email at cispa.saarland - Homepage
Title
Cited by
Cited by
Year
Real-time stream-based monitoring
P Faymonville, B Finkbeiner, M Schwenger, H Torfah
arXiv preprint arXiv:1711.03829, 2017
24*2017
Streamlab: Stream-based monitoring of cyber-physical systems
P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, M Stenger, ...
International Conference on Computer Aided Verification, 421-431, 2019
232019
FPGA stream-monitoring of real-time properties
J Baumeister, B Finkbeiner, M Schwenger, H Torfah
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-24, 2019
142019
Let’s not Trust Experience Blindly: Formal Monitoring of Humans and other CPS
M Schwenger
Saarland University, 2019
62019
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
J Baumeister, B Finkbeiner, S Schirmer, M Schwenger, C Torens
International Conference on Computer Aided Verification, 2020
42020
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation
M Schwenger, A Torralba, J Hoffmann, DM Howcroft, V Demberg
Proceedings of COLING 2016, the 26th International Conference on …, 2016
42016
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
C Mascle, D Neider, M Schwenger, P Tabuada, A Weinert, ...
HSCC'20: 23rd ACM International Conference on Hybrid Systems: Computation …, 2020
2*2020
Verified rust monitors for lola specifications
B Finkbeiner, S Oswald, N Passing, M Schwenger
International Conference on Runtime Verification, 431-450, 2020
12020
Simplex architecture meets RTLola
B Finkbeiner, J Schmidt, M Schwenger
MT-CPS, 2020
12020
On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB
J Baumeister, B Finkbeiner, M Schwenger, H Torfah
CyberCardia@ ESWeek, 2019
12019
Automatic Optimizations for Stream-Based Monitoring Languages
J Baumeister, B Finkbeiner, M Kruse, M Schwenger
International Conference on Runtime Verification, 451-461, 2020
2020
Monitoring Cyber-Physical Systems: From Design to Integration
M Schwenger
International Conference on Runtime Verification, 87-106, 2020
2020
When a Sentence Falls apart. Using Heuristically Guided Dead End Detection in Natural Language Processing.
M Schwenger
Saarland University, 2016
2016
Using AI Planning Techniques in OpenCCG: Detecting Infeasible Composites in Sentence Generation
M Schwenger, A Torralba, J Hoffmann, D Howcroft, V Demberg
German Conference on Artificial Intelligence, 2016
2016
When a Sentence falls apart. . . Using heuristically guided dead end detection in sentence realization
M Schwenger
Saarland University, 2015
2015
Runtime Verification of Critical Web-Based Systems with Lola
M Hofmann, B Finkbeiner, M Schwenger
Real-time Stream Monitoring with StreamLAB
P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, L Tentrup, ...
The system can't perform the operation now. Try again later.
Articles 1–17