Benedikt Maderbacher

14 papers B 3Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Parameterized Infinite-State Reactive Synthesis.
Proc. ACM Program. Lang.
Benedikt Maderbacher, Roderick Bloem
2025 J jnl
Parameterized Infinite-State Reactive Synthesis.
CoRR
Benedikt Maderbacher, Roderick Bloem
2025 — conf
Synthesis of Controllers for Continuous Blackbox Systems.
VMCAI (2)
Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem
2024 — conf
Synthesis from Infinite-State Generalized Reactivity(1) Specifications.
ISoLA (4)
Benedikt Maderbacher, Felix Windisch, Roderick Bloem
2023 — conf
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.
SPIN
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
2022 B conf
Reactive Synthesis Modulo Theories using Abstraction Refinement.
FMCAD
Benedikt Maderbacher, Roderick Bloem
2021 — conf
Adaptive Testing for Specification Coverage in CPS Models.
ADHS
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
2021 J jnl
Reactive Synthesis Modulo Theories Using Abstraction Refinement.
CoRR
Benedikt Maderbacher, Roderick Bloem
2020 J jnl
Adaptive Testing for Specification Coverage.
CoRR
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
2020 B conf
Placement of Runtime Checks to Counteract Fault Injections.
RV
Benedikt Maderbacher, Anja F. Karl, Roderick Bloem
2020 — conf
Step-Wise Development of Provably Correct Actor Systems.
ISoLA (1)
Bernhard K. Aichernig, Benedikt Maderbacher
2019 — conf
Programming Behavioral Test Models for SMT Solving in Scala.
ICST Workshops
Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran
2018 B conf
Bounded Synthesis of Register Transducers.
ATVA
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
2018 J jnl
Bounded Synthesis of Register Transducers.
CoRR
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem