- Software Architecture for Evolving Environment +22006 | Faculty of Mathematics and Physics
- Quality of Software Architectures: Models and Architectures2008 | Faculty of Mathematics and Physics
- Modern Software Architectures: Novel Solutions or Old Hats2003 | Faculty of Mathematics and Physics
- What new do modern software architectures bring?2004 | Faculty of Mathematics and Physics
- The Role of Software Architecture in Constraining Adaptation in Component-based Middleware Platforms2000 | Faculty of Mathematics and Physics
- Software Architecture Enabling Effective Control of Selected Quality Aspects2019 | Faculty of Mathematics and Physics
- SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model2006 | Faculty of Mathematics and Physics
- Architectural Optimization for Confidentiality Under Structural Uncertainty2022 | Faculty of Mathematics and Physics
- Software Abstractions for Component Interaction in the Internet of Things2016 | 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
- Runtime Support for Advanced Component Concepts2007 | Faculty of Mathematics and Physics
- Model-based Confidentiality Analysis under Uncertainty2023 | Faculty of Mathematics and Physics
- Supporting Real-Life Applications in Hierarchical Component Systems2009 | Faculty of Mathematics and Physics
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Faculty of Mathematics and Physics
- Some Means Supporting Responsibility and Openness in Information and Control Systems2020 | Faculty of Mathematics and Physics
- Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems2016 | Faculty of Mathematics and Physics
- Handling Environmental Uncertainty in Design Time Access Control Analysis2022 | Faculty of Mathematics and Physics
- Targeting uncertainty in smart CPS by confidence-based logic2021 | Faculty of Mathematics and Physics, Central Library of Charles University
- Tuning self-adaptation in cyber-physical systems through architectural homeostasis2019 | Faculty of Mathematics and Physics
- Automated resolution of connector architectures using constraint solving (ARCAS method)2014 | Faculty of Mathematics and Physics
- Strengthening architectures of smart CPS by modeling them as runtime product-lines2014 | Faculty of Mathematics and Physics
- Patterns for Self-Adaptation in Cyber-Physical Systems2017 | 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
- Research into Practice - Reality and Gaps2010 | Faculty of Mathematics and Physics
- Inheritance in Architecture Description Languages2003 | Faculty of Mathematics and Physics
- Behavior ProtocolsPublication without faculty affiliation
- Container-Interposed Transactions2001 | Faculty of Mathematics and Physics
- Transactions in Software Components: Container-Interposed Transactions2002 | Publication without faculty affiliation