Emil Vassev and Mike Hinchey. Representing Knowledge in Robotic Systems with KnowLang. In Proceedings of the 1st International ISoLA Workshop on Software Aspects of Robotic Systems, Communications in Computer and Information Science. Springer Verlag, Heidelberg, October 2011.
Emil Vassev and Mike Hinchey. Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art. In 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, pages 110–119. IEEE Computer Society, March 2011.
Franco Zambonelli, Nicola Bicocchi, Giacomo Cabri, Letizia Leonardi, and Mariachiara Puviani. On Self-adaptation, Self-expression, and Self-awareness in Autonomic Service Component Ensembles. In 2011 International Conference on Self-Adaptive and Self-Organizing Systems Workshops, Ann Arbor (MC), October 2011. IEEE CS Press.
Gefei Zhang and Matthias Hölzl. Aspect-Oriented Modeling of Web Applications with HiLA. In Andreas Harth and Nora Koch, editors, Current Trends in Web Engineering - 11th International Conference on Web Engineering, ICWE 2011 Workshops, LNCS, Paphos, Cyprus, June 2011. Springer.
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, and Giacoma Valentina Monreale. Concurrency Can't Be Observed, Asynchronously. In Kazunori Ueda, editor, Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings, volume 6461 of Lecture Notes in Computer Science, pages 424–438. Springer, 2010. (doi:10.1007/978-3-642-17164-2_29)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, and Roberto Zunino. Model Checking Usage Policies. Mathematical Structures in Computer Science, To appear, 2009.