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
Muškardin, E., Aichernig, B., Pill, I., Pferscher, A. & Tappler, M., Sep. 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 417-426 10 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open Access -
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
Aichernig, B., Muškardin, E. & Pferscher, A., 27 Sep. 2022, Formal Methods for Autonomous Systems and Automated and verifiable Software sYstem DEvelopment. Band 371. S. 1-19 19 S. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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, Band 13550. (Lecture Notes in Computer Science; Band 13550).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. (Hrsg.). Cham: Springer Science and Business Media Deutschland GmbH, S. 229-248 20 S. (Lecture Notes in Computer Science ; Band 13274 ).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. (Hrsg.). ijcai.org, S. 503-510Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access
Aktivitäten
-
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
-
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
-
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
Auszeichnungen
-
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, Wolfgang (Empfänger/-in), Rupp, 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, Renata (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, Edi (Empfänger/-in), Aichernig, Bernhard (Empfänger/-in) & Pill, Ingo Hans (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