 | 2009 |
|---|
| 6 |       | Jan Kofron,
Pavel Parizek,
Ondrej Sery:
On Teaching Formal Methods: Behavior Models and Code Analysis.
TFM 2009: 144-157 |
| 5 | | Jan Kofron,
Frantisek Plasil,
Ondrej Sery:
Modes in component behavior specification via EBP and their application in product lines.
Information & Software Technology 51(1): 31-41 (2009) |
| 2007 |
|---|
| 4 | | 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 |
| 3 | | Jan Kofron:
Checking software component behavior using behavior protocols and spin.
SAC 2007: 1513-1517 |
| 2006 |
|---|
| 2 | | Pavel Parizek,
Frantisek Plasil,
Jan Kofron:
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.
SEW 2006: 133-141 |
| 1 | | Pavel Jezek,
Jan Kofron,
Frantisek Plasil:
Model Checking of Component Behavior Specification: A Real Life Experience.
Electr. Notes Theor. Comput. Sci. 160: 197-210 (2006) |
