מאמרים עם הרשאות לגישה ציבורית - Maximilian Schwengerלמידע נוסף
זמינים באתר כלשהו: 12
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
הרשאות: German Research Foundation, European Commission
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
הרשאות: German Research Foundation, European Commission
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
הרשאות: German Research Foundation, European Commission
Verified rust monitors for lola specifications
B Finkbeiner, S Oswald, N Passing, M Schwenger
International Conference on Runtime Verification, 431-450, 2020
הרשאות: German Research Foundation, European Commission
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
הרשאות: US National Science Foundation, German Research Foundation, UK Engineering …
RTLola on board: testing real driving emissions on your phone
S Biewer, B Finkbeiner, H Hermanns, MA Köhl, Y Schnitzer, M Schwenger
International Conference on Tools and Algorithms for the Construction and …, 2021
הרשאות: German Research Foundation, European Commission
On the road with RTLola: Testing real driving emissions on your phone
S Biewer, B Finkbeiner, H Hermanns, MA Köhl, Y Schnitzer, M Schwenger
International Journal on Software Tools for Technology Transfer 25 (2), 205-218, 2023
הרשאות: German Research Foundation, European Commission
Monitoring cyber-physical systems: from design to integration
M Schwenger
International Conference on Runtime Verification, 87-106, 2020
הרשאות: German Research Foundation, European Commission
Robust monitoring for medical cyber-physical systems
B Finkbeiner, A Keller, J Schmidt, M Schwenger
Proceedings of the Workshop on Medical Cyber Physical Systems and Internet …, 2021
הרשאות: German Research Foundation, European Commission
Automatic optimizations for stream-based monitoring languages
J Baumeister, B Finkbeiner, M Kruse, M Schwenger
International Conference on Runtime Verification, 451-461, 2020
הרשאות: German Research Foundation, European Commission
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
הרשאות: German Research Foundation
On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB
J Baumeister, B Finkbeiner, M Schwenger, H Torfah
CyberCardia@ ESWeek, 2019
הרשאות: German Research Foundation, European Commission
המידע על הפרסום ועל הגורמים המממנים נקבע באופן אוטומטי על ידי תוכנת מחשב