 | 2011 |
|---|
| 8 |       | John Keeney,
Owen Conlan,
Viliam Holub,
Miao Wang,
Laetitia Chapel,
Martin Serrano,
Sven van der Meer:
A semantic monitoring and management framework for end-to-end services.
Integrated Network Management 2011: 658-661 |
| 2010 |
|---|
| 7 | | Miao Wang,
Viliam Holub,
Trevor Parsons,
John Murphy,
Patrick O'Sullivan:
Scalable Run-Time Correlation Engine for Monitoring in a Cloud Computing Environment.
ECBS 2010: 29-38 |
| 2009 |
|---|
| 6 | | 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 |
| 5 | | Viliam Holub,
Trevor Parsons,
Patrick O'Sullivan,
John Murphy:
Run-time correlation engine for system monitoring and testing.
ICAC 2009: 43-44 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page