Exceptions in Component Interaction Protocols - Necessity. - Frantisek Plásil; Viliam Holub (Architecting Systems with Trustworthy Components, 2004)

Reducing Component Systems' Behavior Specification. - Viliam Holub; Frantisek Plásil (SCCC, 2007)

Streaming State Space: A Method of Distributed Model Verification. - Viliam Holub; Petr Tuma 001 (TASE, 2007)

Implementation of a Linux log-structured file system with a garbage collector. - Martin Jambor; Tomás Hrubý; Jan Taus; Kuba Krchak; Viliam Holub (ACM SIGOPS Oper. Syst. Rev., 2007)

Teaching operating systems: student assignments and the software engineering perspective. - Vlastimil Babka; Lubomír Bulej; Martin Decký; Viliam Holub; Petr Tuma 001 (SEESE@ICSE, 2008)

CLOPS: A DSL for Command Line Options. - Mikolás Janota; Fintan Fairmichael; Viliam Holub; Radu Grigore; Julien Charles; Dermot Cochran; Joseph R. Kiniry (DSL, 2009)

Run-time correlation engine for system monitoring and testing. - Viliam Holub; Trevor Parsons; Patrick O'Sullivan; John Murphy 001 (ICAC, 2009)

Scalable Run-Time Correlation Engine for Monitoring in a Cloud Computing Environment. - Miao Wang 002; Viliam Holub; Trevor Parsons; John Murphy 001; Patrick O'Sullivan (ECBS, 2010)

A semantic monitoring and management framework for end-to-end services. - John Keeney; Owen Conlan; Viliam Holub; Miao Wang 002; Laetitia Chapel; Martin Serrano; Sven van der Meer (Integrated Network Management, 2011)

Event Indexing and Searching for High Volumes of Event Streams in the Cloud. - Miao Wang 002; Viliam Holub; John Murphy 001; Patrick O'Sullivan (COMPSAC, 2012)

Symptom matching for event streams. - Miao Wang 002; Viliam Holub; Trevor Parsons; Patrick O'Sullivan; John Murphy 001 (IET Softw., 2012)

Stream-based event prediction using bayesian and bloom filters. - Miao Wang 002; Viliam Holub; John Murphy 001; Patrick O'Sullivan (ICPE, 2013)

High volumes of event stream indexing and efficient multi-keyword searching for cloud monitoring. - Miao Wang 002; Viliam Holub; John Murphy 001; Patrick O'Sullivan (Future Gener. Comput. Syst., 2013)