Intertask Communication Primitives for Distributed Computer Control Systems. - Jeff Kramer; Jeff Magee; Morris Sloman (ICDCS, 1981)

Environment requirements for system evolution. - Jeff Kramer; Jeff Magee (ISPW, 1984)

A software architecture for distributed computer control systems. - Jeff Kramer; Jeff Magee; Morris Sloman (Autom., 1984)

Dynamic Configuration for Distributed Systems. - Jeff Kramer; Jeff Magee (IEEE Trans. Software Eng., 1985)

Distributed System Construction: Experience with the Conic Toolkit. - Naranker Dulay; Jeff Kramer; Jeff Magee; Morris Sloman; Kevin P. Twidle (Experiences with Distributed Systems, 1987)

Change management of distributed systems. - Jeff Kramer; Jeff Magee (ACM SIGOPS European Workshop, 1988)

A distributed file server for embedded applications. - Animesh Mukherjee 002; Jeff Kramer; Jeff Magee (Softw. Eng. J., 1988)

Configuration support for system description, construction and evolution. - Jeff Kramer; Jeff Magee; Morris Sloman (IWSSD, 1989)

Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics. - Jeff Kramer; Jeff Magee; Keng Ng (Computer, 1989)

Constructing Distributed Systems in Conic. - Jeff Magee; Jeff Kramer; Morris Sloman (IEEE Trans. Software Eng., 1989)

A Constructive Approach to the Design of Distributed Systems. - Jeff Kramer; Jeff Magee; Anthony Finkelstein (ICDCS, 1990)

The Evolving Philosophers Problem: Dynamic Change Management. - Jeff Kramer; Jeff Magee (IEEE Trans. Software Eng., 1990)

Real-time UNIX systems: design and application guide: Furht, B, Grostick, D, Gluch, D, Rabbat, G, Parker, J and Roberts, M Kluwer Academic (1991) £35.75, 316 pp ISBN 0-7923-9099-7. - Jeff N. Magee (Microprocess. Microsystems, 1991)

Parallel Algorithm Design for Workstation Clusters. - Jeff Magee; Shing-Chi Cheung (Softw. Pract. Exp., 1991)

A flexible approach to evolution of reconfigurable systems. - Andrew J. Young; Jeff N. Magee (CDS, 1992)

MP: A Programming Environment for Multicomputers. - Jeff Magee; Naranker Dulay (Programming Environments for Parallel Computing, 1992)

Configuring distributed systems. - Jeff Kramer; Jeff Magee; Morris Sloman (ACM SIGOPS European Workshop, 1992)

A configuration approach to parallel programming. - Jeff Magee; Naranker Dulay (Future Gener. Comput. Syst., 1992)

Configuring object-based distributed programs in REX. - Jeff Kramer; Jeff Magee; Morris Sloman; Naranker Dulay (Softw. Eng. J., 1992)

Structuring parallel and distributed programs. - Jeff Magee; Naranker Dulay; Jeff Kramer (Softw. Eng. J., 1993)

Scalable, adaptive load sharing for distributed systems. - Orly Kremien; Jeff Kramer; Jeff Magee (IEEE Parallel Distributed Technol. Syst. Appl., 1993)

REGIS-DARWIN specified in the π-calculus. - Susan Eisenbach; Jeff Kramer; Jeff N. Magee (CDS, 1994)

A constructive development environment for parallel and distributed programs. - Jeff N. Magee; Naranker Dulay; Jeff Kramer (CDS, 1994)

Modelling Darwin in the Pi-Caculus. - Jeff Magee; Susan Eisenbach; Jeff Kramer (Dagstuhl Seminar on Distributed Systems, 1994)

Regis: a constructive development environment for distributed programs. - Jeff Magee; Naranker Dulay; Jeff Kramer (Distributed Syst. Eng., 1994)

Specifying Distributed Software Architectures. - Jeff Magee; Naranker Dulay; Susan Eisenbach; Jeff Kramer (ESEC, 1995)

The Software Architect's Assistant-a visual environment for distributed programming. - Keng Ng; Jeff Kramer; Jeff Magee; Naranker Dulay (HICSS (2), 1995)

Configuration management for distributed software services. - Steve Crane; Naranker Dulay; Halldor Fosså; Jeff Kramer; Jeff Magee; Morris Sloman; Kevin P. Twidle (Integrated Network Management, 1995)

Configurable Highly Availbale Distributed Services. - Christos T. Karamanolis; Jeff Magee (SRDS, 1995)

A replication protocol to support dynamically configurable groups of servers. - Christos T. Karamanolis; Jeff N. Magee (CDS, 1996)

Dynamic Structure in Software Architectures. - Jeff Magee; Jeff Kramer (SIGSOFT FSE, 1996)

Self organising software architectures. - Jeff Magee; Jeff Kramer (ISAW/Viewpoints@FSE, 1996)

A CASE Tool for Software Architecture Design. - Keng Ng; Jeff Kramer; Jeff Magee (Autom. Softw. Eng., 1996)

Location service in mobile computing environments. - Ulf Leonhardt; Jeff Magee; Paul Dias (Comput. Graph., 1996)

Exposing the Skeleton in the Coordination Closet. - Jeff Kramer; Jeff Magee (COORDINATION, 1997)

Analysing the behaviour of distributed software architectures: a case study. - Jeff Magee; Jeff Kramer; Dimitra Giannakopoulou (FTDCS, 1997)

Distributed System Design using CORBA Components. - Douglas I. Donaldson; Jeff Magee (HICSS (1), 1997)

Distributed Software Architectures (Tutorial). - Jeff Kramer; Jeff Magee (ICSE, 1997)

Composing distributed objects in CORBA. - Jeff Magee; Andrew Tseng; Jeff Kramer (ISADS, 1997)

Analysing dynamic change in software architectures: a case study. - Jeff Kramer; Jeff Magee (CDS, 1998)

Software Architecture Directed Behaviour Analysis. - Jeff Magee; Jeff Kramer; Dimitra Giannakopoulou (IWSSD, 1998)

Multi-Sensor Location Tracking. - Ulf Leonhardt; Jeff Magee (MobiCom, 1998)

Construction and management of highly available services in open distributed systems. - Christos T. Karamanolis; Jeff Magee (Distributed Syst. Eng., 1998)

Analysing dynamic change in distributed software architectures. - Jeff Kramer; Jeff Magee (IEE Proc. Softw., 1998)

Security Considerations for a Distributed Location Service. - Ulf Leonhardt; Jeff Magee (J. Netw. Syst. Manag., 1998)

Concurrency - state models and Java programs. - Jeff Magee; Jeff Kramer (Wiley, 1999)

Checking Progress with Action Priority: Is it Fair? - Dimitra Giannakopoulou; Jeff Magee; Jeff Kramer (ESEC / SIGSOFT FSE, 1999)

Behavioral Analysis of Software Architectures Using LTSA. - Jeff Magee (ICSE, 1999)

Modelling for Mere Mortals. - Jeff Kramer; Jeff Magee (TACAS, 1999)

Behaviour Analysis of Software Architectures. - Jeff Magee; Jeff Kramer; Dimitra Giannakopoulou (WICSA, 1999)

Client Access Protocols for Replicated Services. - Christos T. Karamanolis; Jeff Magee (IEEE Trans. Software Eng., 1999)

Model Checking of Workflow Schemas. - Christos T. Karamanolis; Dimitra Giannakopoulou; Jeff Magee; Stuart M. Wheater (EDOC, 2000)

Who needs doctors? (abstract of panel session). - Jeff Magee (ICSE, 2000)

The ICSE2000 doctoral workshop. - Jeff Magee; Mauro Pezzè (ICSE, 2000)

Graphical animation of behavior models. - Jeff Magee; Nat Pryce; Dimitra Giannakopoulou; Jeff Kramer (ICSE, 2000)

Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. - Jeff Magee; Jeff Kramer; Bashar Nuseibeh; David Bush; Julia Sonander (IWSSD, 2000)

The Koala Component Model for Consumer Electronics Software. - Rob C. van Ommering; Frank van der Linden 001; Jeff Kramer; Jeff Magee (Computer, 2000)

Detecting implied scenarios in message sequence chart specifications. - Sebastián Uchitel; Jeff Kramer; Jeff Magee (ESEC / SIGSOFT FSE, 2001)

Negative scenarios for implied scenario elicitation. - Sebastián Uchitel; Jeff Kramer; Jeff Magee (SIGSOFT FSE, 2002)

Self-organising software architectures for distributed systems. - Ioannis Georgiadis; Jeff Magee; Jeff Kramer (WOSS, 2002)

Implied Scenario Detection in the Presence of Behaviour Constraints. - Sebastián Uchitel; Jeff Kramer; Jeff Magee (VISS@ETAPS, 2002)

Model-based Simulation of Web Applications for Usability Assessment. - Robert Chatley; Jeff Kramer; Jeff Magee; Sebastián Uchitel (ICSE Workshop on SE-HCI, 2003)

Model-based Verification of Web Service Compositions. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (ASE, 2003)

Software Architecture Modeling & Analysis: A Rigorous Approach. - Jeff Kramer; Jeff Magee; Sebastián Uchitel (SFM, 2003)

Fluent model checking for event-based systems. - Dimitra Giannakopoulou; Jeff Magee (ESEC / SIGSOFT FSE, 2003)

Behaviour model elaboration using partial labelled transition systems. - Sebastián Uchitel; Jeff Kramer; Jeff Magee (ESEC / SIGSOFT FSE, 2003)

LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. - Sebastián Uchitel; Robert Chatley; Jeff Kramer; Jeff Magee (TACAS, 2003)

Visual methods for web application design. - Robert Chatley; Jeff Kramer; Jeff Magee; Sebastián Uchitel (HCC, 2003)

Editorial. - Carlo Ghezzi; Jeff Magee; H. Dieter Rombach; Mary Lou Soffa (ACM Trans. Softw. Eng. Methodol., 2003)

Synthesis of Behavioral Models from Scenarios. - Sebastián Uchitel; Jeff Kramer; Jeff Magee (IEEE Trans. Software Eng., 2003)

Model-Based Design of Concurrent Programs. - Jeff Magee; Jeff Kramer (25 Years Communicating Sequential Processes, 2004)

MagicBeans: a Platform for Deploying Plugin Components. - Robert Chatley; Susan Eisenbach; Jeff Magee (Component Deployment, 2004)

Predictable Dynamic Plugin Systems. - Robert Chatley; Susan Eisenbach; Jeff Kramer; Jeff Magee; Sebastián Uchitel (FASE, 2004)

Compatibility Verification for Web Service Choreography. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (ICWS, 2004)

Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. - Sebastián Uchitel; Robert Chatley; Jeff Kramer; Jeff Magee (RE, 2004)

System architecture: the context for scenario-based model synthesis. - Sebastián Uchitel; Robert Chatley; Jeff Kramer; Jeff Magee (SIGSOFT FSE, 2004)

Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. - Sebastián Uchitel; Jeff Kramer; Jeff Magee (ACM Trans. Softw. Eng. Methodol., 2004)

Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer; Michael Hu (IEEE SCC, 2005)

Leveraging Eclipse for integrated model-based engineering of web service compositions. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (eTX, 2005)

Fluent-based web animation: exploring goals for requirements validation. - Robert Chatley; Sebastián Uchitel; Jeff Kramer; Jeff Magee (ICSE, 2005)

Monitoring and control in scenario-based requirements analysis. - Emmanuel Letier; Jeff Kramer; Jeff Magee; Sebastián Uchitel (ICSE, 2005)

Science of design. - Kevin J. Sullivan; Jeff Magee (ICSE, 2005)

Tool Support for Model-Based Engineering of Web Service Compositions. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (ICWS, 2005)

Engineering distributed software: a structural discipline. - Jeff Kramer; Jeff Magee (ESEC/SIGSOFT FSE, 2005)

Fluent temporal logic for discrete-time event-based models. - Emmanuel Letier; Jeff Kramer; Jeff Magee; Sebastián Uchitel (ESEC/SIGSOFT FSE, 2005)

Concurrency - state models and Java programs (2. ed.). - Jeff Magee; Jeff Kramer (Wiley, 2006)

Model-Based Analysis of Obligations in Web Service Choreography. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (AICT/ICIW, 2006)

Synthesizing Concurrency Control Components from Process Algebraic Specifications. - Edoardo Bontà; Marco Bernardo 001; Jeff Magee; Jeff Kramer (COORDINATION, 2006)

Modes for Software Architectures. - Dan Hirsch; Jeff Kramer; Jeff Magee; Sebastián Uchitel (EWSA, 2006)

Software engineering for adaptive and self-managing systems. - Betty H. C. Cheng; David Garlan; Rogério de Lemos; Jeff Magee; Richard Taylor 001; Stephen Fickas; Hausi A. Müller (ICSE, 2006)

LTSA-WS: a tool for model-based verification of web service compositions and choreography. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (ICSE, 2006)

Towards specification, modelling and analysis of fault tolerance in self managed systems. - Jeff Magee; Tom Maibaum (SEAMS@ICSE, 2006)

Using resemblance to support component reuse and evolution. - Andrew McVeigh; Jeff Kramer; Jeff Magee (SAVCBS@FSE, 2006)

Goal and scenario validation: a fluent combination. - Sebastián Uchitel; Robert Chatley; Jeff Kramer; Jeff Magee (Requir. Eng., 2006)

SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. - Betty H. C. Cheng; Rogério de Lemos; Stephen Fickas; David Garlan; Marin Litoiu; Jeff Magee; Hausi A. Müller; Richard Taylor 001 (SEAMS, 2007)

Self-Managed Systems: an Architectural Challenge. - Jeff Kramer; Jeff Magee (FOSE, 2007)

Towards Self-management in Service-Oriented Computing with Modes. - Howard Foster; Sebastián Uchitel; Jeff Kramer; Jeff Magee (ICSOC Workshops, 2007)

Translating FSP into LOTOS and Networks of Automata. - Gwen Salaün; Jeff Kramer; Frédéric Lang; Jeff Magee (IFM, 2007)

Model checking service compositions under resource constraints. - Howard Foster; Wolfgang Emmerich; Jeff Kramer; Jeff Magee; David S. Rosenblum; Sebastián Uchitel (ESEC/SIGSOFT FSE, 2007)

Plan-directed architectural change for autonomous systems. - Daniel Sykes; William Heaven; Jeff Magee; Jeff Kramer (SAVCBS, 2007)

WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (Test and Analysis of Web Services, 2007)

Web Service Composition: From Analysis to Autonomy. - Jeff Magee (TGC, 2007)

08031 – Software Engineering for Self-Adaptive Systems: A Research Road Map. - Betty H. C. Cheng; Holger Giese; Paola Inverardi; Jeff Magee; Rogério de Lemos (Software Engineering for Self-Adaptive Systems, 2008)

08031 Abstracts Collection – Software Engineering for Self-Adaptive Systems. - Betty H. C. Cheng; Holger Giese; Paola Inverardi; Jeff Magee; Rogério de Lemos (Software Engineering for Self-Adaptive Systems, 2008)

From goals to components: a combined approach to self-management. - Daniel Sykes; William Heaven; Jeff Magee; Jeff Kramer (SEAMS, 2008)

Leveraging Modes and UML2 for Service Brokering Specifications. - Howard Foster; Sebastián Uchitel; Jeff Kramer; Jeff Magee (MDWE@MoDELS, 2008)

Deriving event-based transition systems from goal-oriented requirements models. - Emmanuel Letier; Jeff Kramer; Jeff Magee; Sebastián Uchitel (Autom. Softw. Eng., 2008)

Software Engineering for Self-Adaptive Systems: A Research Roadmap. - Betty H. C. Cheng; Rogério de Lemos; Holger Giese; Paola Inverardi; Jeff Magee; Jesper Andersson; Basil Becker; Nelly Bencomo; Yuriy Brun; Bojan Cukic; Giovanna Di Marzo Serugendo; Schahram Dustdar; et al. (Software Engineering for Self-Adaptive Systems, 2009)

A Case Study in Goal-Driven Architectural Adaptation. - William Heaven; Daniel Sykes; Jeff Magee; Jeff Kramer (Software Engineering for Self-Adaptive Systems, 2009)

SEAMS 2009: Software engineering for adaptive and self-managing systems. - Betty H. C. Cheng; Rogério de Lemos; David Garlan; Holger Giese; Marin Litoiu; Jeff Magee; Hausi A. Müller; Richard Taylor 001 (ICSE Companion, 2009)

A Rigorous Architectural Approach to Adaptive Software Engineering. - Jeff Kramer; Jeff Magee (J. Comput. Sci. Technol., 2009)

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. - Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw; Jesper Andersson; Marin Litoiu; Bradley R. Schmerl; Gabriel Tamura; Norha M. Villegas; Thomas Vogel 001; Danny Weyns; Luciano Baresi; et al. (Software Engineering for Self-Adaptive Systems, 2010)

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). - Betty H. C. Cheng; Rogério de Lemos; David Garlan; Holger Giese; Marin Litoiu; Jeff Magee; Hausi A. Müller; Mauro Pezzè; Richard Taylor 001 (ICSE (2), 2010)

Exploiting non-functional preferences in architectural adaptation for self-managed systems. - Daniel Sykes; William Heaven; Jeff Magee; Jeff Kramer (SAC, 2010)

Evolving Software Architecture Descriptions of Critical Systems. - Tom Mens; Jeff Magee; Bernhard Rumpe (Computer, 2010)

Translating FSP into LOTOS and networks of automata. - Frédéric Lang; Gwen Salaün; Rémi Hérilier; Jeff Kramer; Jeff Magee (Formal Aspects Comput., 2010)

An Integrated Workbench for Model-Based Engineering of Service Compositions. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (IEEE Trans. Serv. Comput., 2010)

Evolve: tool support for architecture evolution. - Andrew McVeigh; Jeff Kramer; Jeff Magee (ICSE, 2011)

FlashMob: distributed adaptive self-assembly. - Daniel Sykes; Jeff Magee; Jeff Kramer (SEAMS, 2011)

Learning revised models for planning in adaptive systems. - Daniel Sykes; Domenico Corapi; Jeff Magee; Jeff Kramer; Alessandra Russo; Katsumi Inoue (ICSE, 2013)

Hope for the best, prepare for the worst: multi-tier control for adaptive systems. - Nicolás D'Ippolito; Víctor A. Braberman; Jeff Kramer; Jeff Magee; Daniel Sykes; Sebastián Uchitel (ICSE, 2014)