- SOFA 2.0: nastavení pokročilých vlastností v hierarchickém komponentovém modelu +22006 | Matematicko-fyzikální fakulta
- Podpora pro tvorbu reálných aplikací v prostředí hierarchických komponentových systémů2009 | Matematicko-fyzikální fakulta
- První verze komponentového frameworku SOFA 2Publikace bez příslušnosti k fakultě
- Modelování prostředí pro model checking komponent z hierarchických architektur2007 | Matematicko-fyzikální fakulta