| 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 | 85 | 2019 |
| A stream-based specification language for network monitoring P Faymonville, B Finkbeiner, S Schirmer, H Torfah International Conference on Runtime Verification, 152-168, 2016 | 72 | 2016 |
| Model checking quantitative hyperproperties B Finkbeiner, C Hahn, H Torfah International Conference on Computer Aided Verification, 144-163, 2018 | 48 | 2018 |
| Real-time stream-based monitoring P Faymonville, B Finkbeiner, M Schwenger, H Torfah arXiv preprint arXiv:1711.03829, 2017 | 42* | 2017 |
| Probabilistic Hyperproperties of Markov Decision Processes R Dimitrova, B Finkbeiner, H Torfah International Symposium on Automated Technology for Verification and Analysis, 2020 | 33 | 2020 |
| 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 | 33 | 2019 |
| Runtime monitors for Markov decision processes S Junges, H Torfah, SA Seshia International Conference on Computer Aided Verification, 553-576, 2021 | 20 | 2021 |
| SOTER on ROS: A run-time assurance framework on the robot operating system S Shivakumar, H Torfah, A Desai, SA Seshia Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020 | 17 | 2020 |
| Canonical Representations of k-Safety Hyperproperties B Finkbeiner, L Haas, H Torfah 2019 IEEE 32st Computer Security Foundations Symposium (CSF), 2019 | 17 | 2019 |
| Counting models of linear-time temporal logic B Finkbeiner, H Torfah Language and Automata Theory and Applications: 8th International Conference …, 2014 | 11 | 2014 |
| The complexity of counting models of linear-time temporal logic H Torfah, M Zimmermann Acta Informatica 55 (3), 191-212, 2018 | 10 | 2018 |
| The complexity of counting models of linear-time temporal logic H Torfah, M Zimmermann IARCS Annual Conference on Foundations of Software Technology and …, 2014 | 10* | 2014 |
| Formal analysis of AI-based autonomy: from modeling to runtime assurance H Torfah, S Junges, DJ Fremont, SA Seshia International Conference on Runtime Verification, 311-330, 2021 | 9 | 2021 |
| Learning Monitorable Operational Design Domains for Assured Autonomy H Torfah, C Xie, S Junges, M Vazquez-Chanlatte, SA Seshia International Symposium on Automated Technology for Verification and …, 2022 | 8 | 2022 |
| Synthesizing pareto-optimal interpretations for black-box models H Torfah, S Shah, S Chakraborty, S Akshay, SA Seshia Formal Methods in Computer-Aided Design, 153-162, 2021 | 8 | 2021 |
| Synthesizing Approximate Implementations for Unrealizable Specifications R Dimitrova, B Finkbeiner, H Torfah International Conference on Computer Aided Verification, 241-258, 2019 | 8 | 2019 |
| Stream-based monitors for real-time properties H Torfah Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 8 | 2019 |
| The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems H Kress-Gazit, H Torfah Workshop on formal reasoning about Causation, Responsibility, and …, 2018 | 7 | 2018 |
| Explainable Reactive Synthesis T Baumeister, B Finkbeiner, H Torfah International Symposium on Automated Technology for Verification and …, 2020 | 6 | 2020 |
| The density of linear-time properties B Finkbeiner, H Torfah International Symposium on Automated Technology for Verification and …, 2017 | 5 | 2017 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证
