Browse by Aston Author

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.

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.

Davies, Jim; Gibbons, Jeremy; Calinescu, Radu; Crichton, Charles; Harris, Steve and Tsui, Andrew Form follows function:model-driven engineering for clinical trials. IN: Foundations of health informatics engineering and systems. Liu, Zhiming and Wassyng, Alan (eds) Lecture notes in computer science . Berlin (DE): Springer.

Calinescu, Radu; Kikuchi, Shinji and Kwiatkowska, Marta Formal methods for the development and verification of autonomic IT systems. IN: Formal and practical aspects of autonomic computing and networking. Cong-Vinh, Phan (ed.) Premier Referecen Source . IGI Global.

Sommerville, Ian; Cliff, Dave; Calinescu, Radu; Keen, Justin; Kelly, Tim; Kwiatkowska, Marta; McDermid, John and Paige, Richard Large-scale complex IT systems. Communications of the ACM, 55 (7), pp. 71-77.

Weyns, Danny; Bencomo, Nelly; Calinescu, Radu; Camara, Javier; Ghezzi, Carlo; Grassi, Vincenzo; Grunske, Lars; Inverardi, Paola; Jezequel, Jean Marc; Malek, Sam; Mirandola, Raffaela; Mori, Marco and Tamburrelli, Giordano Perpetual assurances for self-adaptive systems. IN: Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9640 L . Springer.