Informace o projektu
Automatizovaná formální verifikace s využitím soudobého hardware
- Kód projektu
- GP201/09/P497
- Období řešení
- 1/2009 - 12/2011
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Postdoktorské projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
Publikace
Počet publikací: 25
2012
-
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
-
On Expressing and Monitoring Oscillatory Dynamics
Electronic Proceedings in Theoretical Computer Science, rok: 2012, ročník: 2012, vydání: 92, 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
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
2010
-
A Symbolic Approach to Controlling Piecewise Affine Systems
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), rok: 2010
-
DiVinE 2.4
Rok: 2010
-
DiVinE: Parallel Distributed Model Checker (Tool paper)
Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), rok: 2010
-
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010), rok: 2010
-
Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), rok: 2010