 | 2009 |
| 5 |  | Mikolás Janota,
Fintan Fairmichael,
Viliam Holub,
Radu Grigore,
Julien Charles,
Dermot Cochran,
Joseph R. Kiniry:
CLOPS: A DSL for Command Line Options.
DSL 2009: 187-210 |
| 2007 |
| 4 |  | Viliam Holub,
Frantisek Plasil:
Reducing Component Systems' Behavior Specification.
SCCC 2007: 63-72 |
| 3 |  | Viliam Holub,
Petr Tuma:
Streaming State Space: A Method of Distributed Model Verification.
TASE 2007: 356-368 |
| 2 |  | 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 |  | Frantisek Plasil,
Viliam Holub:
Exceptions in Component Interaction Protocols - Necessity.
Architecting Systems with Trustworthy Components 2004: 227-244 |