| * | 2009 |
|---|
| 8 | EE | Michal Kebrt,
Ondrej Sery:
UnitCheck: Unit Testing and Model Checking Combined.
ATVA 2009: 97-103 |
| 7 | EE | Ondrej Sery:
Enhanced Property Specification and Verification in BLAST.
FASE 2009: 456-469 |
| 2007 |
|---|
| 6 | EE | Ondrej Sery,
Frantisek Plasil:
Slicing of Component Behavior Specification with Respect to Their Composition.
CBSE 2007: 189-202 |
| 5 | 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 |
| 4 | 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 |
| 3 | EE | Cyril Brom,
Ondrej Sery,
Tomás Poch:
Simulation Level of Detail for Virtual Humans.
IVA 2007: 1-14 |
| 2006 |
|---|
| 2 | EE | Ondrej Sery,
Tomás Poch,
Pavel Safrata,
Cyril Brom:
Level-of-Detail in Behaviour of Virtual Humans.
SOFSEM 2006: 565-574 |
| 2005 |
|---|
| 1 | EE | Cyril Brom,
Ondrej Sery,
Tomás Poch,
Pavel Safrata:
GAL: Towards Large Simulations with Tens of Agents.
IVA 2005: 493 |
