Benedikt Maderbacher

According to our database, Benedikt Maderbacher authored at least 8 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.

Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer

Proceedings of the Model Checking Software - 29th International Symposium, 2023

2022

Reactive Synthesis Modulo Theories using Abstraction Refinement.

Benedikt Maderbacher, Roderick Bloem

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Adaptive Testing for Specification Coverage in CPS Models.

Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Adaptive Testing for Specification Coverage.

Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic

CoRR, 2020

Placement of Runtime Checks to Counteract Fault Injections.

Benedikt Maderbacher, Anja F. Karl, Roderick Bloem

Proceedings of the Runtime Verification - 20th International Conference, 2020

Step-Wise Development of Provably Correct Actor Systems.

Bernhard K. Aichernig, Benedikt Maderbacher

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2019

Programming Behavioral Test Models for SMT Solving in Scala.

Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018

Bounded Synthesis of Register Transducers.

Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem

Proceedings of the Automated Technology for Verification and Analysis, 2018