(2006) Learning Software Engineering at a Distance Software, IEEE Computer Society (click for full details)

(2005) A Prolog Toolkit for Formal Languages and Automata Proceedings of the 10th Annual Conference on Innovation and Technology in Computer Science Education, pp. 330-334 ACM Press ( View/download or click for full details)

(2005) Challenges in Software Evolution Proc. of the Intl. Workshop on Principles of Software Evolution, Lisbon, Portugal pp. 13-22 IEEE Press ( View/download or click for full details)

(2005) Modelling the GSM Handover Protocol in CommUnity Proc. of the Workshop on Formal Foundations of Embedded Systems and Component-Based Software Architectures, ( View/download or click for full details)

(2004) Enhancing Dependability through Flexible Adaptation to Changing Requirements Architecting Dependable Systems II, pp. 3-24 R. de Lemos, C. Gacek, A. Romanovsky (ed.) Springer-Verlag ( View/download or click for full details)

(2004) Proc. of the Intl. Conf. on Fundamental Approaches to Software Engineering Barcelona, Spain vol. 2984 Wermelinger, M. Margaria-Steffen, T. (eds.) (click for full details)

(2004) An Architectural Approach to Mobility - The Handover Case Study Oslo, Norway pp. 305-308 ( View/download or click for full details)

(2004) A Survey of Self-Management in Dynamic Software Architecture Specifications Proc. 2nd Workshop on Self-Healing Systems, ( View/download or click for full details)

(2003) A Mathematical Semantics for Architectural Connectors Generic Programming, vol. 2793 pp. 190-234 (click for full details)

(2003) Higher-Order Architectural Connectors ACM Trans. on Software Engineering Methodology, vol. 12 issue 1 pp. 64-104 (click for full details)

(2002) A Graph Transformation Approach to Software Architecture Reconfiguration Science of Computer Programming, vol. 44 issue 2 pp. 133-155 (click for full details)

(2002) Coordination for Orchestration Proc. 5th Intl. Conf. on Coordination Languages and Models, York, UK vol. 2315 pp. 5-13 ( View/download or click for full details)

(2002) Supporting Software Evolution with Intentional Software Views Proc. 5th Intl. Workshop on Principles of Sw. Evolution, pp. 138-142 ( View/download or click for full details)

(2002) Maintaining software through intentional source-code views. Proc. 14th Intl. Conf. on Software Engineering and Knowledge Engineering, pp. 289-296 ( View/download or click for full details)

(2002) Architectural Primitives for Distribution and Mobility Proc. 10th Symp. on the Foundations of Software Engineering, pp. 41-50 (click for full details)

(2002) Special Issue on Separation of Concerns for Software Evolution Journal of Software Maintenance and Evolution: Research and Practice, vol. 14 issue 5 Mens, T. Wermelinger, M. (eds.) (click for full details)

(2001) Proceedings of the Workshop on Formal Foundations of Software Evolution Lisbon, Portugal Mens, T. Wermelinger, M. (eds.) ( View/download or click for full details)

(2001) Formal Foundations of Software Evolution: Workshop Report. ACM SIGSOFT Software Engineering Notes , vol. 26 issue 4 pp. 27-30 ( View/download or click for full details)

(2001) A Graph Based Architectural (Re)configuration Language Proc. of the Joint 8th European Software Engineering Conference and 9th Symposium on the Foundations of Software Engineering, Vienna, Austria pp. 21-32 ( View/download or click for full details)