- Redukce specifikace komponentových systémů2007 | 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
- Využití metamodelování při návrhu a implementaci komponentových systémů: Případová studie SOFA2011 | Matematicko-fyzikální fakulta
- Kompozice chování v komponentových systémech +1Publikace bez příslušnosti k fakultě
- Kompozice chování v komponentových systémech2006 | Matematicko-fyzikální fakulta
- Unifikace deploymentu distribuovaných komponentových systémůPublikace bez příslušnosti k fakultě
- Výjimky v komponentových interakčních protokolech - nutnost2006 | Matematicko-fyzikální fakulta
- Jazyk pro rekonfiguraci runtime infrastruktury komponentových systémů2008 | Matematicko-fyzikální fakulta
- Generování komponentových systémů - SOFA HI prototyp2009 | Matematicko-fyzikální fakulta
- Dynamická reconfigurace a přístup ke službám v hierarchických komponentových systémech2006 | Matematicko-fyzikální fakulta
- Pokrocile vlastnosti hierarchickych komponentovych modelu2007 | Matematicko-fyzikální fakulta
- Společný příklad komponentového modelování: porovnání komponentových softwarových modelů2008 | Matematicko-fyzikální fakulta
- Využití softwarových konektorů pro sběr výkonnostních dat v komponentových aplikacích2007 | Matematicko-fyzikální fakulta
- Srovnání komponentových frameworků pro vestavěné systémy reálného času2010 | 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
- Behova podpora pokrocilych komponentovych konceptu2007 | Matematicko-fyzikální fakulta
- Rodina komponentových modelů pro vestavěné systémy v automobilech +12008 | Matematicko-fyzikální fakulta
- Zpětný inženýrink komponentových modelů pro prognózy kvality2010 | Matematicko-fyzikální fakulta
- Modelem řízené prostředí pro deployment komponent2005 | Matematicko-fyzikální fakulta
- Využití konenktorů pro deployment heterogenních aplikací v rámci OMG DandC specifikace2005 | Matematicko-fyzikální fakulta
- Běhové prostředí pro rychlé protypování komponentovPublikace bez příslušnosti k fakultě
- Automatické ověřování specifikace chování komponenty: praktické poznatky2005 | Matematicko-fyzikální fakulta
- Modelování komponentového prostředí za výskytu zpětných volání a autonomních aktivit2008 | Matematicko-fyzikální fakulta
- Nástrahy a možnosti při použití konektorů k řešení transparentní distribuce v enterprise systémech2009 | Matematicko-fyzikální fakulta
- TBP: Na kód orientovaný formalismus pro specifikaci chování komponent2009 | Matematicko-fyzikální fakulta
- Operační systém pro všeobecné použití postavený na komponentech2007 | Matematicko-fyzikální fakulta
- Generování konektorů pro heterogenní rozmisťování2005 | Matematicko-fyzikální fakulta
- Od textových use-casů ke komponentovým aplikacím2010 | Matematicko-fyzikální fakulta