- Modeling and Meta-modeling of Software Components2008 | Faculty of Mathematics and Physics
- Carmen : Software Component Model Checker2008 | Faculty of Mathematics and Physics
- Carmen - the software component model checker +1Publication without faculty affiliation
- Addressing Unbounded Parallelism in Verification of Software Components2006 | Faculty of Mathematics and Physics
- Verification of Software Components: Addressing Unbounded Parallelism2007 | Faculty of Mathematics and Physics
- Software Component Verification: On Translating Behavior Protocols to PromelaPublication without faculty affiliation
- Runtime Concepts of Hierarchical Software Components2007 | Faculty of Mathematics and Physics
- Checking Software Components Behavior Using Behavior Protocols and Spin2007 | Faculty of Mathematics and Physics
- Specification and Generation of Environment for Model Checking of Software Components2007 | Faculty of Mathematics and Physics
- Safe Systems with Software Components in SOFA 22008 | Faculty of Mathematics and Physics
- Partial Verification of Software Components: Heuristics for Environment Construction +22007 | Faculty of Mathematics and Physics
- Application of DES Theory to Verification of Software Components2009 | Faculty of Mathematics and Physics
- Online Software Components for Accessing Derivational Networks2017 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
- The Common Component Modeling Example: Comparing Software Component Models2008 | Faculty of Mathematics and Physics
- Assume-Guarantee Verification of Software Components in SOFA 2 Framework2010 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol CheckerPublication without faculty affiliation
- Software components for C #. NET 2003Publication without faculty affiliation
- From Object to Software Components.Publication without faculty affiliation
- What Characterizes a (Software) Components1998 | Faculty of Mathematics and Physics
- Behavior Protocols for Software Components2002 | Publication without faculty affiliation
- Transactions in Software Components: Container-Interposed Transactions2002 | Publication without faculty affiliation
- Behavior protocols: An approach to semantical descriptions of software componentsPublication without faculty affiliation
- Comparing the Service Component Architecture and Fractal Component Model2011 | Faculty of Mathematics and Physics
- A Method for Semi-automated Generation of Test Scenarios Based on Use Cases2015 | Faculty of Mathematics and Physics