!!Research output per year
!!Research output per year
Publikationen
- 1 Konferenzbeitrag
-
Extending AALpy with Passive Learning: A Generalized State-Merging Approach
von Berg, B. & Aichernig, B., 23 Juli 2025, Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV. Piskac, R. & Rakamaric, Z. (Hrsg.). 1 Aufl. Springer Nature, S. 127-140 14 S. (Lecture Notes in Computer Science (LNCS); Band 15931).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access
Projekte
- 1 Laufend
-
Cluster of Excellence "Bilateral Artificial Intelligence"
Fürnkranz, J. (Projektleiter*in), Hochreiter, S. (Projektleiter*in), Klambauer, G. (Projektleiter*in), Schedl, M. (Projektleiter*in), Seidl, M. (Projektleiter*in), Widmer, G. (Projektleiter*in), Brandstetter, J. (Projektleiter*in), Kobler, E. (Projektleiter*in), Aichernig, B. (Projektleiter*in), Heisinger, M. (Forscher*in), Hoedt, P.-J. (Forscher*in), Pfeiffer, P. (Forscher*in), Plank, A. (Forscher*in), Radler, A. (Forscher*in), Rebola Pardo, A. (Forscher*in), Lin, W. (Forscher*in), Eckert, H. (Forscher*in), Cranganore, S. S. (Forscher*in), Hartl, A.-R. (Forscher*in), Plasser, M. (Forscher*in), Pammer, T. (Forscher*in), Tommasel, A. (Forscher*in), Nawaz, S. (Forscher*in), Masoudian, S. (Forscher*in) & Freinschlag, R. (Forscher*in)
01.10.2024 → 30.09.2029
Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds
Aktivitäten
-
Examiner in the PhD Defence of Andreas Plank on "Advanced Reasoning Techniques for Quantified Boolean Formulas" supervised by Martina Seidl
Aichernig, B. (Gutachter*in)
18 Nov. 2025Aktivität: Gutachtertätigkeiten › Gutachter/in für Hochschulschriften
-
ICGI 2026, the 17th International Conference on Grammatical Inference (Veranstaltung)
Aichernig, B. (Mitglied)
14 Nov. 2025 → 15 Apr. 2026Aktivität: Mitgliedschaft/Funktion › Programm-Komitee
-
Formal Verification of AI-based Code Generation in Model-Driven Development
Aichernig, B. (Vortragende*r) & Lorber, F. (Vortragende*r)
04 Nov. 2025Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science
-
Time to Learn and Check - Enhancing Timed Automata Learning with Model Checking
Aichernig, B. (Vortragende*r) & Lorber, F. (Vortragende*r)
02 Nov. 2025Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science
-
NFM 2026 - 18th NASA Formal Methods Symposium (Veranstaltung)
Aichernig, B. (Mitglied)
13 Okt. 2025 → 07 Mai 2026Aktivität: Mitgliedschaft/Funktion › Programm-Komitee