Browse by Aston Author

2012

Johnson, Kenneth; Reed, Simon and Calinescu, Radu (2012). Specification and quantitative analysis of probabilistic cloud deployment patterns. IN: Hardware and software : verification and testing. Eder, Kerstin; Lourenço, João and Shehory, Onn (eds) Lecture notes in computer science . Berlin (DE): Springer.

2011

Calinescu, Radu (2011). When the requirements for adaptation and high integrity meet. IN: ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems. New York, NY (US): ACM.

Calinescu, Radu; Johnson, Kenneth and Rafiq, Yasmin (2011). Using observation ageing to improve Markovian model learning in QoS engineering. IN: ICPE'11 - Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering. New York, NY (US): ACM.

Calinescu, Radu and Kikuchi, Shinji (2011). Formal methods @ runtime. IN: Foundations of computer software. Modeling, development, and verification of adaptive systems. Lecture Notes in Computer Science . Berlin (DE): Springer.