R. Calinescu, When the requirements for adaptation and high integrity meet, Proceedings of the 8th workshop on Assurances for self-adaptive systems, ASAS '11, pp.1-4, 2011.
DOI : 10.1145/2024436.2024438

R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola, and G. Tamburrelli, Dynamic QoS Management and Optimization in Service-Based Systems, IEEE Transactions on Software Engineering, vol.37, issue.3, pp.387-409, 2011.
DOI : 10.1109/TSE.2010.92

F. Ciesinski, C. Baier, M. Größer, and J. Klein, Reduction Techniques for Model Checking Markov Decision Processes, 2008 Fifth International Conference on Quantitative Evaluation of Systems, pp.45-54, 2008.
DOI : 10.1109/QEST.2008.45

A. Filieri, C. Ghezzi, and G. Tamburrelli, Run-time efficient probabilistic model checking, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.341-350, 2011.
DOI : 10.1145/1985793.1985840

V. Forejt, M. Kwiatkowska, D. Parker, H. Qu, and M. Ujma, Incremental Runtime Verification of Probabilistic Systems, 2012.
DOI : 10.1007/978-3-642-35632-2_30
URL : https://hal.archives-ouvertes.fr/hal-00739483

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, Proc. CAV'11, pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035

M. Kwiatkowska, D. Parker, and H. Qu, Incremental quantitative verification for Markov decision processes, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), pp.359-370, 2011.
DOI : 10.1109/DSN.2011.5958249
URL : https://hal.archives-ouvertes.fr/hal-00647057

T. Wongpiromsarn, A. Ulusoy, C. Belta, E. Frazzoli, and D. Rus, Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012.
DOI : 10.1109/IROS.2012.6385575