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
2012
-
Almost linear Büchi automata
Mathematical Structures in Computer Science, rok: 2012, ročník: 22, vydání: 2, DOI
-
Designing Fast LTL Model Checking Algorithms for Many-core GPUs
Journal of Parallel and Distributed Computing, rok: 2012, ročník: 72, vydání: 9, DOI
-
LTL to Büchi Automata Translation: Fast and More Deterministic
TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, rok: 2012
-
On Parameter Synthesis by Parallel Model Checking
IEEE/ACM Transactions on Computational Biology and Bioinformatics, rok: 2012, ročník: 9, vydání: 3, DOI
-
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties
Science of Computer Programming, rok: 2012, ročník: 77, vydání: 12, DOI
-
Using strategy improvement to stay alive
International Journal of Foundations of Computer Science, rok: 2012, ročník: 23, vydání: 3, DOI
2011
-
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, rok: 2011
-
Computing Optimal Cycle Mean in Parallel on CUDA
Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: 72, vydání: 2011, DOI
-
Computing Strongly Connected Components in Parallel on CUDA
Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, rok: 2011
-
CUDA Accelerated LTL Model Checking - Revisited
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, rok: 2011