| 2006 |
|---|
| 5 | EE | Lubos Brim,
Ivana Cerná,
Pavel Moravec,
Jirí Simsa:
On Combining Partial Order Reduction with Fairness Assumptions.
FMICS/PDMC 2006: 84-99 |
| 4 | 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 |
|---|
| 3 | EE | David Safránek,
Jirí Simsa:
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures.
SOFSEM 2005: 320-329 |
| 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 |
