Search the dblp DataBase

Publications of Author

1. Frantisek Plasil, Viliam Holub
   Exceptions in Component Interaction Protocols - Necessity. [Citation Graph (0, 0)][DBLP]
   Architecting Systems with Trustworthy Components, 2004, pp:227-244 [Conf]
   
2. Martin Jambor, Tomas Hruby, Jan Taus, Kuba Krchak, Viliam Holub
   Implementation of a Linux log-structured file system with a garbage collector. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 2007, v:41, n:1, pp:24-32 [Journal]
   
3. Viliam Holub, Petr Tuma
   Streaming State Space: A Method of Distributed Model Verification. [Citation Graph (0, 0)][DBLP]
   TASE, 2007, pp:356-368 [Conf]
   
4. 
   CLOPS: A DSL for Command Line Options. [Citation Graph (, )][DBLP]
   
   
5. 
   Scalable Run-Time Correlation Engine for Monitoring in a Cloud Computing Environment. [Citation Graph (, )][DBLP]
   
   
6. 
   Run-time correlation engine for system monitoring and testing. [Citation Graph (, )][DBLP]
   
   
7. 
   Reducing Component Systems' Behavior Specification. [Citation Graph (, )][DBLP]