Informace o projektu
Verifikace a analýza velmi velkých počítačových systémů
- Kód projektu
- GA201/09/1389
- Období řešení
- 1/2009 - 12/2011
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- verifikace, ověřování modelu, paralelní algoritmy
Publikace
Počet publikací: 53
2011
-
Distributed Algorithms for SCC Decomposition
Journal of Logic and Computation, rok: 2011, ročník: 21, vydání: 1, DOI
-
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes
BioSystems, rok: 2011, ročník: 103, vydání: 2, DOI
-
Faster algorithms for mean-payoff games
Formal Methods in System Design, rok: 2011, ročník: 38, vydání: 2, DOI
-
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata
Science of Computer Programming, rok: 2011, ročník: 76, vydání: 10, DOI
-
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: Neuveden, vydání: 67, DOI
2010
-
A Symbolic Approach to Controlling Piecewise Affine Systems
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), rok: 2010
-
Algorithm for Two-Energy Games
Mathematical and Engineering Methods in Computer Science (MEMICS) 2010, rok: 2010
-
Almost Linear Büchi Automata
Rok: 2010, druh: Další prezentace na konferencích
-
CoIn-DiVinE
Rok: 2010
-
CUDA Accelerated LTL Model Checking -- Revisited
Proceedings of 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), rok: 2010