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
Muskardin, E., Aichernig, B., Pill, I., Pferscher, A. & Tappler, M., 2021, Automated Technology for Verification and Analysis - ATVA 2021. Hou, Z. & Ganesh, V. (eds.). Cham: Springer, p. 67-73 7 p. (Lecture Notes in Computer Science; vol. 12971 ).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Active Model Learning of Stochastic Reactive Systems
Tappler, M., Muskardin, E., Aichernig, B. K. & Pill, I., 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings. Calinescu, R. & Pasareanu, C. S. (eds.). Springer, p. 481-500 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13085 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Aspects of Learning-based Security Testing
Aichernig, B., Marksteiner, S., Pferscher, A., Schlick, R. & Stieglbauer, G., Oct 2021.Research output: Contribution to conference › Poster
-
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning
Pferscher, A. & Aichernig, B., 2021, Formal Methods - 24th International Symposium, FM 2021, Proceedings. Huisman, M., Păsăreanu, C. & Zhan, N. (eds.). Cham: Springer, p. 524-542 19 p. (Lecture Notes in Computer Science ; vol. 13047 ).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
L*-Based Learning of Markov Decision Processes (Extended Version)
Tappler, M., Aichernig, B., Bacci, G., Eichlseder, M. & Larsen, K. G., Aug 2021, In: Formal Aspects of Computing. 33, 4-5, p. 575-615 41 p.Research output: Contribution to journal › Article › 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
-
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 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
-
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, W. (Recipient), Leitner, Astrid (Recipient), Tappler, Martin (Recipient) & Tranninger, Markus (Recipient), Oct 2019
Prize: Prizes / Medals / Awards
-
Best paper award SEFM 2020
Martins Gomes, R. (Recipient), Aichernig, Bernhard (Recipient) & Baunach, Marcel Carsten (Recipient), 17 Sep 2020
Prize: Prizes / Medals / Awards
-
SEFM 2021 - Best Paper Award
Tappler, Martin (Recipient), Muskardin, E. (Recipient), Aichernig, Bernhard (Recipient) & Pill, I. H. (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
-
TRUCONF - Trust via cost function driven model based test case generation for non-functional properties of systems of systems
1/11/14 → 31/10/17
Project: Research project