- Language for reconfiguring runtime infrastructure of component-based systems2008 | Faculty of Mathematics and Physics
- Addressing On-Demand Assembly and Adaptation Using a Runtime Intentional Versioning Engine2007 | Faculty of Mathematics and Physics
- Runtime for rapid prototyping of component applicationsPublication without faculty affiliation
- Runtime Support for Advanced Component Concepts2007 | Faculty of Mathematics and Physics
- Runtime Concepts of Hierarchical Software Components2007 | Faculty of Mathematics and Physics
- The Open Community Runtime on the Intel Knights Landing Architecture2017 | Faculty of Mathematics and Physics
- Tools for Ensemble Design and Runtime2015 | Faculty of Mathematics and Physics
- Forming Ensembles at Runtime: A Machine Learning Approach2020 | Faculty of Mathematics and Physics
- Strengthening architectures of smart CPS by modeling them as runtime product-lines2014 | Faculty of Mathematics and Physics
- Inferring Common Language Infrastructure Metadata for an Ambiguous Dynamic Language Type2017 | Faculty of Mathematics and Physics
- Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects2021 | Faculty of Mathematics and Physics
- Rigorous development process of a safety-critical system: from ASM models to Java code2017 | Faculty of Mathematics and Physics
- Using a Product Line for Creating Component Systems2009 | Faculty of Mathematics and Physics
- Sorting by swaps with noisy comparisons2017 | Faculty of Mathematics and Physics
- Fast Approximation Algorithms for the Generalized Survivable Network Design Problem2016 | Faculty of Mathematics and Physics
- DEECo - an Ensemble-Based Component System2013 | Faculty of Mathematics and Physics
- A Novel Parsing-based Approach for Verification of Hierarchical Plans2020 | Faculty of Mathematics and Physics
- Technologie tvorby webových simulátorů2019 | First Faculty of Medicine
- Distributed Component System Based On Architecture Description: The SOFA Experience2002 | Publication without faculty affiliation
- ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform +12013 | Faculty of Mathematics and Physics
- Efficient Parallel Generation of Many-Nucleon Basis for Large-Scale Ab Initio Nuclear Structure Calculations2018 | Faculty of Mathematics and Physics
- Using Meta-modeling in Design and Implementation of Component-based Systems: The SOFA Case-study2011 | Faculty of Mathematics and Physics
- Architecture-based attack propagation and variation analysis for identifying confidentiality issues in Industry 4.02023 | Faculty of Mathematics and Physics
- Performance Awareness in Component Systems: Vision Paper2012 | Faculty of Mathematics and Physics
- Phalanger ImprovementsPublication without faculty affiliation
- Adapting a system with noisy outputs with statistical guarantees2018 | Faculty of Mathematics and Physics
- SOFA 2 release 0.7.0Publication without faculty affiliation
- Using DSL for Automatic Generation of Software Connectors2008 | Faculty of Mathematics and Physics
- Adaptive Dispatch: A Pattern for Performance-Aware Software Self-Adaptation2018 | Faculty of Mathematics and Physics