Benedikt Maderbacher

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 10

Top Topics

Provably Correct

Modulo Theories

Top Venues

Publications

Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. SPIN (2023)
Benedikt Maderbacher, Roderick Bloem
Reactive Synthesis Modulo Theories using Abstraction Refinement. FMCAD (2022)
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
Adaptive Testing for Specification Coverage in CPS Models. ADHS (2021)
Benedikt Maderbacher, Roderick Bloem
Reactive Synthesis Modulo Theories Using Abstraction Refinement. CoRR (2021)
Bernhard K. Aichernig, Benedikt Maderbacher
Step-Wise Development of Provably Correct Actor Systems. ISoLA (1) (2020)
Benedikt Maderbacher, Anja F. Karl, Roderick Bloem
Placement of Runtime Checks to Counteract Fault Injections. RV (2020)
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
Adaptive Testing for Specification Coverage. CoRR (2020)
Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran
Programming Behavioral Test Models for SMT Solving in Scala. ICST Workshops (2019)
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
Bounded Synthesis of Register Transducers. ATVA (2018)
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
Bounded Synthesis of Register Transducers. CoRR (2018)