Informace o projektu
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace
(SV-FI MAV)
- Kód projektu
- MUNI/A/0914/2009
- Období řešení
- 1/2010 - 12/2012
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Grantová agentura MU
- DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
Projekt je zameřen na podporu VaV činnosti studentů doktorského a magisterského studia, kteří jsou vedeni školiteli, jež participují na Výzkumném záměru Fakulty informatiky MU "Vysoce paralelní a distribuované výpočetní systémy" (dále jen VZ). Výsledky tohoto VZ byly opakovaně hodnoceny stupněm "vynikající". Problematika navrhovaného projektu je bezprostředně provázána s výše uvedeným VZ a dále ji rozšiřuje o perspektivní a originální směry výzkumu.
Jedná se o výzkum a vývoj v oblastech kvantových výpočtů a analýzu jejich vlastností, použití formálních metod při modelování, analýze a verifikaci: klasických a zejména stochastických systémů i nekonečně stavových, komplexních a softwarově intenzivních systémů, vestavných systémů, komunikačních protokolů a dalších, zejména biologických systémů. Tyto oblasti jsou provázány na využívání paralelních architektur a rozsáhlé výpočetní systémy typu GRIDy. Další 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ů.
Publikace
Počet publikací: 184
2012
-
Rabinizer: Small Deterministic Automata for LTL(F,G)
Automated Technology for Verification and Analysis - 10th International Symposium ATVA 2012, rok: 2012
-
Reachability analysis for timed automata using max-plus algebra
Journal of Logic and Algebraic Programming, rok: 2012, ročník: 81, vydání: 3, DOI
-
Reliability analysis in component-based development via probabilistic model checking
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12), rok: 2012
-
Sequence Chart Studio
2012 12th International Conference on Application of Concurrency to System Design, rok: 2012
-
Simulation of Congenital Heart Defect Corrective Surgeries Using Thin Shell Elements
Computational Biomechanics for Medicine : Models, Algorithms and Implementation, rok: 2012
-
SiteBinder: An improved approach for comparing multiple protein structural motifs
Journal of Chemical Information and Modeling, rok: 2012, ročník: 52, vydání: 2, DOI
-
Smooth Chan-Vese Segmentation via Graph Cuts
Pattern recognition letters : an official publication of the International Association for Pattern Recognition., rok: 2012, ročník: 33, vydání: 10, DOI
-
Symbiotic
Rok: 2012
-
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
IEEE Transactions on Automatic Control, rok: 2012, ročník: 57, vydání: 6, DOI
-
Timed Automata Approach to Verification of Systems with Degradation
MEMICS 2011, rok: 2012