- SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model +22006 | Faculty of Mathematics and Physics
- Supporting Real-Life Applications in Hierarchical Component Systems2009 | Faculty of Mathematics and Physics
- First version of SOFA 2 frameworkPublication without faculty affiliation
- Modeling Environment for Component Model Checking from Hierarchical Architecture2007 | Faculty of Mathematics and Physics
