| * | 2009 |
|---|
| 5 | EE | Nikola Benes,
Jan Kretínský,
Kim Guldstrand Larsen,
Jirí Srba:
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.
ICTAC 2009: 112-126 |
| 4 | EE | Nikola Benes,
Lubos Brim,
Ivana Cerná,
Jiri Sochor,
Pavlína Vareková,
Barbora Zimmerova:
Partial Order Reduction for State/Event LTL.
IFM 2009: 307-321 |
| 3 | EE | Nikola Benes,
Jan Kretínský,
Kim Guldstrand Larsen,
Jirí Srba:
On determinism in modal transition systems.
Theor. Comput. Sci. 410(41): 4026-4043 (2009) |
| 2008 |
|---|
| 2 | EE | Nikola Benes,
Ivana Cerná,
Jiri Sochor,
Pavlína Vareková,
Barbora Zimmerova:
A Case Study in Parallel Verification of Component-Based Systems.
Electr. Notes Theor. Comput. Sci. 220(2): 67-83 (2008) |
| 2007 |
|---|
| 1 | EE | Barbora Zimmerova,
Pavlína Vareková,
Nikola Benes,
Ivana Cerná,
Lubos Brim,
Jiri Sochor:
Component-Interaction Automata Approach (CoIn).
CoCoME 2007: 146-176 |
