- Comparing the Service Component Architecture and Fractal Component Model2011 | Faculty of Mathematics and Physics
- The Common Component Modeling Example: Comparing Software Component Models2008 | Faculty of Mathematics and Physics
- Advanced Features of Hierarchical Component Models2007 | Faculty of Mathematics and Physics
- Carmen - the software component model checker +1Publication without faculty affiliation
- A Component Model Family for Vehicular Embedded Systems +12008 | Faculty of Mathematics and Physics
- Carmen : Software Component Model Checker2008 | Faculty of Mathematics and Physics
- Dynamic Reconfiguration and Access to Services in Hierarchical Component Models2006 | Faculty of Mathematics and Physics
- Modeling Environment for Component Model Checking from Hierarchical ArchitecturePublication without faculty affiliation
- Reverse Engineering Component Models for Quality Predictions2010 | Faculty of Mathematics and Physics
- SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model +22006 | Faculty of Mathematics and Physics
- A Component Model for Control-Intensive Distributed Embedded Systems2008 | Faculty of Mathematics and Physics
- Towards a Reference Component Model of Edge-Cloud Continuum2023 | Faculty of Mathematics and Physics
- Modeling Environment for Component Model Checking from Hierarchical Architecture2007 | Faculty of Mathematics and Physics
- ProCom - the Progress Component Model Reference Manual, version 1.0Publication without faculty affiliation
- Towards Dependable Emergent Ensembles of Components: The DEECo Component Model2012 | Faculty of Mathematics and Physics
- Component Model for Unified Deployment of Distributed Component-based SoftwarePublication without faculty affiliation
- FORECAST OF PRISON POPULATION IN THE CZECH REPUBLIC USING COHORT-COMPONENT MODEL2015 | Faculty of Science
- Assessing Inter-rater Reliability With Heterogeneous Variance Components Models: Flexible Approach Accounting for Contextual Variables2023 | Faculty of Education
- Partial Verification of Software Components: Heuristics for Environment Construction2007 | Faculty of Mathematics and Physics
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Faculty of Mathematics and Physics
- Strengthening architectures of smart CPS by modeling them as runtime product-lines2014 | Faculty of Mathematics and Physics
- Towards Intelligent Ensembles2015 | Faculty of Mathematics and Physics
- DEECo - an Ensemble-Based Component System2013 | Faculty of Mathematics and Physics
- Migration as a Possible Solution to the Future Population Deficits and Demographic Ageing in the Czech Republic +12008 | Faculty of Science
- Using Meta-modeling in Design and Implementation of Component-based Systems: The SOFA Case-study2011 | Faculty of Mathematics and Physics