Bernhard Aichernig

Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.

1995 …2025

Research activity per year

Fingerprint

Dive into the research topics where Bernhard Aichernig is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • AI Assisted Programming: (AISoLA 2024 Track Introduction)

    Ahrendt, W., Aichernig, B. K. & Havelund, K., 2025, Bridging the Gap Between AI and Reality - 2nd International Conference, AISoLA 2024, Proceedings. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 101-106 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15217 LNCS).

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

  • AI-Assisted Programming with Test-Based Refinement

    Aichernig, B. K. & Havelund, K., 2025, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Selected Papers. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 385-411 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14129 LNCS).

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

    Open Access
  • Hierarchical Learning of Generative Automaton Models from Sequential Data

    von Berg, B., Aichernig, B. K., Rindler, M., Stern, D. & Tappler, M., 2025, Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Proceedings. Madeira, A. & Knapp, A. (eds.). p. 215-233 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15280 LNCS).

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

  • Active Model Learning of Git Version Control System

    Muskardin, E., Burgstaller, T., Tappler, M. & Aichernig, B. K., 17 Sept 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, p. 78-82 5 p. (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).

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

  • Active model learning of stochastic reactive systems (extended version)

    Muškardin, E., Tappler, M., Aichernig, B. K. & Pill, I., Apr 2024, In: Software and Systems Modeling. 23, 2, p. 503-524 22 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access