| Verified Rust Monitors for Lola Specifications B Finkbeiner, S Oswald, N Passing, M Schwenger | 20 | 2020 |
| Temporal stream logic modulo theories B Finkbeiner, P Heim, N Passing International Conference on Foundations of Software Science and Computation …, 2022 | 18 | 2022 |
| Specification Decomposition for Reactive Synthesis B Finkbeiner, G Geier, N Passing NASA Formal Methods Symposium, 113-130, 2021 | 18 | 2021 |
| Compositional synthesis of modular systems B Finkbeiner, N Passing Innovations in Systems and Software Engineering, 1-15, 2022 | 16* | 2022 |
| Dependency-based compositional synthesis B Finkbeiner, N Passing International Symposium on Automated Technology for Verification and …, 2020 | 16* | 2020 |
| Synthesizing Dominant Strategies for Liveness B Finkbeiner, N Passing 42nd IARCS Annual Conference on Foundations of Software Technology and …, 2022 | 6* | 2022 |
| Reactive synthesis of smart contract control flows B Finkbeiner, J Hofmann, F Kohn, N Passing International Symposium on Automated Technology for Verification and …, 2023 | 3 | 2023 |
| BOCoSy: Small but Powerful Symbolic Output-Feedback Control B Finkbeiner, K Mallik, N Passing, M Schledjewski, AK Schmuck Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022 | 2 | 2022 |
| Compositional synthesis of reactive systems NE Passing Saarländische Universitäts-und Landesbibliothek, 2023 | | 2023 |
| Automatic Optimizations for Runtime Verification Specifications J Baumeister, B Finkbeiner, M Kruse, S Oswald, N Passing, M Schwenger | | 2021 |
| Representing Pattern Matching Algorithms by Polynomial-Size Automata T Marschall, NE Passing arXiv preprint arXiv:1607.00138, 2016 | | 2016 |
| Advanced Runtime Analysis of Pattern Matching Algorithms NE Passing Universität des Saarlandes Saarbrücken, 2015 | | 2015 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
