- Srovnání "Service Component Architecture" a "Fractal Component Model" systémů2011 | Matematicko-fyzikální fakulta
- Společný příklad komponentového modelování: porovnání komponentových softwarových modelů2008 | Matematicko-fyzikální fakulta
- Pokrocile vlastnosti hierarchickych komponentovych modelu2007 | Matematicko-fyzikální fakulta
- Carmen - model checker softwarových komponent +1Publikace bez příslušnosti k fakultě
- Rodina komponentových modelů pro vestavěné systémy v automobilech +12008 | Matematicko-fyzikální fakulta
- Carmen : Software Component Model Checker2008 | Matematicko-fyzikální fakulta
- Dynamická reconfigurace a přístup ke službám v hierarchických komponentových systémech2006 | Matematicko-fyzikální fakulta
- Modelování prostředí pro model checking komponent z hierarchických architekturPublikace bez příslušnosti k fakultě
- Zpětný inženýrink komponentových modelů pro prognózy kvality2010 | Matematicko-fyzikální fakulta
- SOFA 2.0: nastavení pokročilých vlastností v hierarchickém komponentovém modelu +22006 | Matematicko-fyzikální fakulta
- Komponentový model pro distribuované vestavěné řídící systémy2008 | Matematicko-fyzikální fakulta
- Towards a Reference Component Model of Edge-Cloud Continuum2023 | Matematicko-fyzikální fakulta
- Modelování prostředí pro model checking komponent z hierarchických architektur2007 | Matematicko-fyzikální fakulta
- ProCom - manuál ke komponentovému modelu Progress, verze 1Publikace bez příslušnosti k fakultě
- Towards Dependable Emergent Ensembles of Components: The DEECo Component Model2012 | Matematicko-fyzikální fakulta
- Component Model for Unified Deployment of Distributed Component-based SoftwarePublikace bez příslušnosti k fakultě
- Prognóza vězeňské populace v České republice za užití kohortně-komponentního modelu2015 | Přírodovědecká fakulta
- Assessing Inter-rater Reliability With Heterogeneous Variance Components Models: Flexible Approach Accounting for Contextual Variables2023 | Pedagogická fakulta
- Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí2007 | Matematicko-fyzikální fakulta
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Matematicko-fyzikální fakulta
- Strengthening architectures of smart CPS by modeling them as runtime product-lines2014 | Matematicko-fyzikální fakulta
- Towards Intelligent Ensembles2015 | Matematicko-fyzikální fakulta
- DEECo - an Ensemble-Based Component System2013 | Matematicko-fyzikální fakulta
- Možnosti migračního řešení perspektivního úbytku a demografického stárnutí obyvatelstva České republiky +12008 | Přírodovědecká fakulta
- Využití metamodelování při návrhu a implementaci komponentových systémů: Případová studie SOFA2011 | Matematicko-fyzikální fakulta
