Publications
- Targeting uncertainty in smart CPS by confidence-based logic2021 | Faculty of Mathematics and Physics, Central Library of Charles University
- Experimenting with Adaptation in Smart Cyber-Physical Systems: A Model Problem and Testbed2019 | Faculty of Mathematics and Physics
- Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems2016 | Faculty of Mathematics and Physics
- The Invariant Refinement Method2015 | 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
- Formalization of Invariant Patterns for the Invariant Refinement Method2015 | Faculty of Mathematics and Physics
- Gossiping Components for Cyber-Physical Systems2014 | Faculty of Mathematics and Physics
- Software Engineering for Software-Intensive Cyber-Physical Systems2014 | Faculty of Mathematics and Physics
- An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments2014 | Faculty of Mathematics and Physics
- DEECo: an Ecosystem for Cyber-Physical Systems2014 | Faculty of Mathematics and Physics
Loading network view...