No photo of Benedikt Maderbacher
20182021

Research activity per year

If you made any changes in Pure these will be visible here soon.

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 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 journalConference articlepeer-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 proceedingConference paperpeer-review

    Open Access
    File
  • 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 proceedingConference paperpeer-review

    Open Access
    File
  • Programming Behavioral Test Models for SMT Solving in Scala

    Aichernig, B., Maderbacher, B. & Tiran, S., 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019. IEEE Publications, p. 52-60

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

  • Bounded Synthesis of Register Transducers

    Khalimov, A., Maderbacher, B. & Bloem, R., 2018, Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018. Lahiri, S. & Wang, C. (eds.). p. 494-510 17 p. ( Lecture Notes in Computer Science; vol. 11138).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review