Institut für Formale Modelle und Verifikation

MIND: Medical Intelligence for Next Generation Diagnosis
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
OPTIM-AI: Hybridization of Optimization and Artificial Intelligence Techniques for Managerial Decision Making
Biere, A. (Forscher*in) & Sinnl, M. (Projektleiter*in)
01.10.2020 → 31.12.2021
Projekt: Geförderte Forschung › Bund / Land / Gemeinden

A DSL for Specifying a Class of Industrial Optimisation Problems
Del Rio Almajano, T., Schreiner, W., Seidl, M., Kutsia, T. & Windsteiger, W., 2025, RISC, JKU, 19 S. (RISC Report Series; Band 25-12).
Publikation: Preprints, Working Paper und Forschungsberichte › Forschungsbericht

Open Access
An autonomous drone swarm for detecting and tracking anomalies among dense vegetation
Amala Arokia Nathan, R. J., Strand, S., Mehrwald, D., Shutin, D. & Bimber, O., 27 Nov. 2025, in: Communications Engineering. 4, 1, 12 S., 205.
Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Open Access
Deep integration of SAT solving and model checking
Froleyks, N., Juli 2025, 170 S.
Publikation: Abschlussarbeiten › Dissertation

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. 2025
Aktivitä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. 2026
Aktivitä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. 2025
Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science

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