Project information
Modelování, analýza a verifikace (2023)
(MAV-2023)
- Project Identification
- MUNI/A/1081/2022
- Project Period
- 1/2023 - 12/2023
- 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. Deniz Agaoglu Cagirici, Ph.D.
- RNDr. Michal Ajdarów
- Cem Emre Akbas
- Mgr. Jakub Balabán
- prof. RNDr. Jiří Barnat, Ph.D.
- Ing. Dávid Bolvanský
- prof. RNDr. Luboš Brim, CSc.
- Nikomidisz Jorgosz Eftimiu, M.Sc.
- prof. RNDr. Petr Hliněný, Ph.D.
- Mgr. Lucia Hradecká
- Bc. Ondřej Huvar
- RNDr. Miroslav Chodil
- Mgr. Daniel Iľkovič
- Mgr. Marek Jankola
- Mgr. Jan Jedelský
- RNDr. David Klaška
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Henrich Lauko, Ph.D.
- RNDr. Filip Lux
- Mgr. Tomáš Macháček
- doc. RNDr. Martin Maška, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- Aleksandra Melnikova
- Mgr. Vincent Mihalkovič
- Shubhang Mittal
- Mgr. Radoslav Mráz
- RNDr. Jan Mrázek
- Bc. Daniel Múčka
- RNDr. Tereza Nečasová
- RNDr. Petra Němcová
- Mgr. Jakub Novák
- doc. Mgr. Jan Obdržálek, PhD.
- Mgr. et Mgr. Jaroslav Oľha
- Mgr. Patrick Ondika
- Mgr. Anna Pačínková, Ph.D.
- RNDr. Kristýna Pekárková
- RNDr. Filip Pokrývka, Ph.D.
- Maximilian Prokop, M.Sc.
- Mgr. Xichao Shu
- Mgr. Zuzana Schwarzová
- RNDr. Viktória Spišaková
- RNDr. Eva Šmijáková
- RNDr. Matej Troják, Ph.D.
- Mgr. Jan Tušil
- RNDr. David Wiesner, Ph.D.
Cílem projektu je podpora vědecko-výzkumné a vývojové činnosti studentů doktorského a magisterského studia na FI MU. Projekt navazuje na výsledky projektů specifického výzkumu z let 2010-2022 a dále je rozvíjí. Navrhovaný projekt si klade za cíl podpořit VaV aktivity zúčastněných studentů a dle zaměření i spolupráci s průmyslovými partnery v centru CERIT. Zejmená 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 obrazu, a to včetně nově vyvíjených metod analýzy a jejich validace. Výzkum v této oblasti je na aplikační úrovni provázán na využívání rozsáhlých výpočetních systémů (cloud-computing) a moderních paralelních architektur (GPGPU computing a multi GPU computing).
Projekt zejména pokrývá aktivity vedené pracovníky z Katedry teorie programování a dvou výzkumných skupin: CBIA (analýza biomedicínského obrazu) a SITOLA (intenzitní výpočty v rozsáhlých sítích).
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: 28
2024
-
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
International Conference on Runtime Verification, year: 2024
-
Generative modeling of living cells with SO(3)-equivariant implicit neural representations
Medical Image Analysis, year: 2024, volume: 2024, edition: 91, DOI
-
MAPHIS-Measuring arthropod phenotypes using hierarchical image segmentations
Methods in Ecology and Evolution, year: 2024, volume: 15, edition: 1, DOI
-
Monitizer: Automating Design and Evaluation of Neural Network Monitors
Computer Aided Verification, year: 2024
-
The satisfiability problem for a quantitative fragment of PCTL
Journal of Computer and System Sciences, year: 2024, volume: 139, edition: 103478, DOI
2023
-
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
34th International Conference on Concurrency Theory (CONCUR 2023), year: 2023
-
Boolean network sketches: a unifying framework for logical model inference
Bioinformatics, year: 2023, volume: 39, edition: 4, DOI
-
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties
Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, year: 2023
-
Clique-Width of Point Configurations
Journal of Combinatorial Theory, Ser B, year: 2023, volume: 158, edition: 1, DOI
-
Efficient Isomorphism for Sd-Graphs and T-Graphs
ALGORITHMICA, year: 2023, volume: 85, edition: 2, DOI