No photo of Benedikt Maderbacher
20182020

Research output 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.
  • 2 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • 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 contribution

    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 contribution

    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 contribution

  • 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 contribution

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