Bounded Synthesis of Register Transducers. - Ayrat Khalimov 001; Benedikt Maderbacher; Roderick Bloem (ATVA, 2018)

Programming Behavioral Test Models for SMT Solving in Scala. - Bernhard K. Aichernig; Benedikt Maderbacher; Stefan Tiran (ICST Workshops, 2019)

Step-Wise Development of Provably Correct Actor Systems. - Bernhard K. Aichernig; Benedikt Maderbacher (ISoLA (1), 2020)

Placement of Runtime Checks to Counteract Fault Injections. - Benedikt Maderbacher; Anja F. Karl; Roderick Bloem (RV, 2020)

Adaptive Testing for Specification Coverage. - Ezio Bartocci; Roderick Bloem; Benedikt Maderbacher; Niveditha Manjunath; Dejan Nickovic (CoRR, 2020)

Adaptive Testing for Specification Coverage in CPS Models. - Ezio Bartocci; Roderick Bloem; Benedikt Maderbacher; Niveditha Manjunath; Dejan Nickovic (ADHS, 2021)

Reactive Synthesis Modulo Theories using Abstraction Refinement. - Benedikt Maderbacher; Roderick Bloem (FMCAD, 2022)

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. - Benedikt Maderbacher; Stefan Schupp; Ezio Bartocci; Roderick Bloem; Dejan Nickovic; Bettina Könighofer (SPIN, 2023)

Synthesis from Infinite-State Generalized Reactivity(1) Specifications. - Benedikt Maderbacher; Felix Windisch; Roderick Bloem (ISoLA (4), 2024)

Synthesis of Controllers for Continuous Blackbox Systems (artifact). - Benedikt Maderbacher; Felix Windisch; Alberto Larrauri; Roderick Bloem (Zenodo, 2024)

Synthesis of Controllers for Continuous Blackbox Systems. - Benedikt Maderbacher; Felix Windisch; Alberto Larrauri; Roderick Bloem (VMCAI (2), 2025)