Viliam Holub
Viliam Holub
CTO at Logentries/ former Post Doc at University College Dublin
Verified email at
Cited by
Cited by
Run-time correlation engine for system monitoring and testing
V Holub, T Parsons, P O'Sullivan, J Murphy
Proceedings of the 6th international conference industry session on …, 2009
Scalable run-time correlation engine for monitoring in a cloud computing environment
M Wang, V Holub, T Parsons, J Murphy, P O'Sullivan
2010 17th IEEE International Conference and Workshops on Engineering of …, 2010
Implementation of a Linux log-structured file system with a garbage collector
M Jambor, T Hruby, J Taus, K Krchak, V Holub
ACM SIGOPS Operating Systems Review 41 (1), 24-32, 2007
High volumes of event stream indexing and efficient multi-keyword searching for cloud monitoring
M Wang, V Holub, J Murphy, P O’Sullivan
Future Generation Computer Systems 29 (8), 1943-1962, 2013
Event Indexing and Searching for High Volumes of Event Streams in the Cloud
M Wang, V Holub, J Murphy, P O'Sullivan
2012 IEEE 36th Annual Computer Software and Applications Conference, 405-415, 2012
Streaming state space: A method of distributed model verification
V Holub, P Tuma
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
A semantic monitoring and management framework for end-to-end services
J Keeney, O Conlan, V Holub, M Wang, L Chapel, M Serrano, ...
12th IFIP/IEEE International Symposium on Integrated Network Management (IM …, 2011
Detection of outliers in text records
V Holub, E Shanley, T Parsons
US Patent 11,080,307, 2021
Teaching operating systems: student assignments and the software engineering perspective
V Babka, L Bulej, M Decky, V Holub, P Tuma
Proceedings of the 2008 international workshop on Software Engineering in …, 2008
Search expression generation
V Holub, T Parsons
US Patent 11,487,796, 2022
Stream-based event prediction using bayesian and bloom filters
M Wang, V Holub, J Murphy, P O'Sullivan
Proceedings of the 4th ACM/SPEC International Conference on Performance …, 2013
CLOPS: A DSL for command line options
M Janota, F Fairmichael, V Holub, R Grigore, J Charles, D Cochran, ...
Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009 Oxford, UK …, 2009
On verification of generalized interaction models of software components
V Holub
European Conference on Object-Oriented Programming: Doctoral Symposium, 2006
Exceptions in component interaction protocols–necessity
F Plasil, V Holub
Architecting Systems with Trustworthy Components: International Seminar …, 2004
Generating thread sensors for extracting side channel information from multithreading processors
V Holub
US Patent 11,687,361, 2023
Symptom matching for event streams
M Wang, V Holub, T Parsons, P O'Sullivan, J Murphy
IET software 6 (4), 296-306, 2012
Reducing component systems' behavior specification
V Holub, F Plasil
XXVI International Conference of the Chilean Society of Computer Science …, 2007
Fighting the state explosion problem in component protocols
V Holub
Univerzita Karlova, Matematicko-fyzikální fakulta, 2007
On Distributed Verification of Generalized Interaction Models of Software Components
V Holub
Proceedings of the ECOOP 2006 Doctoral Symposium and PhD Students Workshop, 1-4, 2006
Enhancing Behavior Protocols with Exceptions
V Holub
WDS 30, 35, 2005
The system can't perform the operation now. Try again later.
Articles 1–20