| Reactive Synthesis Modulo Theories using Abstraction Refinement. B Maderbacher, R Bloem FMCAD, 315-324, 2022 | 31* | 2022 |
| Bounded synthesis of register transducers A Khalimov, B Maderbacher, R Bloem Automated Technology for Verification and Analysis: 16th International …, 2018 | 24 | 2018 |
| Adaptive testing for specification coverage in CPS models E Bartocci, R Bloem, B Maderbacher, N Manjunath, D Ničković IFAC-PapersOnLine 54 (5), 229-234, 2021 | 11 | 2021 |
| Adaptive testing for specification coverage and refinement in CPS models E Bartocci, R Bloem, B Maderbacher, N Manjunath, D Ničković Nonlinear Analysis: Hybrid Systems 46, 101254, 2022 | 5 | 2022 |
| Provable correct and adaptive simplex architecture for bounded-liveness properties B Maderbacher, S Schupp, E Bartocci, R Bloem, D Ničković, B Könighofer International Symposium on Model Checking Software, 141-160, 2023 | 3 | 2023 |
| Placement of Runtime Checks to Counteract Fault Injections B Maderbacher, AF Karl, R Bloem International Conference on Runtime Verification, 241-258, 2020 | 2 | 2020 |
| Synthesis from infinite-state generalized reactivity (1) specifications B Maderbacher, F Windisch, R Bloem International Symposium on Leveraging Applications of Formal Methods, 281-301, 2024 | 1 | 2024 |
| Step-wise development of provably correct actor systems BK Aichernig, B Maderbacher International Symposium on Leveraging Applications of Formal Methods, 426-448, 2020 | 1 | 2020 |
| Programming behavioral test models for SMT solving in Scala BK Aichernig, B Maderbacher, S Tiran 2019 IEEE International Conference on Software Testing, Verification and …, 2019 | 1 | 2019 |
| An adaptive, provable correct simplex architecture B Maderbacher, S Schupp, E Bartocci, R Bloem, D Ničković, B Könighofer International Journal on Software Tools for Technology Transfer, 1-19, 2025 | | 2025 |
| Synthesis of Controllers for Continuous Blackbox Systems B Maderbacher, F Windisch, A Larrauri, R Bloem International Conference on Verification, Model Checking, and Abstract …, 2025 | | 2025 |
Roderick BloemGraz University of Technology確認したメール アドレス: iaik.tugraz.at