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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
AALpy: An active automata learning library
Muškardin, E., Aichernig, B., Pill, I., Pferscher, A. & Tappler, M., Sept 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 417-426 10 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
Aichernig, B., Muškardin, E. & Pferscher, A., 27 Sept 2022, Formal Methods for Autonomous Systems and Automated and verifiable Software sYstem DEvelopment. Vol. 371. p. 1-19 19 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
Constrained Training of Recurrent Neural Networks for Automata Learning
Aichernig, B., König, S., Mateis, C., Pferscher, A., Schmidt, D. & Tappler, M., 2022, Software Engineering and Formal Methods. Springer, Cham, Vol. 13550. (Lecture Notes in Computer Science; vol. 13550).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Learning Finite State Models fromRecurrent Neural Networks
Muškardin, E., Aichernig, B. K., Pill, I. & Tappler, M., 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings. ter Beek, M. H. & Monahan, R. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 229-248 20 p. (Lecture Notes in Computer Science ; vol. 13274 ).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Search-Based Testing of Reinforcement Learning
Tappler, M., Cano Cordoba, F., Aichernig, B. & Könighofer, B., 2022, Thirty-First International Joint Conference on Artificial Intelligence (IJCAI 2022). De Raedt, L. (ed.). ijcai.org, p. 503-510Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access
Activities
-
Creating Digital Twins through Model Learning and Testing
Bernhard Aichernig (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
Bernhard Aichernig (Speaker)
20 May 2021Activity: Talk or presentation › Invited talk › Science to public
-
Step-wise Development of Provably Correct Actor Systems
Bernhard Aichernig (Speaker)
25 Oct 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Learning-based Testing: Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
20 Oct 2020Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Predicting and Testing Latencies with Deep Learning: an IoT Case Study
Bernhard Aichernig (Speaker)
10 Oct 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
Prizes
-
Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems
Aichernig, Bernhard (Recipient), Bloem, Roderick (Recipient), Ebrahimi, Masoud (Recipient), Horn, Martin (Recipient), Pernkopf, Franz (Recipient), Roth, Wolfgang (Recipient), Leitner, Astrid (Recipient), Tappler, Martin (Recipient) & Tranninger, Markus (Recipient), Oct 2019
Prize: Prizes / Medals / Awards
-
Best paper award SEFM 2020
Martins Gomes, Renata (Recipient), Aichernig, Bernhard (Recipient) & Baunach, Marcel Carsten (Recipient), 17 Sep 2020
Prize: Prizes / Medals / Awards
-
SEFM 2021 - Best Paper Award
Tappler, Martin (Recipient), Muskardin, Edi (Recipient), Aichernig, Bernhard (Recipient) & Pill, Ingo Hans (Recipient), Dec 2021
Prize: Prizes / Medals / Awards
-
-
AIDOaRT - AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in CPSs
1/04/21 → 31/03/24
Project: Research project
-
LearnTwins - Learning Digital Twins for the Validation and Verification of Dependable Cyber-PhysicalSystems
1/12/20 → 30/11/23
Project: Research project
-
-
Dependable Internet of Things
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project