Publikationen pro Jahr
Publikationen pro Jahr
Fingerprint
Ergründen Sie die Forschungsthemen, in denen Bernhard Aichernig 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:
Publikationen
-
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. (Hrsg.). Cham: Springer, S. 67-73 7 S. (Lecture Notes in Computer Science; Band 12971 ).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. (Hrsg.). Springer, S. 481-500 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13085 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Aspects of Learning-based Security Testing
Aichernig, B., Marksteiner, S., Pferscher, A., Schlick, R. & Stieglbauer, G., Okt 2021.Publikation: Konferenzbeitrag › 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. (Hrsg.). Cham: Springer, S. 524-542 19 S. (Lecture Notes in Computer Science ; Band 13047 ).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, S. 575-615 41 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open Access
Verwandte Tätigkeiten
-
Creating Digital Twins through Model Learning and Testing
Bernhard Aichernig (Redner/in)
4 Okt 2021Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to public
-
Step-wise Development of Provably Correct Actor Systems
Bernhard Aichernig (Redner/in)
25 Okt 2021Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
Learning Models for Test Automation Mastering the Complexity of Testing via Explainable AI
Bernhard Aichernig (Redner/in)
20 Mai 2021Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to public
-
Learning-based Testing: Combining Model Learning and Model-based Testing
Bernhard Aichernig (Redner/in)
20 Okt 2020Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Predicting and Testing Latencies with Deep Learning: an IoT Case Study
Bernhard Aichernig (Redner/in)
10 Okt 2019Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
Prämien
-
Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems
Aichernig, Bernhard (Empfänger/-in), Bloem, Roderick (Empfänger/-in), Ebrahimi, Masoud (Empfänger/-in), Horn, Martin (Empfänger/-in), Pernkopf, Franz (Empfänger/-in), Roth, W. (Empfänger/-in), Leitner, Astrid (Empfänger/-in), Tappler, Martin (Empfänger/-in) & Tranninger, Markus (Empfänger/-in), Okt 2019
Auszeichnung: Preise / Medaillen / Ehrungen
-
Best paper award SEFM 2020
Martins Gomes, R. (Empfänger/-in), Aichernig, Bernhard (Empfänger/-in) & Baunach, Marcel Carsten (Empfänger/-in), 17 Sep 2020
Auszeichnung: Preise / Medaillen / Ehrungen
-
SEFM 2021 - Best Paper Award
Tappler, Martin (Empfänger/-in), Muskardin, E. (Empfänger/-in), Aichernig, Bernhard (Empfänger/-in) & Pill, I. H. (Empfänger/-in), Dez 2021
Auszeichnung: Preise / Medaillen / Ehrungen
-
AIDOaRT - KI-unterstützte Automatisierung für effiziente DevOps, ein modellbasiertes Framework für kontinuierliche Entwicklung zur Laufzeit in CPSs
1/04/21 → 31/03/24
Projekt: Foschungsprojekt
-
LearnTwins - Lernende Digitale Zwillinge zur Validierung und Verifizierung von abhängigen Cyber-Physikalischen Systemen
1/12/20 → 30/11/23
Projekt: Foschungsprojekt
-
Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet
-
Verlaesslichkeit im Internet der Dinge
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
Projekt: Foschungsprojekt