Project information
Verification and Analysis of Large-Scale Computer Systems
- Project Identification
- GA201/09/1389
- Project Period
- 1/2009 - 12/2011
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
- Faculty of Informatics
- Keywords
- verification, model-checking, parallel algorithms
Publications
Total number of publications: 53
2012
-
Almost linear Büchi automata
Mathematical Structures in Computer Science, year: 2012, volume: 22, edition: 2, DOI
-
Designing Fast LTL Model Checking Algorithms for Many-core GPUs
Journal of Parallel and Distributed Computing, year: 2012, volume: 72, edition: 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, year: 2012
-
On Parameter Synthesis by Parallel Model Checking
IEEE/ACM Transactions on Computational Biology and Bioinformatics, year: 2012, volume: 9, edition: 3, DOI
-
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties
Science of Computer Programming, year: 2012, volume: 77, edition: 12, DOI
-
Using strategy improvement to stay alive
International Journal of Foundations of Computer Science, year: 2012, volume: 23, edition: 3, DOI
2011
-
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, year: 2011
-
Computing Optimal Cycle Mean in Parallel on CUDA
Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: 72, edition: 2011, DOI
-
Computing Strongly Connected Components in Parallel on CUDA
Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, year: 2011
-
CUDA Accelerated LTL Model Checking - Revisited
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, year: 2011