ActivFORMS: A Runtime Environment for Architecture-Based Adaptation with Guarantees.

M. Usman Iftikhar, Danny Weyns

Browse the full ICSA paper archive.