| 2008 |
|---|
| 11 | EE | 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 |
|---|
| 10 | EE | Milan Ceska,
Pavel Erlebach,
Tomás Vojnar:
Pattern-Based Verification for Trees.
EUROCAST 2007: 488-496 |
| 9 | EE | Jiri Barnat,
Lubos Brim,
Ivana Cerná,
Milan Ceska,
Jana Tumova:
ProbDiVinE: A Parallel Qualitative LTL Model Checker.
QEST 2007: 215-216 |
| 8 | EE | 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) |
| 2006 |
|---|
| 7 | EE | 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 |
|---|
| 6 | EE | Milan Ceska,
Bohuslav Krena,
Tomás Vojnar:
Parallel State Space Generation and Exploration on Shared-Memory Architectures.
EUROCAST 2005: 275-280 |
| 2003 |
|---|
| 5 | EE | Milan Ceska,
Ludek Hasa,
Tomás Vojnar:
Partial-Order Reduction in Model Checking Object-Oriented Petri Nets.
EUROCAST 2003: 265-278 |
| 2001 |
|---|
| 4 | EE | Milan Ceska,
Vladimír Janousek,
Tomás Vojnar:
Analysis and Verification Queries over Object-Oriented Petri Nets.
EUROCAST 2001: 369-384 |
| 3 | | 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) |
| 1999 |
|---|
| 2 | | Milan Ceska,
Vladimír Janousek,
Tomás Vojnar:
Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.
EUROCAST 1999: 90-104 |
| 1997 |
|---|
| 1 | | Milan Ceska,
Vladimír Janousek,
Tomás Vojnar:
PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling.
EUROCAST 1997: 591-610 |
