Informace o projektu
Modelování, analýza a verifikace (2023)
(MAV-2023)
- Kód projektu
- MUNI/A/1081/2022
- Období řešení
- 1/2023 - 12/2023
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Specifický výzkum - podpora studentských projektů
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- 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á
- Mgr. 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, Ph.D.
- Mgr. Patrick Ondika
- Mgr. Anna Pačínková, Ph.D.
- RNDr. Kristýna Pekárková
- RNDr. Filip Pokrývka, Ph.D.
- Maximilian Prokop, M.Sc.
- 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).
Cíle udržitelného rozvoje
Masarykova univerzita se hlásí k cílům udržitelného rozvoje OSN, jejichž záměrem je do roku 2030 zlepšit podmínky a kvalitu života na naší planetě.
Publikace
Počet publikací: 29
2025
-
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, rok: 2025, počet stran: 27 s.
-
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
RV 2024, 24th International Conference on Runtime Verification, rok: 2025
2024
-
Generative modeling of living cells with SO(3)-equivariant implicit neural representations
Medical Image Analysis, rok: 2024, ročník: 91, vydání: 1, DOI
-
MAPHIS-Measuring arthropod phenotypes using hierarchical image segmentations
Methods in Ecology and Evolution, rok: 2024, ročník: 15, vydání: 1, DOI
-
Monitizer: Automating Design and Evaluation of Neural Network Monitors
CAV 2024, International Conference on Computer Aided Verification, rok: 2024
-
The satisfiability problem for a quantitative fragment of PCTL
Journal of Computer and System Sciences, rok: 2024, ročník: 139, vydání: 103478, DOI
2023
-
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
34th International Conference on Concurrency Theory (CONCUR 2023), rok: 2023
-
Boolean network sketches: a unifying framework for logical model inference
Bioinformatics, rok: 2023, ročník: 39, vydání: 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, rok: 2023
-
Clique-Width of Point Configurations
Journal of Combinatorial Theory, Ser B, rok: 2023, ročník: 158, vydání: 1, DOI