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 -
Extending AALpy with Passive Learning: A Generalized State-Merging Approach
von Berg, B. & Aichernig, B. K., 2025, Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV. Piskac, R. & Rakamaric, Z. (Hrsg.). Springer, Cham, S. 127–140 14 S. (Lecture Notes in Computer Science; Band 15934 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht › 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
-
Mutating Skeletons: Learning Timed Automata via Domain Knowledge
Wallner, F., Aichernig, B., Lorber, F. L. & Tappler, M., 16 Apr. 2025, 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) . Fasolino, A. R., Panichella, S., Aleti, A. & Mesbah, A. (Hrsg.). IEEE, S. 67-77 11 S. (IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW ).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Aktivitäten
-
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
-
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
-
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. (Projektleiter an der OE)
1/10/24 → 30/09/26
Projekt: Forschungsprojekt
-
ML4RDE - Maschinelles Lernen für reale Fahremissionen
Aichernig, B. (Projektleiter an der OE)
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. (Projektleiter an der OE)
1/04/21 → 30/09/24
Projekt: Forschungsprojekt
-
LearnTwins - Lernende Digitale Zwillinge zur Validierung und Verifizierung von abhängigen Cyber-Physikalischen Systemen
Aichernig, B. (Projektleiter an der OE)
1/12/20 → 30/11/23
Projekt: Forschungsprojekt
-
Verlaesslichkeit im Internet der Dinge
Pernkopf, F. (Kontaktperson), Zakany, N. (Kontaktperson), Eichlseder, M. (Kontaktperson), Saukh, O. (Kontaktperson), Mangard, S. (Kontaktperson), Steinbauer-Wagner, G. (Kontaktperson), Knoll, C. (Teilnehmer / Mitarbeiter), Tranninger, M. (Teilnehmer / Mitarbeiter), Römer, K. U. (Konsortialführer/in bzw. Koordinator/in von mehreren TU Graz Instituten), Rath, M. (Teilnehmer / Mitarbeiter), Kubin, G. (Kontaktperson), Horn, M. (Kontaktperson), Tappler, M. (Teilnehmer / Mitarbeiter), Bloem, R. (Konsortialführer/in bzw. Koordinator/in von mehreren TU Graz Instituten), Weiser, S. (Teilnehmer / Mitarbeiter), Leitinger, E. (Kontaktperson), Ebrahimi, M. (Teilnehmer / Mitarbeiter), Aichernig, B. (Kontaktperson), Malenko, M. (Teilnehmer / Mitarbeiter), Steinberger, M. (Kontaktperson), Großwindhager, B. (Teilnehmer / Mitarbeiter), Baunach, M. C. (Kontaktperson), Witrisal, K. (Kontaktperson), Teschl, R. (Kontaktperson), Boano, C. A. (Kontaktperson) & Alothman Alterkawi, A. B. (Teilnehmer / Mitarbeiter)
1/01/16 → 31/03/22
Projekt: Forschungsprojekt