- Srovnání komponentových frameworků pro vestavěné systémy reálného času2010 | Matematicko-fyzikální fakulta
- Zavádění podpory pro vývoj vestavěných a real-time zařízení do existujích komponentových systémů2011 | Matematicko-fyzikální fakulta
- Bezpečné systémy pomocí softwarových komponent v SOFA 22008 | Matematicko-fyzikální fakulta