| 2008 |
|---|
| 8 | EE | Pavel Parizek,
Jirí Adámek:
Checking Session-Oriented Interactions between Web Services.
SEAA 2008: 3-10 |
| 7 | EE | Pavel Parizek,
Frantisek Plasil:
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.
TOOLS (46) 2008: 2-21 |
| 2007 |
|---|
| 6 | EE | Lubomír Bulej,
Tomás Bures,
Thierry Coupaye,
Martin Decký,
Pavel Jezek,
Pavel Parizek,
Frantisek Plasil,
Tomás Poch,
Nicolas Rivierre,
Ondrej Sery,
Petr Tuma:
CoCoME in Fractal.
CoCoME 2007: 357-387 |
| 5 | EE | Tomás Bures,
Martin Decký,
Petr Hnetynka,
Jan Kofron,
Pavel Parizek,
Frantisek Plasil,
Tomás Poch,
Ondrej Sery,
Petr Tuma:
CoCoME in SOFA.
CoCoME 2007: 388-417 |
| 4 | EE | Pavel Parizek,
Frantisek Plasil:
Partial Verification of Software Components: Heuristics for Environment Construction.
EUROMICRO-SEAA 2007: 75-82 |
| 3 | EE | Pavel Parizek,
Frantisek Plasil:
Specification and Generation of Environment for Model Checking of Software Components.
Electr. Notes Theor. Comput. Sci. 176(2): 143-154 (2007) |
| 2 | EE | Pavel Parizek,
Frantisek Plasil:
Modeling Environment for Component Model Checking from Hierarchical Architecture.
Electr. Notes Theor. Comput. Sci. 182: 139-153 (2007) |
| 2006 |
|---|
| 1 | EE | Pavel Parizek,
Frantisek Plasil,
Jan Kofron:
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.
SEW 2006: 133-141 |
