Viliam Holub

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Top Venues

Future Gener. Comput. Syst.

Publications

Miao Wang, Viliam Holub, John Murphy, Patrick O'Sullivan
High volumes of event stream indexing and efficient multi-keyword searching for cloud monitoring. Future Gener. Comput. Syst. 29 (8) (2013)
Miao Wang, Viliam Holub, John Murphy, Patrick O'Sullivan
Stream-based event prediction using bayesian and bloom filters. ICPE (2013)
Miao Wang, Viliam Holub, John Murphy, Patrick O'Sullivan
Event Indexing and Searching for High Volumes of Event Streams in the Cloud. COMPSAC (2012)
Miao Wang, Viliam Holub, Trevor Parsons, Patrick O'Sullivan, John Murphy
Symptom matching for event streams. IET Softw. 6 (4) (2012)
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)
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)
Viliam Holub, Trevor Parsons, Patrick O'Sullivan, John Murphy
Run-time correlation engine for system monitoring and testing. ICAC (2009)
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)
Vlastimil Babka, Lubomír Bulej, Martin Decký, Viliam Holub, Petr Tuma
Teaching operating systems: student assignments and the software engineering perspective. SEESE@ICSE (2008)
Viliam Holub, Petr Tuma
Streaming State Space: A Method of Distributed Model Verification. TASE (2007)
Viliam Holub, Frantisek Plasil
Reducing Component Systems' Behavior Specification. SCCC (2007)
Martin Jambor, Tomás Hrubý, Jan Taus, Kuba Krchak, Viliam Holub
Implementation of a Linux log-structured file system with a garbage collector. ACM SIGOPS Oper. Syst. Rev. 41 (1) (2007)
Frantisek Plasil, Viliam Holub
Exceptions in Component Interaction Protocols - Necessity. Architecting Systems with Trustworthy Components (2004)