Kein Foto von Benedikt Maderbacher
20182022

Publikationen pro Jahr

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint

Ergründen Sie die Forschungsthemen, in denen Benedikt Maderbacher aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
  • 1 Ähnliche Profile

Netzwerk

Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
  • 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. (Hrsg.). S. 494-510 17 S. ( Lecture Notes in Computer Science; Band 11138).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

  • 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, S. 52-60

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

  • Placement of Runtime Checks to Counteract Fault Injections

    Maderbacher, B., Karl, A. F. & Bloem, R., Okt. 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings: 20th International Conference, RV 2020. Deshmukh, J. & Nickovic, D. (Hrsg.). Springer Nature Switzerland AG, S. 241-258 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12399 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Open Access
    Datei
  • Step-Wise Development of Provably Correct Actor Systems

    Aichernig, B. & Maderbacher, B., Okt. 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. (Hrsg.). Springer Nature Switzerland AG, S. 426-448 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12476 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Open Access
    Datei
  • Adaptive Testing for Specification Coverage in CPS Models

    Bartocci, E., Bloem, R., Maderbacher, B., Manjunath, N. & Nickovic, D., 1 Juli 2021, in: IFAC-PapersOnLine. 54, 5, S. 229-234 6 S.

    Publikation: Beitrag in einer FachzeitschriftKonferenzartikelBegutachtung

    Open Access