doc. RNDr. Milan Češka, Ph.D.
| e‑mail: |
|
|---|
Publikace
Počet publikací: 32
2013
-
Robustness Analysis of Stochastic Systems
Electronic Proceedings in Theoretical Computer Science, Volume 116, rok: 2013
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 Parallel Software Verification Using Boolean Equation Systems
SPIN Workshop on Model Checking of Software, rok: 2012
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
2010
-
CUDA Accelerated LTL Model Checking -- Revisited
Proceedings of 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), 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
-
MWC-DiVinE
Rok: 2010