Research output per year
Research output 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 proceeding › Conference paper › peer-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 proceeding › Conference paper › peer-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 proceeding › Conference paper › peer-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 proceeding › Conference paper › peer-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 journal › Article › peer-review
Open Access
Activities
-
Step-wise Development of Provably Correct Actor Systems
Aichernig, B. (Speaker)
25 Oct 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Creating Digital Twins through Model Learning and Testing
Aichernig, B. (Speaker)
4 Oct 2021Activity: Talk or presentation › Invited talk at conference or symposium › Science to public
-
Learning Models for Test Automation Mastering the Complexity of Testing via Explainable AI
Aichernig, B. (Speaker)
20 May 2021Activity: Talk or presentation › Invited talk › Science to public
-
Learning-based Testing: Combining Model Learning and Model-based Testing
Aichernig, B. (Speaker)
20 Oct 2020Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Programming Behavioral Test Models for SMT Solving in Scala
Aichernig, B. (Speaker)
22 Apr 2019Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
Prizes
-
Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems
Aichernig, B. (Recipient), Bloem, R. (Recipient), Ebrahimi, M. (Recipient), Horn, M. (Recipient), Pernkopf, F. (Recipient), Roth, W. (Recipient), Rupp, A. (Recipient), Tappler, M. (Recipient) & Tranninger, M. (Recipient), Oct 2019
Prize: Prizes / Medals / Awards
-
Best paper award SEFM 2020
Martins Gomes, R. (Recipient), Aichernig, B. (Recipient) & Baunach, M. C. (Recipient), 17 Sept 2020
Prize: Prizes / Medals / Awards
-
SEFM 2021 - Best Paper Award
Tappler, M. (Recipient), Muskardin, E. (Recipient), Aichernig, B. (Recipient) & Pill, I. H. (Recipient), Dec 2021
Prize: Prizes / Medals / Awards
-
TAYSIR Competition: First place
Muskardin, E. (Recipient), Tappler, M. (Recipient) & Aichernig, B. (Recipient), 2023
Prize: Prizes / Medals / Awards
-
TASTE - Transformative AI-Assisted Testing in Industrial Mobile Robotics
Aichernig, B. (Co-Investigator (CoI))
1/10/24 → 30/09/26
Project: Research project
-
ML4RDE - Machine lerarning for real driving emissions
Aichernig, B. (Co-Investigator (CoI))
1/02/23 → 31/01/24
Project: Research project
-
AIDOaRT - AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in CPSs
Aichernig, B. (Co-Investigator (CoI))
1/04/21 → 30/09/24
Project: Research project
-
LearnTwins - Learning Digital Twins for the Validation and Verification of Dependable Cyber-PhysicalSystems
Aichernig, B. (Co-Investigator (CoI))
1/12/20 → 30/11/23
Project: Research project
-
Dependable Internet of Things
Boano, C. A. (Co-Investigator (CoI)), Kubin, G. (Co-Investigator (CoI)), Bloem, R. (Co-Investigator (CoI)), Horn, M. (Co-Investigator (CoI)), Pernkopf, F. (Co-Investigator (CoI)), Zakany, N. (Co-Investigator (CoI)), Mangard, S. (Co-Investigator (CoI)), Witrisal, K. (Co-Investigator (CoI)), Römer, K. U. (Co-Investigator (CoI)), Aichernig, B. (Co-Investigator (CoI)), Bösch, W. (Co-Investigator (CoI)), Baunach, M. C. (Co-Investigator (CoI)), Tappler, M. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Weiser, S. (Co-Investigator (CoI)), Eichlseder, M. (Co-Investigator (CoI)), Leitinger, E. (Co-Investigator (CoI)), Grosinger, J. (Co-Investigator (CoI)), Großwindhager, B. (Co-Investigator (CoI)), Ebrahimi, M. (Co-Investigator (CoI)), Alothman Alterkawi, A. B. (Co-Investigator (CoI)), Knoll, C. (Co-Investigator (CoI)), Teschl, R. (Co-Investigator (CoI)), Saukh, O. (Co-Investigator (CoI)), Rath, M. (Co-Investigator (CoI)), Steinberger, M. (Co-Investigator (CoI)), Steinbauer-Wagner, G. (Co-Investigator (CoI)) & Tranninger, M. (Co-Investigator (CoI))
1/01/16 → 31/03/22
Project: Research project