- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j5 |      | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distrib. Comput. 72(9): 1083-1097 (2012) |
| c19 | | Alexander Ditter, Milan Ceska, Gerald Lüttgen: On Parallel Software Verification Using Boolean Equation Systems. SPIN 2012: 80-97 |
| 2011 | ||
| c18 | | |
| c17 | | Jan Fiedor, Marek Gach, Milan Ceska: A Novel Approach to Modechart Verification of Real-Time Systems. EUROCAST (1) 2011: 559-567 |
| c16 | | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Strongly Connected Components in Parallel on CUDA. IPDPS 2011: 544-555 |
| c15 | | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Optimal Cycle Mean in Parallel on CUDA. PDMC 2011: 68-83 |
| 2010 | ||
| c14 | | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ICPADS 2010: 259-266 |
| c13 | | |
| 2009 | ||
| j4 | | Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar: Preface. Electr. Notes Theor. Comput. Sci. 251: 1-3 (2009) |
| c12 | | Jirí Hýsek, Milan Ceska, Vladimír Janousek: Model-Based Design and Verification of Reactive Systems. EUROCAST 2009: 865-872 |
| c11 | | Jiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr: CUDA Accelerated LTL Model Checking. ICPADS 2009: 34-41 |
| c10 | | Jiri Barnat, Lubos Brim, Milan Ceska: DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking. PDMC 2009: 107-111 |
| 2008 | ||
| c9 | | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: Local Quantitative LTL Model Checking. FMICS 2008: 53-68 |
| c8 | | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78 |
| 2007 | ||
| j3 | | Milan Ceska, Pavel Erlebach, Tomás Vojnar: Generalised multi-pattern-based verification of programs with linear linked structures. Formal Asp. Comput. 19(3): 363-374 (2007) |
| c7 | | Milan Ceska, Pavel Erlebach, Tomás Vojnar: Pattern-Based Verification for Trees. EUROCAST 2007: 488-496 |
| c6 | | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216 |
| 2006 | ||
| j2 | | Milan Ceska, Pavel Erlebach, Tomás Vojnar: Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. Electr. Notes Theor. Comput. Sci. 145: 113-130 (2006) |
| 2005 | ||
| c5 | | Milan Ceska, Bohuslav Krena, Tomás Vojnar: Parallel State Space Generation and Exploration on Shared-Memory Architectures. EUROCAST 2005: 275-280 |
| 2003 | ||
| c4 | | Milan Ceska, Ludek Hasa, Tomás Vojnar: Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. EUROCAST 2003: 265-278 |
| 2001 | ||
| j1 |  | Milan Ceska, Vladimír Janousek, Tomás Vojnar: Generating and using state spaces of object-oriented Petri nets. Comput. Syst. Sci. Eng. 16(3): 183-193 (2001) |
| c3 | | Milan Ceska, Vladimír Janousek, Tomás Vojnar: Analysis and Verification Queries over Object-Oriented Petri Nets. EUROCAST 2001: 369-384 |
| 1999 | ||
| c2 | | Milan Ceska, Vladimír Janousek, Tomás Vojnar: Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. EUROCAST 1999: 90-104 |
| 1997 | ||
| c1 | | Milan Ceska, Vladimír Janousek, Tomás Vojnar: PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. EUROCAST 1997: 591-610 |
Data released under the ODC-BY 1.0 license — See also our legal information page