International Conference on Software Engineering for Adaptive and Self-Managing Systems

• Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet-of-Things
• Modelling and Analysing ResilientCyber-Physical Systems