Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time

Antonio Filieri, Giordano Tamburrelli, Carlo Ghezzi. Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. IEEE Trans. Software Eng., 42(1):75-99, 2016. [doi]

Authors

Antonio Filieri

This author has not been identified. Look up 'Antonio Filieri' in Google

Giordano Tamburrelli

This author has not been identified. Look up 'Giordano Tamburrelli' in Google

Carlo Ghezzi

This author has not been identified. Look up 'Carlo Ghezzi' in Google