Benedikt Maderbacher
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2018–2025
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | VMCAI | Synthesis of Controllers for Continuous Blackbox Systems. | Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem |
| 2024 | ISoLA | Synthesis from Infinite-State Generalized Reactivity(1) Specifications. | Benedikt Maderbacher, Felix Windisch, Roderick Bloem |
| 2022 | FMCAD | Reactive Synthesis Modulo Theories using Abstraction Refinement. | Benedikt Maderbacher, Roderick Bloem |
| 2020 | ISoLA | Step-Wise Development of Provably Correct Actor Systems. | Bernhard K. Aichernig, Benedikt Maderbacher |
| 2020 | RV | Placement of Runtime Checks to Counteract Fault Injections. | Benedikt Maderbacher, Anja F. Karl, Roderick Bloem |
| 2019 | ICST | Programming Behavioral Test Models for SMT Solving in Scala. | Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran |
| 2018 | ATVA | Bounded Synthesis of Register Transducers. | Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem |