- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- Verifikace softwarových komponent v platformě SOFA 2 podle paradigmatu assume-guarantee2010 | Matematicko-fyzikální fakulta
- Srovnání "Service Component Architecture" a "Fractal Component Model" systémů2011 | Matematicko-fyzikální fakulta
- Software pro výpočet energie a entropie biologických signálůPublikace bez příslušnosti k fakultě
- Operační systém pro všeobecné použití postavený na komponentech2007 | Matematicko-fyzikální fakulta
- Aplikace teorie DES na verifikaci softwarových komponent2009 | Matematicko-fyzikální fakulta
- Módy ve specifikaci chování komponent v EBP a jejich aplikace v product lines2009 | Matematicko-fyzikální fakulta
- Modelování prostředí pro model checking komponent z hierarchických architektur2007 | Matematicko-fyzikální fakulta