| |
| 2007 | ||
|---|---|---|
| 4 | EE | Viliam Holub, Frantisek Plasil: Reducing Component Systems' Behavior Specification. SCCC 2007: 63-72 |
| 3 | EE | Viliam Holub, Petr Tuma: Streaming State Space: A Method of Distributed Model Verification. TASE 2007: 356-368 |
| 2 | EE | Martin Jambor, Tomas Hruby, Jan Taus, Kuba Krchak, Viliam Holub: Implementation of a Linux log-structured file system with a garbage collector. Operating Systems Review 41(1): 24-32 (2007) |
| 2004 | ||
| 1 | EE | Frantisek Plasil, Viliam Holub: Exceptions in Component Interaction Protocols - Necessity. Architecting Systems with Trustworthy Components 2004: 227-244 |
| 1 | Tomas Hruby | [2] |
| 2 | Martin Jambor | [2] |
| 3 | Kuba Krchak | [2] |
| 4 | Frantisek Plasil | [1] [4] |
| 5 | Jan Taus | [2] |
| 6 | Petr Tuma | [3] |