- Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems2016 | Matematicko-fyzikální fakulta
- Tuning self-adaptation in cyber-physical systems through architectural homeostasis2019 | Matematicko-fyzikální fakulta
- Model-based Confidentiality Analysis under Uncertainty2023 | Matematicko-fyzikální fakulta