PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems.

Yong-Jun Shin, Eunho Cho, Doo-Hwan Bae

Browse the full FASE paper archive.