Benedikt Maderbacher

2019202020212022202320243 8 10 10 18 6

Public access

1 article

0 articles

available

not available

Based on funding mandates

Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
Niveditha ManjunathSenior System Test Engineer, DB Netz AGVerified email at deutschebahn.com
Ayrat KhalimovTU ClausthalVerified email at tu-clausthal.de
Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaVerified email at iaik.tugraz.at
Stefan TiranStudent, Graz, University of TechnologyVerified email at ist.tugraz.at
Stefan SchuppFormal Verification @Apple

Benedikt Maderbacher

Verified email at iaik.tugraz.at


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Bounded synthesis of register transducers A Khalimov, B Maderbacher, R Bloem Automated Technology for Verification and Analysis: 16th International …, 2018	24	2018
Reactive Synthesis Modulo Theories using Abstraction Refinement. B Maderbacher, R Bloem FMCAD, 315-324, 2022	15	2022
Adaptive testing for specification coverage in CPS models E Bartocci, R Bloem, B Maderbacher, N Manjunath, D Ničković IFAC-PapersOnLine 54 (5), 229-234, 2021	8	2021
Provable correct and adaptive simplex architecture for bounded-liveness properties B Maderbacher, S Schupp, E Bartocci, R Bloem, D Ničković, B Könighofer International Symposium on Model Checking Software, 141-160, 2023	2	2023
Adaptive testing for specification coverage and refinement in CPS models E Bartocci, R Bloem, B Maderbacher, N Manjunath, D Ničković Nonlinear Analysis: Hybrid Systems 46, 101254, 2022	2	2022
Placement of Runtime Checks to Counteract Fault Injections B Maderbacher, AF Karl, R Bloem International Conference on Runtime Verification, 241-258, 2020	2	2020
Step-wise development of provably correct actor systems BK Aichernig, B Maderbacher International Symposium on Leveraging Applications of Formal Methods, 426-448, 2020	1	2020
Programming behavioral test models for SMT solving in Scala BK Aichernig, B Maderbacher, S Tiran 2019 IEEE International Conference on Software Testing, Verification and …, 2019	1	2019

The system can't perform the operation now. Try again later.

Articles 1–8

Citations per year