Follow
Jeff Magee
Jeff Magee
Professor of Computing, Imperial College London
Verified email at imperial.ac.uk
Title
Cited by
Cited by
Year
Software engineering for self-adaptive systems: A second research roadmap
R De Lemos, H Giese, HA Müller, M Shaw, J Andersson, M Litoiu, ...
Software Engineering for Self-Adaptive Systems II: International Seminar …, 2013
24042013
State models and java programs
J Magee, J Kramer
wiley, 1999
16551999
Specifying distributed software architectures
J Magee, N Dulay, S Eisenbach, J Kramer
Software Engineering—ESEC'95: 5th European Software Engineering Conference …, 1995
13301995
The evolving philosophers problem: Dynamic change management
J Kramer, J Magee
IEEE Transactions on software engineering 16 (11), 1293-1306, 1990
12101990
Self-managed systems: an architectural challenge
J Kramer, J Magee
Future of Software Engineering (FOSE'07), 259-268, 2007
11552007
The Koala component model for consumer electronics software
R Van Ommering, F Van Der Linden, J Kramer, J Magee
Computer 33 (3), 78-85, 2000
10912000
Dynamic structure in software architectures
J Magee, J Kramer
ACM SIGSOFT Software Engineering Notes 21 (6), 3-14, 1996
9521996
Model-based verification of web service compositions
H Foster, S Uchitel, J Magee, J Kramer
18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003
7162003
Dynamic configuration for distributed systems
J Kramer, J Magee
IEEE Transactions on Software Engineering, 424-436, 1985
5321985
Constructing distributed systems in Conic
J Magee, J Kramer, M Sloman
IEEE transactions on software engineering 15 (6), 663-675, 1989
4761989
Regis: A constructive development environment for distributed programs
J Magee, N Dulay, J Kramer
Distributed Systems Engineering 1 (5), 304, 1994
446*1994
Self-organising software architectures for distributed systems
I Georgiadis, J Magee, J Kramer
Proceedings of the first workshop on Self-healing systems, 33-38, 2002
3942002
Synthesis of behavioral models from scenarios
S Uchitel, J Kramer, J Magee
IEEE Transactions on Software Engineering 29 (2), 99-115, 2003
3802003
Fluent model checking for event-based systems
D Giannakopoulou, J Magee
Proceedings of the 9th European software engineering conference held jointly …, 2003
3112003
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
S Uchitel, J Kramer, J Magee
ACM Transactions on Software Engineering and Methodology (TOSEM) 13 (1), 37-85, 2004
2662004
Structuring parallel and distributed programs
J Magee, N Dulay, J Kramer
Software Engineering Journal 8 (2), 73-82, 1993
2521993
LTSA-WS: a tool for model-based verification of web service compositions and choreography
H Foster, S Uchitel, J Magee, J Kramer
Proceedings of the 28th international conference on Software engineering …, 2006
2412006
Behaviour analysis of software architectures
J Magee, J Kramer, D Giannakopoulou
Software Architecture: TC2 First Working IFIP Conference on Software …, 1999
2321999
Compatibility verification for web service choreography
H Foster, S Uchitel, J Magee, J Kramer
Proceedings. IEEE International Conference on Web Services, 2004., 738-741, 2004
2312004
From goals to components: a combined approach to self-management
D Sykes, W Heaven, J Magee, J Kramer
Proceedings of the 2008 international workshop on Software engineering for …, 2008
2112008
The system can't perform the operation now. Try again later.
Articles 1–20