| * | 2008 |
|---|
| 9 | | Pavel Moravec:
Approximations of state spaces reduced by partial order reduction.
SOFSEM (2) 2008: 78-90 |
| 8 | EE | Pavlína Vareková,
Barbora Zimmerova,
Pavel Moravec,
Ivana Cerná:
Formal verification of systems with an unlimited number of components.
IET Software 2(6): 532-546 (2008) |
| 2007 |
|---|
| 7 | EE | Pavlína Vareková,
Pavel Moravec,
Ivana Cerná,
Barbora Zimmerova:
Effective verification of systems with a dynamic number of components.
SAVCBS 2007: 3-13 |
| 2006 |
|---|
| 6 | EE | Jiri Barnat,
Lubos Brim,
Ivana Cerná,
Pavel Moravec,
Petr Rockai,
Pavel Simecek:
DiVinE - A Tool for Distributed Verification.
CAV 2006: 278-281 |
| 5 | EE | Jiri Barnat,
Pavel Moravec:
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs.
FMICS/PDMC 2006: 316-330 |
| 4 | EE | Lubos Brim,
Ivana Cerná,
Pavel Moravec,
Jirí Simsa:
On Combining Partial Order Reduction with Fairness Assumptions.
FMICS/PDMC 2006: 84-99 |
| 3 | EE | Lubos Brim,
Ivana Cerná,
Pavel Moravec,
Jirí Simsa:
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.
Electr. Notes Theor. Comput. Sci. 135(2): 3-18 (2006) |
| 2005 |
|---|
| 2 | EE | Lubos Brim,
Ivana Cerná,
Pavel Moravec,
Jirí Simsa:
Distributed Partial Order Reduction of State Spaces.
Electr. Notes Theor. Comput. Sci. 128(3): 63-74 (2005) |
| 2004 |
|---|
| 1 | EE | Lubos Brim,
Ivana Cerná,
Pavel Moravec,
Jirí Simsa:
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking.
FMCAD 2004: 352-366 |
