Browse by Aston Author

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Number of items: 7.

Article

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

Book Section

Davies, Jim; Gibbons, Jeremy; Calinescu, Radu; Crichton, Charles; Harris, Steve and Tsui, Andrew (2012). 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 (2011). 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.

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.

Johnson, Kenneth; Reed, Simon and Calinescu, Radu 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; Johnson, Kenneth and Rafiq, Yasmin 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 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.

This list was generated on Tue Nov 21 01:05:06 2017 GMT.