 | 2009 |
|---|
| 11 |       | Pavel Parizek,
Tomás Kalibera:
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.
FMICS 2009: 117-132 |
| 10 | | Jan Kofron,
Pavel Parizek,
Ondrej Sery:
On Teaching Formal Methods: Behavior Models and Code Analysis.
TFM 2009: 144-157 |
| 9 | | Pavel Parizek,
Jirí Adámek,
Tomás Kalibera:
Automated Construction of Reasonable Environment for Java Components.
Electr. Notes Theor. Comput. Sci. 253(1): 145-160 (2009) |
| 2008 |
|---|
| 8 | | Pavel Parizek,
Jirí Adámek:
Checking Session-Oriented Interactions between Web Services.
SEAA 2008: 3-10 |
| 7 | | Pavel Parizek,
Frantisek Plasil:
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.
TOOLS (46) 2008: 2-21 |
| 2007 |
|---|
| 6 | | 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 | | 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 | | Pavel Parizek,
Frantisek Plasil:
Partial Verification of Software Components: Heuristics for Environment Construction.
EUROMICRO-SEAA 2007: 75-82 |
| 3 | | 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 | | Pavel Parizek,
Frantisek Plasil:
Modeling Environment for Component Model Checking from Hierarchical Architecture.
Electr. Notes Theor. Comput. Sci. 182: 139-153 (2007) |
| 2006 |
|---|
| 1 | | Pavel Parizek,
Frantisek Plasil,
Jan Kofron:
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.
SEW 2006: 133-141 |
