K. Johnson, S. Reed and R. Calinescu (2011) — Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns. In: Proceedings of the 7th Haifa Verification Conference (HVC 2011). To appear.
R. Calinescu, S. Kikuchi (2011) — Formal Methods @ Runtime. In: Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, Lecture Notes in Computer Science, vol. 6662, 122-135, Springer.
R. Calinescu (2011) - When the Requirements for Adaptation and High Integrity Meet. Invited paper at the 2011 ESEC/FSE Workshop on Assurances for Self-Adaptive Systems. To appear. R. Calinescu, S. Kikuchi and M. Kwiatkowska (2011) — Formal Methods for the Development and Verification of Autonomic IT Systems. In Cong-Vinh, P. (ed.), Formal and Practical Aspects of AutonomicComputing and Networking: Specification, Development and Verification, IGI Global. To appear.
R. Calinescu, K. Johnson and Y. Rafiq (2011) — Using observation ageingto improve Markovian model learning in QoS engineering. In: Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering.