Cited By
View all- Dobaj JRiel AKrug TSeidl MMacher GEgretzberger MSchmerl BMaggio MCámara J(2022)Towards digital twin-enabled DevOps for CPS providing architecture-based service adaptation & verification at runtimeProceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1145/3524844.3528057(132-143)Online publication date: 18-May-2022
- Ait-Ameur YBabin GPantel M(2021)An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensationService Oriented Computing and Applications10.1007/s11761-021-00314-415:3(205-230)Online publication date: 1-Sep-2021
- Heinzemann CBecker SVolk A(2019)Transactional execution of hierarchical reconfigurations in cyber-physical systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0583-z18:1(157-189)Online publication date: 1-Feb-2019
- Show More Cited By