appearance

MU › FI › About the faculty › People Search at MU › Personal page › Publications

Masaryk University - Faculty of Informatics

Skip navigation

Skip the Organizational structure panel
Organizational structure
On selecting a constituent part of MU the "Staff" page will be displayed with information relevant to the selected constituent part. The "Staff" page is not available for non-activated items.

Masaryk University
- Faculties
- Law
- Medicine
- Science
- Arts
- Education
- Economics
- Informatics
- Social Studies
- Sports Studies
- Institutes
- Computer Science
- CEITEC MU
- Politica
- Specialized Units
- Hostels & Canteens
- University Press
- Telč Centre
- UCB Management
- Rector`s Office
- Rectorate
- Other Units
- Archive
- Language Centre
- International Studies
- Disabled Students
- Technology Transfer
- Biostatistics
- Mendel Museum
- CERIT
- Civic Education
- Project Team CEITEC

Faculty of Informatics

RNDr. Milan Češka

Basic CV Supervisor Qualifications Publications Projects Teaching

2012

Designing Fast LTL Model Checking Algorithms for Many-core GPUs

BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Designing Fast LTL Model Checking Algorithms for Many-core GPUs. Journal of Parallel and Distributed Computing, Elsevier. ISSN 0743-7315, 2012.

2011

Computing Optimal Cycle Mean in Parallel on CUDA

BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Computing Optimal Cycle Mean in Parallel on CUDA. Electronic Proceedings in Theoretical Computer Science, USA. ISSN 2075-2180, 2011, vol. 72, no. 2011, pp. 68-83. PDMC 2011.

Computing Strongly Connected Components in Parallel on CUDA

BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Computing Strongly Connected Components in Parallel on CUDA. In Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium. Anchorage, AK : IEEE Computer Society, 2011. ISBN 978-1-61284-372-8, pp. 544 - 555.

CUDA Accelerated LTL Model Checking - Revisited

BAUCH, Petr - ČEŠKA, Milan.
CUDA Accelerated LTL Model Checking - Revisited. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4, pp. 1--8.

2010

CUDA Accelerated LTL Model Checking -- Revisited

BAUCH, Petr - ČEŠKA, Milan.
CUDA Accelerated LTL Model Checking -- Revisited. In Proceedings of 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010). Brno : NOVPRESS, 2010. ISBN 978-80-87342-10-7, pp. 11-19. 2010, Mikulov, Česká republika.

DiVinE: Parallel Distributed Model Checker (Tool paper)

BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan - ROČKAI, Petr.
DiVinE: Parallel Distributed Model Checker (Tool paper). In Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010). : 2010. 4 pp. 2010, Twente, Netherlands.

Employing Multiple CUDA Devices to Accelerate LTL Model Checking

BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. In Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010). Neuveden : IEEE Computer Society, 2010. ISBN 978-0-7695-4307-9, pp. 259-266. 2010, Shanghai, China.

MWC-DiVinE

BARNAT, Jiří - BRIM, Luboš - BAUCH, Petr - ČEŠKA, Milan.
MWC-DiVinE. 2010.

ProbDiVinE 2.0

APPL, Jiří - BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE 2.0. 2010.

2009

CUDA Accelerated LTL Model Checking

BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan - LAMR, Tomáš.
CUDA Accelerated LTL Model Checking. In Proceedings of the 15th International Conference on Parallel and Distributed Systems. Neuveden : Roy Sterritt, 2009. ISBN 978-0-7695-3900-3, pp. 34-41. 8.12.2009, Shezhen, Čína.

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan.
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking. Electronic Proceedings in Theoretical Computer Science, USA. ISSN 2075-2180, 2009, vol. 14, no. Prosinec, pp. 107--111.

DiVinE 2.0

ROČKAI, Petr - BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan.
DiVinE 2.0. 2009.

DiVinE Cuda

BARNAT, Jiří - BRIM, Luboš - BAUCH, Petr - ČEŠKA, Milan - LAMR, Tomáš.
DiVinE Cuda. 2009.

Local Quantitative LTL Model Checking

BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Local Quantitative LTL Model Checking. In Formal Methods for Industrial Critical Systems. Neuveden : Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-03239-4, pp. 53-68. 2008, L'Aquila, Italy.

2008

DiVinE Cluster

BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - ŠIMEČEK, Pavel.
DiVinE Cluster. 2008.

Local Quantitative LTL Model Checking

BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Local Quantitative LTL Model Checking. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla : ERCIM, 2008. ISBN 978-3-642-03239-4, pp. 63-78. 2008, L'Aquilla.

ProbDiVinE-MC

BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE-MC. 2008.

ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems

BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. In QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems. Washington, DC, USA : IEEE Computer Society, 2008. ISBN 978-0-7695-3360-5, pp. 77-78. 2008, St Malo, France.

2007

ProbDiVinE

BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE. 2007.

ProbDiVinE: A Parallel Qualitative LTL Model Checker

BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE: A Parallel Qualitative LTL Model Checker. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07). United States of America : IEEE Computer Society, 2007. ISBN 0-7695-2883-X, pp. 215-216. 2007, Edinburgh, Scotland.

2006

Distributed Qualitative LTL Model Checking of Markov Decision Processes

BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Distributed Qualitative LTL Model Checking of Markov Decision Processes. In Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation. Bonn, Germany : University of Bonn, 2006. pp. 1-15. 2006, Bonn.

top