| 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 | 95 | 2019 |
| 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 | 46 | 2020 |
| Real-time stream-based monitoring P Faymonville, B Finkbeiner, M Schwenger, H Torfah arXiv preprint arXiv:1711.03829, 2017 | 45* | 2017 |
| 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 | 37 | 2019 |
| Verified rust monitors for lola specifications B Finkbeiner, S Oswald, N Passing, M Schwenger International Conference on Runtime Verification, 431-450, 2020 | 24 | 2020 |
| 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 | 19 | 2020 |
| 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 | 16 | 2021 |
| Let’s not Trust Experience Blindly: Formal Monitoring of Humans and other CPS M Schwenger Saarland University, 2019 | 12 | 2019 |
| 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 | 8 | 2023 |
| Monitoring cyber-physical systems: From design to integration M Schwenger International Conference on Runtime Verification, 87-106, 2020 | 8 | 2020 |
| 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 | 6 | 2021 |
| Automatic optimizations for stream-based monitoring languages J Baumeister, B Finkbeiner, M Kruse, M Schwenger International Conference on Runtime Verification, 451-461, 2020 | 6 | 2020 |
| 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 | 5 | 2016 |
| Statically-analyzed stream monitoring for cyber-physical Systems. M Schwenger Saarland University, Saarbrücken, Germany, 2022 | 3 | 2022 |
| Computer Aided Verification L D’Antoni, M Helfrich, J Kretinsky, E Ramneantu, M Weininger, ... | 2 | 2000 |
| Simplex architecture meets RTLola B Finkbeiner, J Schmidt, M Schwenger MT-CPS, 2020 | 1 | 2020 |
| On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB J Baumeister, B Finkbeiner, M Schwenger, H Torfah CyberCardia@ ESWeek, 2019 | 1 | 2019 |
| Blame-Preserving Secure Compilation M Patrignani, M Kruse January, 2023 | | 2023 |
| Conservative Hybrid Automata from Development Artifacts N Metzger, S Schmitt, M Schwenger arXiv preprint arXiv:2111.05613, 2021 | | 2021 |
| RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft S Schirmer, M Schwenger, C Torens arXiv preprint arXiv:2004.06488, 2020 | | 2020 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security確認したメール アドレス: cispa.de