Conference
Analytic dependency loops in architectural models of cyber-physical systems
Optimal Planning for Architecture-Based Self-Adaptation Via Model Checking of Stochastic Games
Reasoning about Human Participation in Self-Adaptive Systems
Contract-Based Integration of Cyber-Physical Analyses (Poster)