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