- Verifikace softwarových komponent v platformě SOFA 2 podle paradigmatu assume-guarantee2010 | Matematicko-fyzikální fakulta
- Formalization of Invariant Patterns for the Invariant Refinement Method2015 | Matematicko-fyzikální fakulta
- Modelování komponentového prostředí za výskytu zpětných volání a autonomních aktivit +12008 | Matematicko-fyzikální fakulta
