Suivre
Benedikt Maderbacher
Benedikt Maderbacher
Graz University of Technology
Adresse e-mail validée de iaik.tugraz.at
Titre
Citée par
Citée par
Année
Bounded synthesis of register transducers
A Khalimov, B Maderbacher, R Bloem
Automated Technology for Verification and Analysis: 16th International …, 2018
212018
Reactive synthesis modulo theories using abstraction refinement
B Maderbacher, R Bloem
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2022, 315, 2022
32022
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
22021
Placement of Runtime Checks to Counteract Fault Injections
B Maderbacher, AF Karl, R Bloem
International Conference on Runtime Verification, 241-258, 2020
22020
Step-wise development of provably correct actor systems
BK Aichernig, B Maderbacher
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
12020
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
12019
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
2022
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–7