Browse by Author

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.

Calinescu, Radu C. (2009). Reconfigurable service-oriented architecture for autonomic computing. International Journal on Advances in Intelligent Systems, 2 (1), pp. 38-57.

Calinescu, Radu C. (2009). Run-time connector synthesis for autonomic systems of systems. International Journal on Advances in Intelligent Systems, 2 (2-3), pp. 376-386.

Calinescu, Radu C.; Grunske, Lars; Kwiatkowska, Marta; Mirandola, Raffaela and Tamburrelli, Giordano Dynamic QoS management and optimisation in service-based systems. IEEE Transactions on Software Engineering, 37 (3), pp. 387-409.

Book Section

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; 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 (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.

Calinescu, Radu C. and Kwiatkowska, Marta Z. (2010). Software engineering techniques for the development of systems of systems. IN: Foundations of Computer Software: Future Trends and Techniques for Development. Lecture Notes in Computer Science . Berlin (DE): Springer.

Calinescu, Radu C. (2009). General-purpose autonomic computing. IN: Autonomic Computing and Networking. Denko, Mieso K.; Yang, Laurence T. and Zhang, Yan (eds) Springer.

Issarny, Valerie; Steffen, Bernhard; Jonsson, Bengt; Blair, Gordon; Grace, Paul; Kwiatowska, Marta; Calinescu, Radu C.; Inverardi, Paola; Tivoli, Massimo; Bertolino, Antonia and Sabetta, Antonino (2009). CONNECT challenges: towards emergent connectors for eternal networked systems. IN: 2009 14th IEEE International Conference on Engineering of Complex Computer Systems. Postdam, Germany: IEEE.

Calinescu, Radu C. (2009). Resource-definition policies for autonomic computing. IN: The Fifth International Conference on Autonomic and Autonomous Systems. IEEE.

Calinescu, Radu C. and Kwiatkowska, Marta Z. (2009). Using quantitative analysis to implement autonomic IT systems. IN: IEEE 31st International Conference on Software Engineering, 2009. ICSE 2009. IEEE.

Zang, Tianyi; Calinescu, Radu C.; Harris, Steve; Tsui, Andrew; Kwiatkowska, Marta; Gibbons, Jeremy; Davies, Jim; Maccallum, Peter and Caldas, Carlos (2008). WSRF-based modeling of clinical trial information for collaborative cancer research. IN: 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID). Lyon (FR): IEEE.

Calinescu, Radu C. (2008). Towards a generic autonomic architecture for legacy resource management. IN: Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering. Elleithy, Khaled (ed.) (NL): Springer.

Calinescu, Radu C. (2008). Methodology for the model-driven development of self-managing systems. IN: Proceedings of the 5th conference on Computing frontiers. New York (US): ACM.

Calinescu, Radu C. (2008). Implementation of a generic autonomic framework. IN: Proceedings of the 4th International Conference on Autonomic and Autonomous Systems. ICAS 2008. Greenwood, D. (ed.) IEEE.

Calinescu, Radu C. and Kwiatkowska, Marta Z. CADS*: Computer-Aided Development of self-* systems. IN: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, 5503 . 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.

Kurd, Zeshan; Kelly, Tim; McDermid, John A.; Calinescu, Radu C. and Kwiatkowska, Marta Z. Establishing a framework for dynamic risk management in 'intelligent' aero-engine control. IN: Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings. Lecture Notes in Computer Science, 5775/2 . Berlin (DE): Springer.