Publikace
- Formal Verification of Annotated Use-Cases (2012)
- Assume-Guarantee Verification of Software Components in SOFA 2 Framework (2010)
- Heuristic Reduction of Parallelism in Component Environment (2007)
- Slicing behavior specification of components (2007)
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker (2006)
- Component Composition Errors and Update Atomicity: Static Analysis (2005)
- Specification and Generation of Environment for Model Checking of Software Compnents (2005)
- Static Checking for Missing Bindings of Components (2004)
- Composing Connectors of Elements (2003)
- SOFSEM 2002: Theory and Practice of Informatics (2002)
- Use Cases: Assembling "Whole Picture" Behavior (2002)
- Behavior Protocols: Tolerating Faulty Architectures and Supporting Dynamic Updates (2002)
- Behavior Protocols (2000)
- A Hierarchical Model of Software Connectors (2000)
- Transaction Models vers. Behaviour Protocols (1999)
- Behavior Protocols and Components (1999)
- Update Description Language (1999)
- Describing the Functionality of EJB using the Behavior Protocols (1999)
- SOFSEM'97: Theory and Practice of Informatics. 24th Seminar on Current Trends in Theory and Practice of Informatics (1997)
- SOFA/DCUP: Architecture for Component Trading and Dynamic Updating (1997)
- DCUP: Dynamic Component Updating in Java/CORBA Environment (1997)
- Parallel Computers: Theory and Practice (1996)
- Memory Management in Spring (1995)
- An Overcoming on Inheritance Anomaly (1995)
- Supporting Interoperability in CORBA via Object Services (1995)
- Lessons Learned from Implementing Persistence Service (1995)
- Operační systémy (1992)
Projekty
- Realistická aplikace formálních metod v komponentových systémech (2005–2009)
- SOFA - Software Appliances (1999–2002)