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
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
Publikationen
-
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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 101-106 6 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15217 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 385-411 27 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14129 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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. (Hrsg.). S. 215-233 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15280 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, S. 78-82 5 S. (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, S. 503-524 22 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open Access
Aktivitäten
-
Creating Digital Twins through Model Learning and Testing
Aichernig, B. (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
Aichernig, B. (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
Aichernig, B. (Redner/in)
20 Mai 2021Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to public
-
Learning-based Testing: Combining Model Learning and Model-based Testing
Aichernig, B. (Redner/in)
20 Okt. 2020Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Programming Behavioral Test Models for SMT Solving in Scala
Aichernig, B. (Redner/in)
22 Apr. 2019Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
Auszeichnungen
-
Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems
Aichernig, B. (Empfänger/-in), Bloem, R. (Empfänger/-in), Ebrahimi, M. (Empfänger/-in), Horn, M. (Empfänger/-in), Pernkopf, F. (Empfänger/-in), Roth, W. (Empfänger/-in), Rupp, A. (Empfänger/-in), Tappler, M. (Empfänger/-in) & Tranninger, M. (Empfänger/-in), Okt. 2019
Auszeichnung: Preise / Medaillen / Ehrungen
-
Best paper award SEFM 2020
Martins Gomes, R. (Empfänger/-in), Aichernig, B. (Empfänger/-in) & Baunach, M. C. (Empfänger/-in), 17 Sept. 2020
Auszeichnung: Preise / Medaillen / Ehrungen
-
SEFM 2021 - Best Paper Award
Tappler, M. (Empfänger/-in), Muskardin, E. (Empfänger/-in), Aichernig, B. (Empfänger/-in) & Pill, I. H. (Empfänger/-in), Dez. 2021
Auszeichnung: Preise / Medaillen / Ehrungen
-
TAYSIR Competition: First place
Muskardin, E. (Empfänger/-in), Tappler, M. (Empfänger/-in) & Aichernig, B. (Empfänger/-in), 2023
Auszeichnung: Preise / Medaillen / Ehrungen
-
TASTE - Transformative KI-unterstützte Tests in der mobilen Industrierobotik
Aichernig, B. (Teilnehmer (Co-Investigator))
1/10/24 → 30/09/26
Projekt: Forschungsprojekt
-
ML4RDE - Maschinelles Lernen für reale Fahremissionen
Aichernig, B. (Teilnehmer (Co-Investigator))
1/02/23 → 31/01/24
Projekt: Forschungsprojekt
-
AIDOaRT - KI-unterstützte Automatisierung für effiziente DevOps, ein modellbasiertes Framework für kontinuierliche Entwicklung zur Laufzeit in CPSs
Aichernig, B. (Teilnehmer (Co-Investigator))
1/04/21 → 30/09/24
Projekt: Forschungsprojekt
-
LearnTwins - Lernende Digitale Zwillinge zur Validierung und Verifizierung von abhängigen Cyber-Physikalischen Systemen
Aichernig, B. (Teilnehmer (Co-Investigator))
1/12/20 → 30/11/23
Projekt: Forschungsprojekt
-
Verlaesslichkeit im Internet der Dinge
Boano, C. A. (Teilnehmer (Co-Investigator)), Kubin, G. (Teilnehmer (Co-Investigator)), Bloem, R. (Teilnehmer (Co-Investigator)), Horn, M. (Teilnehmer (Co-Investigator)), Pernkopf, F. (Teilnehmer (Co-Investigator)), Zakany, N. (Teilnehmer (Co-Investigator)), Mangard, S. (Teilnehmer (Co-Investigator)), Witrisal, K. (Teilnehmer (Co-Investigator)), Römer, K. U. (Teilnehmer (Co-Investigator)), Aichernig, B. (Teilnehmer (Co-Investigator)), Bösch, W. (Teilnehmer (Co-Investigator)), Baunach, M. C. (Teilnehmer (Co-Investigator)), Tappler, M. (Teilnehmer (Co-Investigator)), Malenko, M. (Teilnehmer (Co-Investigator)), Weiser, S. (Teilnehmer (Co-Investigator)), Eichlseder, M. (Teilnehmer (Co-Investigator)), Leitinger, E. (Teilnehmer (Co-Investigator)), Grosinger, J. (Teilnehmer (Co-Investigator)), Großwindhager, B. (Teilnehmer (Co-Investigator)), Ebrahimi, M. (Teilnehmer (Co-Investigator)), Alothman Alterkawi, A. B. (Teilnehmer (Co-Investigator)), Knoll, C. (Teilnehmer (Co-Investigator)), Teschl, R. (Teilnehmer (Co-Investigator)), Saukh, O. (Teilnehmer (Co-Investigator)), Rath, M. (Teilnehmer (Co-Investigator)), Steinberger, M. (Teilnehmer (Co-Investigator)), Steinbauer-Wagner, G. (Teilnehmer (Co-Investigator)) & Tranninger, M. (Teilnehmer (Co-Investigator))
1/01/16 → 31/03/22
Projekt: Forschungsprojekt