GPAC: General-Purpose Autonomic Computing

Selected publications

GPAC paradigm, development methodology and software tools

Radu Calinescu and Shinji Kikuchi. Formal methods @ runtime. In Foundations of Computer Software. Modeling, Development and Verification of Adaptive Systems, volume 6662 of LNCS, pages 122--135. Springer, 2011.
Radu Calinescu. General-purpose autonomic computing. In M. Denko et al., editors, Autonomic Computing and Networking, pages 3-30. Springer, 2009.
Radu Calinescu and Marta Kwiatkowska. CADS*: Computer-aided development of self-* systems. In Marsha Chechik and Martin Wirsing, editors, Fundamental Approaches to Software Engineering (FASE 2009), volume 5503 of Lecture Notes in Computer Science, pages 421–424. Springer, March 2009.
Radu Calinescu. Resource-definition policies for autonomic computing. In Proceedings of the 5th International Conference on Autonomic and Autonomous Systems (ICAS 2009), pages 111-116, 2009.
Radu Calinescu. Reconfigurable service-oriented architecture for autonomic computing. International Journal On Advances in Intelligent Systems, 2(1):38-57, June 2009.
Radu Calinescu. Implementation of a generic autonomic framework. In D. Greenwood et al., editors, Proceedings 4th International Conference on Autonomic and Autonomous Systems (ICAS 2008), pages 124-129. IEEE Computer Society Press, March 2008.
R. Calinescu. Towards a generic autonomic architecture for legacy resource management. In K. Elleithy, editor, Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering, pages 410-415. Springer, 2008.
Radu Calinescu. Model-driven autonomic architecture. In Proceedings of the 4th IEEE International Conference on Autonomic Computing, Jacksonville, Florida, June 2007.
R. Calinescu. Challenges and best practices in policy-based autonomic architectures. In Proc. 3rd IEEE Intl. Symp. Dependable, Autonomic and Secure Computing, pages 65-74, 2007.

Applications

Radu Calinescu, Lars Grunske, Marta Kwiatkowska, Raffaela Mirandola and Giordano Tamburrelli. Dynamic QoS Management and Optimization in Service-Based Systems, IEEE Transactions on Software Engineering, vol.37, no.3, pp.387-409, May-June 2011.
Radu Calinescu, Shinji Kikuchi and Marta Kwiatkowska. Formal methods for the development and verification of autonomic IT systems. In P. Cong-Vinh, editor, Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification. IGI Global, 2011. In press.
Radu Calinescu and Marta Kwiatkowska. Using quantitative analysis to implement autonomic IT systems. In Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), pages 100-110, 2009.
R. Calinescu and M. Kwiatkowska. Software engineering techniques for the development of systems of systems. In Foundations of Computer Software: Future Trends and Techniques for Development, volume 6028 of LNCS. Springer, 2010.
Ewoud Werkman, Bas van Schoonhoven, Marc de Jonge and Edwin Matthijssen. Development of autonomic management solutions for the military application domain. In Proc. 15th IEEE International Conference on Engineering of Complex Computer Systems, pages 14-20, March 2010.
Adolfo Hernando, Ricardo Sanz and Radu Calinescu. A Model-Based Approach to the Autonomic Management of Mobile Robot Resources. In Proceedings 2nd International Conference on Adaptive and Self-adaptive Systems and Applications, pages 33-39, 2010.
Radu Calinescu. General-purpose autonomic computing. In M. Denko et al., editors, Autonomic Computing and Networking, pages 3-30. Springer, 2009.
Radu Calinescu, Run-Time Connector Synthesis for Autonomic Systems of Systems. International Journal On Advances in Intelligent Systems, 2(2-3):376-386, June 2009.