- Assume-Guarantee Verification of Software Components in SOFA 2 Framework2010 | Faculty of Mathematics and Physics
- SOFA 2 release 0.7.0Publication without faculty affiliation
- Extension of SOFA 2 system with OSGi support +1Publication without faculty affiliation
- First version of SOFA 2 frameworkPublication without faculty affiliation
- Safe Systems with Software Components in SOFA 22008 | Faculty of Mathematics and Physics
- SOFA 2 release 0.8.1Publication without faculty affiliation
- SOFA 2 UML release 0.8.1Publication without faculty affiliation
- Using Meta-modeling in Design and Implementation of Component-based Systems: The SOFA Case-study2011 | Faculty of Mathematics and Physics
- SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model2006 | Faculty of Mathematics and Physics
- SOFA IDE release 0.8.1Publication without faculty affiliation
- The power of MOF-based meta-modeling of components2008 | Faculty of Mathematics and Physics
- Using a Product Line for Creating Component Systems2009 | Faculty of Mathematics and Physics
- Automated deployment of hierarchical components2013 | Faculty of Mathematics and Physics
- Introducing Support for Embedded and Real-time Devices into Existing Hierarchical Component System: Lessons Learned2011 | Faculty of Mathematics and Physics
- CoDIT: Bridging the Gap between System-Level and Component-Level Development2012 | Faculty of Mathematics and Physics