doc. RNDr. Milan Češka, Ph.D.
| E‑mail: |
|
|---|
Publications
Total number of publications: 32
2013
-
Robustness Analysis of Stochastic Systems
Electronic Proceedings in Theoretical Computer Science, Volume 116, year: 2013
2012
-
Designing Fast LTL Model Checking Algorithms for Many-core GPUs
Journal of Parallel and Distributed Computing, year: 2012, volume: 72, edition: 9, DOI
-
On Parallel Software Verification Using Boolean Equation Systems
SPIN Workshop on Model Checking of Software, year: 2012
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
2010
-
CUDA Accelerated LTL Model Checking -- Revisited
Proceedings of 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), year: 2010
-
DiVinE: Parallel Distributed Model Checker (Tool paper)
Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), year: 2010
-
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010), year: 2010
-
MWC-DiVinE
Year: 2010