| 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 | 46 | 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 | 24 | 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 | 21 | 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 | 19 | 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 | 14 | 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 | 11 | 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 | 10 | 2011 |
| Detection of outliers in text records V Holub, E Shanley, T Parsons US Patent 11,080,307, 2021 | 5 | 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 | 5 | 2008 |
| Search expression generation V Holub, T Parsons US Patent 11,487,796, 2022 | 2 | 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 | 2 | 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 | 2 | 2009 |
| On verification of generalized interaction models of software components V Holub European Conference on Object-Oriented Programming: Doctoral Symposium, 2006 | 2 | 2006 |
| Exceptions in component interaction protocols–necessity F Plasil, V Holub Architecting Systems with Trustworthy Components: International Seminar …, 2004 | 2 | 2004 |
| Generating thread sensors for extracting side channel information from multithreading processors V Holub US Patent 11,687,361, 2023 | 1 | 2023 |
| Symptom matching for event streams M Wang, V Holub, T Parsons, P O'Sullivan, J Murphy IET software 6 (4), 296-306, 2012 | 1 | 2012 |
| Reducing component systems' behavior specification V Holub, F Plasil XXVI International Conference of the Chilean Society of Computer Science …, 2007 | 1 | 2007 |
| Fighting the state explosion problem in component protocols V Holub Univerzita Karlova, Matematicko-fyzikální fakulta, 2007 | 1 | 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 | 1 | 2006 |
| Enhancing Behavior Protocols with Exceptions V Holub WDS 30, 35, 2005 | 1 | 2005 |
