Professor in Computing
Distributed Software Engineering Section 
Department of Computing,
Imperial College,
180 Queen's Gate, London SW7 2BZ, UK

Email: j.magee --at-- imperial.ac.uk
Phone: +44.207.594.8269
Fax: +44.207.581.8024

Research interests

Software Architecture: Architectural Description Languages, Dynamic architectures and Self-organising architectures.

Distributed systems: operating systems, design methods, development environments, configuration management, reliability and availability, mobility.

Mobile Computing: context-aware systems, location services - ERSRC Location Service Final Report

Analysis Tools for Concurrent and Distributed systems:
LTSA V1.0 - Labelled Transition System Analyser
LTSA V2.2 - Labelled Transition System Analyser
( To run as an application download LTSA V2.2 - release (1/9/01) from here)

New Stochastic LTSA - simulation of Timed Transitions systems:- Manual pages & download
(Implementation by Thomas Ayles & Jonas Wolf - designed jointly with Tony Field )

Publications

Inaugural Lecture

BOOK

Concurrency - State Models & Java Programs

Java example applets, Labeled Transition Analyzer Tool (LTSA), Lecture Notes, Download.

Program Committees, Events, etc

WICSAI'04 - 4th Working IEEE/IFIP Conference on Software Architecture, 12-15 June 2004, Oslo (colocated with ECOOP

Coordination 2004 - Sixth International Conference on Coordination Models and Languages, 24-27 February 2004, Pisa, Italy

FASE'04 - Fundamental Approaches to Software Engineering, March 29 - 31, 2004, Barcelona, Spain

CD 2004 - 2nd International Working Conference on Component Deployment , May 20 - 21, 2004, Edinburgh, Scotland

CBSE7 - International Symposium on Component-based Software Engineering, May 24 - 25, 2004, Edinburgh, Scotland

Teaching

Distributed Algorithms.

Concurrency Course, Industrial M.Sc - Assessed Exercise

Concurrency Course, Notes, Software

Concurrency Course, Chapter1&2 exercises

Concurrency Course, Chapter 3 exercises

Concurrency Course, Assessed Coursework (Now - 20th Feb 2004 Handin)

Concurrency Course, Chapter 4 & 5  exercises

Concurrency Course, Chapter 6  exercises

Concurrency Course, Chapter 7  exercises

Events

SFM-03:SA - 3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture (22-27 September 2003)

Other items

Download papers from our section's FTP archive
Do not click here