Project information
Modeling, analysis, and verification (2024)
- Project Identification
- MUNI/A/1592/2023
- Project Period
- 1/2024 - 12/2024
- 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.
- RNDr. Michal Ajdarów
- Mgr. Jakub Balabán
- prof. RNDr. Jiří Barnat, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- 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á
- RNDr. Miroslav Chodil
- Mgr. Daniel Iľkovič
- Mgr. Jan Jedelský
- RNDr. David Klaška
- doc. RNDr. Barbora Kozlíková, Ph.D.
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- Mgr. Martin Kurečka
- RNDr. Filip Lux
- Mgr. Jan Mačák
- doc. RNDr. Martin Maška, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- Aleksandra Melnikova
- Mgr. Vincent Mihalkovič
- RNDr. Jan Mrázek
- RNDr. Tereza Nečasová
- doc. RNDr. Petr Novotný, Ph.D.
- doc. Mgr. Jan Obdržálek, PhD.
- Mgr. Patrick Ondika
- RNDr. Kristýna Pekárková
- RNDr. Filip Pokrývka, Ph.D.
- Maximilian Prokop, M.Sc.
- Sabine Rieder, M.Sc.
- Mgr. Xichao Shu
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Eva Šmijáková
- Mgr. Jan Tušil
Projekt specifického výzkumu si klade za cíl podpořit výzkumnou činnost studentů doktorského a magisterského studia na FI MU. Projekt navazuje na výsledky projektů specifického výzkumu z let 2010-2023 a dále je rozvíjí. Navrhovaný projekt si klade za cíl podpořit výzkumné aktivity zúčastněných studentů a umožnit jim vycestovat na zahraniční partnerská pracoviště 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, komplexních a softwarově intenzivních systémů a dalších i přírodně motivovaných systémů, zejména biologických. S biologií 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 validace, a následná nezbytná vizualizace pomáhající k pochopení vnitřních struktur sledovaných dat.
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: 21
2024
-
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, year: 2024