Viliam Holub
Viliam Holub
CTO at Logentries/ former Post Doc at University College Dublin
Verified email at logentries.com
Title
Cited by
Cited by
Year
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
382009
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
242010
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
192007
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
162013
Streaming state space: A method of distributed model verification
V Holub, P Tuma
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
102007
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
92011
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
22012
CLOPS: A DSL for command line options
M Janota, F Fairmichael, V Holub, R Grigore, J Charles, D Cochran, ...
IFIP Working Conference on Domain-Specific Languages, 187-210, 2009
22009
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
22008
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
22006
On verification of generalized interaction models of software components
V Holub
In European Conference on Object-Oriented Programming: Doctoral Symposium, 2006
22006
Exceptions in component interaction protocols–necessity
F Plasil, V Holub
Architecting Systems with Trustworthy Components, 227-244, 2006
22006
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
12013
Symptom matching for event streams
M Wang, V Holub, T Parsons, P O'Sullivan, J Murphy
IET software 6 (4), 296-306, 2012
12012
Reducing component systems' behavior specification
V Holub, F Plasil
XXVI International Conference of the Chilean Society of Computer Science …, 2007
12007
Fighting the state explosion problem in component protocols
V Holub
Univerzita Karlova, Matematicko-fyzikální fakulta, 2007
12007
Enhancing Behavior Protocols with Exceptions
V Holub
WDS 30, 35, 2005
12005
Search expression generation
V Holub, T Parsons
US Patent App. 16/175,954, 2020
2020
Applying a Market Mechanism to Optimizing the Utilization of Computing Resources
X Li, J Thorburn, V Holub, P O’Sullivan, L Murphy, J Murphy
The IT&T, 94, 2012
2012
Applying a market mechanism to optimizing the utilization of computing resources
J Thorburn, X Li, V Holub, P O'Sullivan, L Murphy, J Murphy
2012
The system can't perform the operation now. Try again later.
Articles 1–20