- Supporting Real-Life Applications in Hierarchical Component Systems2009 | Faculty of Mathematics and Physics
- Dynamic Reconfiguration and Access to Services in Hierarchical Component Models2006 | Faculty of Mathematics and Physics
- Advanced Features of Hierarchical Component Models2007 | Faculty of Mathematics and Physics
- SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model +22006 | Faculty of Mathematics and Physics
- Automated deployment of hierarchical components2013 | Faculty of Mathematics and Physics
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | 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
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective +12005 | Faculty of Mathematics and Physics
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective2005 | Publication without faculty affiliation
- CoCoME in SOFA2008 | Faculty of Mathematics and Physics
- Modeling Environment for Component Model Checking from Hierarchical Architecture2007 | Faculty of Mathematics and Physics
- Formal Verification of Components in Java2008 | Faculty of Mathematics and Physics
- Strengthening architectures of smart CPS by modeling them as runtime product-lines2014 | Faculty of Mathematics and Physics