Institut für Formale Modelle und Verifikation

MIND: Medical Intelligence for Next Generation Diagnostics
Hamidovic, M. (Projektleiter*in), Zelko, E. (Co-Projektleiter*in), Khanzadeh, R. (Forscher*in), Fuger, J. (Forscher*in), Seidl, M. (Forscher*in), Salzer, H. (Forscher*in) & Springer, A. (Forscher*in)
01.04.2026 → 30.11.2027
Projekt: Geförderte Forschung › Bund / Land / Gemeinden
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
Transformative AI-Assisted Testing in Industrial Mobile Robotics
Aichernig, B. (Projektleiter*in) & Wallner, F. (Forscher*in)
01.10.2024 → 31.12.2026
Projekt: Geförderte Forschung › FFG - Österreichische Forschungsförderungsgesellschaft

Active Automata Learning with Noisy Data: From Big to Small Data
Wallner, F., Aichernig, B., von Berg, B. & Rindler, M., Mai 2026, Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II. Sampaio, A. & Stoelinga, M. (Hrsg.). 1 Aufl. Springer Nature, S. 326-346 21 S. (Lecture Notes in Computer Science (LNCS); Band 16557).
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Open Access
Automata Learning Versus Process Mining: The Case for User Journeys
Kobialka, P., Pferscher, A., Aichernig, B., Johnsen, E. B. & Tapia Tarifa, S. L., 03 Apr. 2026, in: IEEE Transactions on Software Engingeering. 52, 6, S. 1858-1874 17 S.
Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
BDD-Based Deadlock Avoidance for Automated Guided Vehicles in Warehouse Logistics: (Case Study Paper)
von Berg, B., Aichernig, B. & Wedenik, F., 18 Mai 2026, Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I. Sampaio, A. & Stoelinga, M. (Hrsg.). 1 Aufl. Springer Nature, S. 298-316 19 S. (Lecture Notes in Computer Science; Band 16556 LNCS).
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Open Access

Active Automata Learning with Noisy Data: From Big to Small Data
Wallner, F. (Vortragende*r)
21 Mai 2026
Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
Automata Learning and Testing with AALpy
Aichernig, B. (Vortragende*r)
15 Mai 2026
Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science
Vertrauen ist gut, Kontrolle ist besser! Künstliche Intelligenz auf dem Prüfstand.
Aichernig, B. (Vortragende*r)
21 März 2026
Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-public

CAV Distinguished Paper Award
Froleyks, N. (Empfänger*in), Yu, E. (Empfänger*in), Preiner, M. (Empfänger*in), Biere, A. (Empfänger*in) & Heljanko, K. (Empfänger*in), Juli 2025
Auszeichnung: Preis, Auszeichnung oder Ehrung
Kepler Award 2024 for the course "Logic", co-lectured by the institutes RISC (Wolfgang Schreiner and Wolfgang Windsteiger) and SAI (Martina Seidl)
Schreiner, W. (Empfänger*in), Windsteiger, W. (Empfänger*in) & Seidl, M. (Empfänger*in), 2024
Auszeichnung: Preis, Auszeichnung oder Ehrung

Organisationsprofil