- Security and Trust in Data Sharing Smart Cyber-Physical Systems2015 | Faculty of Mathematics and Physics
- Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed2019 | Faculty of Mathematics and Physics
- Statistical Approach to Architecture Modes in Smart Cyber Physical Systems2016 | Faculty of Mathematics and Physics
- Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems2016 | Faculty of Mathematics and Physics
- A Virtual Playground for Testing Smart Cyber-Physical Systems2018 | Faculty of Mathematics and Physics
- Model Problem and Testbed for Experiments with Adaptation in Smart Cyber-Physical Systems2016 | Faculty of Mathematics and Physics
- Network Delays-Aware Simulator of Smart Cyber-Physical SystemsPublication without faculty affiliation
- Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions2017 | Faculty of Mathematics and Physics
- Performance modelling of smart cyber-physical systems2018 | Faculty of Mathematics and Physics
- Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS2015 | Faculty of Mathematics and Physics
- 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2015)2015 | Faculty of Mathematics and Physics
- Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication2016 | Faculty of Mathematics and Physics
- Targeting uncertainty in smart CPS by confidence-based logic2021 | Faculty of Mathematics and Physics, Central Library of Charles University
- Intelligent Ensembles - a Declarative Group Description Language and Java Framework (Artifact)Publication without faculty affiliation
- Intelligent Ensembles - A Declarative Group Description Language and Java Framework2017 | Faculty of Mathematics and Physics
- Software Abstractions for Component Interaction in the Internet of Things2016 | Faculty of Mathematics and Physics
- A language and framework for dynamic component ensembles in smart systems2020 | Faculty of Mathematics and Physics
- MATSim-JDEECo Simulation FrameworkPublication without faculty affiliation
- Industrial Use Cases of Cyber Physical Systems in EU Projects: Preliminary Study2017 | Faculty of Mathematics and Physics
- The Invariant Refinement Method2015 | Faculty of Mathematics and Physics
- Towards Performance-Aware Engineering of Autonomic Component Ensembles2014 | Faculty of Mathematics and Physics
- Employing Domain Knowledge for Optimizing Component Communication2015 | Faculty of Mathematics and Physics
- Automated Dynamic Formation of Component Ensembles2017 | Faculty of Mathematics and Physics
- Strengthening architectures of smart CPS by modeling them as runtime product-lines2014 | Faculty of Mathematics and Physics
- Autonomic component ensembles for dynamic evolving architectures of context-aware smart systems: invited talk abstract2017 | Faculty of Mathematics and Physics