Project information
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace X.
(SV-FI MAV X.)
- Project Identification
- MUNI/A/1108/2020
- Project Period
- 1/2021 - 12/2021
- Investor / Pogramme / Project type
-
Masaryk University
- Specific research - support for student projects
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Mojmír Křetínský, CSc.
- 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.
- Onur Cagirici, M.Sc., Ph.D.
- Jacob Cooper, Ph.D.
- Sébastien Čagala Hu
- RNDr. Zuzana Ferková, Ph.D.
- prof. RNDr. Petr Hliněný, Ph.D.
- Mgr. Lucia Hradecká
- RNDr. Marek Chalupa, Ph.D.
- RNDr. Miroslav Chodil
- RNDr. David Klaška
- Mgr. Lukáš Korenčik
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Henrich Lauko, Ph.D.
- RNDr. Filip Lux
- doc. RNDr. Pavel Matula, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- Aleksandra Melnikova
- Mgr. Vincent Mihalkovič
- RNDr. Jan Mrázek
- Mgr. Anna Pačínková, Ph.D.
- RNDr. Samuel Pastva, Ph.D.
- RNDr. Kristýna Pekárková
- RNDr. Filip Pokrývka
- prof. RNDr. Jan Strejček, Ph.D.
- doc. RNDr. David Svoboda, Ph.D.
- Mgr. Ondřej Svoboda
- RNDr. Eva Šmijáková
- RNDr. Matej Troják, Ph.D.
- Mgr. Jan Tušil
- RNDr. David Wiesner, Ph.D.
- Mgr. Lukáš Zaoral
Projekt je zaměřen na podporu vědecko-výzkumné a vývojové činnosti studentů doktorského a magisterského studia na FI MU, kteří jsou vedeni zejména těmi školiteli, kteří se účastnili řešení stejnojmenných projektů specifického výzkumu v letech 2010 až 2020. Zaměření navrhovaného projektu na uvedené a úspěšně řešené projekty navazuje a dále ji rozšiřuje a prohlubuje o perspektivní a originální směry výzkumu tak, aby došlo k dalšímu rozvoji VaV činnosti zúčastněných studentů a dle zaměření i k synergii s výzkumem v centru CERIT. Jedná se 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 stochastický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. Další související oblastí je analýza medicínského obrazu, včetně nově vyvíjených metod analýzy s pomocí HW a/nebo SW prostředků. Další popis projektu je strukturován dle jednotlivých oblastí tak, jak byly právě uvedeny a po obsahové stránce jsou specifikovány níže v části "Odborná charakteristika projektu". V oblastech uvedených pod označeními A až H pracují tito školitelé - akademičtí zaměstnanci FI MU: A: prof. RNDr. Jiří Barnat, Ph.D.; B: prof. RNDr. Luboš Brim, CSc.; E: prof. RNDr. Petr Hliněný, Ph.D.; F: prof. RNDr. Michal Kozubek, Ph.D., doc. RNDr. Pavel Matula, Ph.D., doc. RNDr. Petr Matula, Ph.D., doc. RNDr. David Svoboda, Ph.D.; G: prof. RNDr. Mojmír Křetínský, CSc., doc. RNDr. Jan Strejček, Ph.D.; H: prof. RNDr. Antonín Kučera, Ph.D.,
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: 19
2021
-
Symbiotic 8: Beyond Symbolic Execution
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, year: 2021
-
Symbiotic 8: Parallel and Targeted Test Generation
Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, year: 2021
-
Symbolic Coloured SCC Decomposition
Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, year: 2021
-
The Satisfiability Problem for a Quantitative Fragment of PCTL
Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021, year: 2021
-
Topology Preserving Segmentation Fusion for Cells with Complex Shapes
The IEEE International Symposium on Biomedical Imaging, year: 2021
-
Transfer Learning in Optical Microscopy
Simulation and Synthesis in Medical Imaging, year: 2021
-
Twin-Width is Linear in the Poset Width
International Symposium on Parameterized and Exact Computation (IPEC), year: 2021
-
Unit Disk Visibility Graphs
Extended Abstracts EuroComb 2021, year: 2021
2019
-
Reproducible Execution of POSIX Programs with DiOS
Software Engineering and Formal Methods, year: 2019