Project information
Modeling, analysis, and verification (2026)
- Project Identification
- MUNI/A/1784/2025
- Project Period
- 1/2026 - 12/2026
- Investor / Pogramme / Project type
-
Masaryk University
- Specific research - support for student projects
- MU Faculty or unit
-
Faculty of Informatics
- doc. RNDr. David Svoboda, Ph.D.
- Mgr. Paulína Ayaziová
- RNDr. Jakub Balabán
- prof. RNDr. Jiří Barnat, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- Florian Sebastian Dorfhuber, M.Sc.
- Nikomidisz Jorgosz Eftimiu, M.Sc.
- prof. RNDr. Petr Hliněný, Ph.D.
- Mgr. Lucia Hradecká
- Mgr. Zuzana Hruška
- RNDr. Jan Jedelský
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
- Mgr. Bc. Klára Kubíčková
- prof. RNDr. Antonín Kučera, Ph.D.
- Mgr. Martin Kurečka
- Mgr. Jan Mačák
- RNDr. Juraj Major
- Mgr. Lukáš Málik
- doc. RNDr. Martin Maška, Ph.D.
- doc. RNDr. Pavel Matula, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- Mgr. Vincent Mihalkovič
- doc. RNDr. Petr Novotný, Ph.D.
- doc. Mgr. Jan Obdržálek, PhD.
- Mgr. Patrick Ondika
- Ing. Patrik Procházka
- Maximilian Prokop, M.Sc.
- Sabine Rieder, M.Sc.
- Mgr. Martin Skalský
- Mgr. Adam Straka
- prof. RNDr. Jan Strejček, Ph.D.
- Mgr. Jakub Šárník
- prof. RNDr. Jiří Zlatuška, CSc.
Projekt specifického výzkumu si klade za cíl podpořit výzkumné aktivity studentů doktorského a magisterského studia na FI MU. Projekt navazuje na výsledky projektů specifického výzkumu z let 2010-2025 a dále je rozšiřuje. Navrhovaný projekt bude podporovat výzkumnou činnost zúčastněných studentů. Umožní jim vycestovat na zahraniční partnerská pracoviště, mezinárodní konference či absolvovat vhodná školení a letní kurzy s cílem nabytí nových zkušeností. Zejména se jedná o výzkum a vývoj v oblastech použití formálních metod při modelování, analýze a verifikaci systémů: klasických a zejména náhodných systémů i nekonečně stavových a komplexních systémů. S náplní projektu je rovněž úzce spjata další výzkumná oblast, jíž je analýza biomedicínského a medicínského obrazu, a to včetně nově vyvíjených metod analýzy a jejich ověřování.
Projekt zejména pokrývá aktivity vedené pracovníky z Katedry teorie programování a z části Katedry vizuální informatiky.
Sustainable Development Goals
Masaryk University is committed to the UN Sustainable Development Goals, which aim to improve the conditions and quality of life on our planet by 2030.
Publications
Total number of publications: 9
2026
-
Comprehensive Attention Networks for Cell Segmentation Using Numerical Integration
2026 IEEE International Symposium on Biomedical Imaging (ISBI), year: 2026, DOI
-
Detection of Splicing in Digital Image Forgery
Proceedings on 2026 IEEE International Conference on Image Processing (ICIP), year: 2026, DOI
-
Edge Case Detection in Automated Driving: Methods, Challenges, and Future Directions
IEEE Transactions on Intelligent Transportation Systems, year: 2026, volume: 27, edition: 9, DOI
-
Goblitch: Combining Abstract Interpretation with Symbolic Execution via Witnesses
Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II, year: 2026, DOI
-
Program Reversal for Error Reachability Analysis
ISSRE 2026, Proceedings, year: 2026
-
Re3ver: Reverse and Verify
Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II, year: 2026, DOI
-
Shape-Aware Cell Segmentation with Global Cues
IEEE SIGNAL PROCESSING LETTERS, year: 2026, volume: 33, edition: 2026, DOI
-
Simple Complementation of Generalized Büchi Automata
LPAR 2026, Proceedings, year: 2026
-
Symbiotic 11: Predicate Abstraction Joins the Party
Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II, year: 2026, DOI