Research output per year
Research output per year
Fingerprint
Dive into the research topics where Benedikt Maderbacher is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Adaptive testing for specification coverage and refinement in CPS models
Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N. & Nickovic, D., Nov 2022, In: Nonlinear Analysis: Hybrid Systems. 46, 16 p., 101254.Research output: Contribution to journal › Article › peer-review
Open Access -
Reactive Synthesis Modulo Theories using Abstraction Refinement
Maderbacher, B. & Bloem, R., 2022, Proceedings of the 22nd Formal Methods in Computer-Aided Design, FMCAD 2022. TU Wien Academic Press, p. 315-324 (Conference Series: Formal Methods in Computer-Aided Design; vol. 3).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
Adaptive Testing for Specification Coverage in CPS Models
Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N. & Nickovic, D., 1 Jul 2021, In: IFAC-PapersOnLine. 54, 5, p. 229-234 6 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Placement of Runtime Checks to Counteract Fault Injections
Maderbacher, B., Karl, A. F. & Bloem, R., Oct 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings: 20th International Conference, RV 2020. Deshmukh, J. & Nickovic, D. (eds.). Springer Nature Switzerland AG, p. 241-258 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12399 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
Step-Wise Development of Provably Correct Actor Systems
Aichernig, B. & Maderbacher, B., Oct 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Nature Switzerland AG, p. 426-448 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile
Activities
- 1 Talk at conference or symposium
-
Placement of Runtime Checks to Counteract Fault Injections
Benedikt Maderbacher (Speaker)
7 Oct 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science