research
∙
08/25/2022
Software Performability Analysis Using Fast Parametric Model Checking
We present an efficient parametric model checking (PMC) technique for th...
share
research
∙
05/07/2022
PRESTO: Predicting System-level Disruptions through Parametric Model Checking
Self-adaptive systems are expected to mitigate disruptions by continuall...
research
∙
02/02/2021
