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

• PRESTO: Predicting System-level Disruptions through Parametric Model Checking