Benedikt Maderbacher

According to our database, Benedikt Maderbacher authored at least 11 papers between 2018 and 2025.

Collaborative distances:

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

2025

Synthesis of Controllers for Continuous Blackbox Systems.

Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024

Synthesis of Controllers for Continuous Blackbox Systems (artifact).

Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem

Dataset, October, 2024

Synthesis from Infinite-State Generalized Reactivity(1) Specifications.

Benedikt Maderbacher, Felix Windisch, Roderick Bloem

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

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