Jeff Magee

Affiliations:
  • Imperial College London, UK


According to our database1, Jeff Magee authored at least 121 papers between 1981 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2014
Hope for the best, prepare for the worst: multi-tier control for adaptive systems.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Learning revised models for planning in adaptive systems.
Proceedings of the 35th International Conference on Software Engineering, 2013

2011
FlashMob: distributed adaptive self-assembly.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Evolve: tool support for architecture evolution.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
An Integrated Workbench for Model-Based Engineering of Service Compositions.
IEEE Trans. Serv. Comput., 2010

Translating FSP into LOTOS and networks of automata.
Formal Aspects Comput., 2010

Evolving Software Architecture Descriptions of Critical Systems.
Computer, 2010

Exploiting non-functional preferences in architectural adaptation for self-managed systems.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010


2009
A Rigorous Architectural Approach to Adaptive Software Engineering.
J. Comput. Sci. Technol., 2009

SEAMS 2009: Software engineering for adaptive and self-managing systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

A Case Study in Goal-Driven Architectural Adaptation.
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009


2008
Deriving event-based transition systems from goal-oriented requirements models.
Autom. Softw. Eng., 2008

Leveraging Modes and UML2 for Service Brokering Specifications.
Proceedings of the 4th International Workshop on Model-Driven Web Engineering, 2008

From goals to components: a combined approach to self-management.
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map.
Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008

2007
Web Service Composition: From Analysis to Autonomy.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.
Proceedings of the Test and Analysis of Web Services, 2007

Plan-directed architectural change for autonomous systems.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Model checking service compositions under resource constraints.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Translating FSP into LOTOS and Networks of Automata.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Towards Self-management in Service-Oriented Computing with Modes.
Proceedings of the Service-Oriented Computing, 2007

Self-Managed Systems: an Architectural Challenge.
Proceedings of the International Conference on Software Engineering, 2007

SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

2006
Goal and scenario validation: a fluent combination.
Requir. Eng., 2006

Using resemblance to support component reuse and evolution.
Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Towards specification, modelling and analysis of fault tolerance in self managed systems.
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

LTSA-WS: a tool for model-based verification of web service compositions and choreography.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Software engineering for adaptive and self-managing systems.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Modes for Software Architectures.
Proceedings of the Software Architecture, Third European Workshop, 2006

Synthesizing Concurrency Control Components from Process Algebraic Specifications.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Model-Based Analysis of Obligations in Web Service Choreography.
Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

Concurrency - state models and Java programs (2. ed.).
Wiley, ISBN: 978-0-470-09355-9, 2006

2005
Fluent temporal logic for discrete-time event-based models.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Engineering distributed software: a structural discipline.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Tool Support for Model-Based Engineering of Web Service Compositions.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Science of design.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Monitoring and control in scenario-based requirements analysis.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Fluent-based web animation: exploring goals for requirements validation.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Leveraging Eclipse for integrated model-based engineering of web service compositions.
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

2004
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios.
ACM Trans. Softw. Eng. Methodol., 2004

System architecture: the context for scenario-based model synthesis.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Compatibility Verification for Web Service Choreography.
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Predictable Dynamic Plugin Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

MagicBeans: a Platform for Deploying Plugin Components.
Proceedings of the Component Deployment, Second International Working Conference, 2004

Model-Based Design of Concurrent Programs.
Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003
Synthesis of Behavioral Models from Scenarios.
IEEE Trans. Software Eng., 2003

Editorial.
ACM Trans. Softw. Eng. Methodol., 2003

Visual methods for web application design.
Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Behaviour model elaboration using partial labelled transition systems.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Fluent model checking for event-based systems.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Software Architecture Modeling & Analysis: A Rigorous Approach.
Proceedings of the Formal Methods for Software Architectures, 2003

Model-based Verification of Web Service Compositions.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Model-based Simulation of Web Applications for Usability Assessment.
Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, 2003

2002
Implied Scenario Detection in the Presence of Behaviour Constraints.
Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002

Self-organising software architectures for distributed systems.
Proceedings of the First Workshop on Self-Healing Systems, 2002

Negative scenarios for implied scenario elicitation.
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

2001
Detecting implied scenarios in message sequence chart specifications.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

2000
The Koala Component Model for Consumer Electronics Software.
Computer, 2000

Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Graphical animation of behavior models.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

The ICSE2000 doctoral workshop.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Who needs doctors? (abstract of panel session).
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Model Checking of Workflow Schemas.
Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 2000

1999
Client Access Protocols for Replicated Services.
IEEE Trans. Software Eng., 1999

Behaviour Analysis of Software Architectures.
Proceedings of the Software Architecture, 1999

Modelling for Mere Mortals.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Behavioral Analysis of Software Architectures Using LTSA.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Checking Progress with Action Priority: Is it Fair?
Proceedings of the Software Engineering, 1999

Concurrency - state models and Java programs.
Wiley, ISBN: 978-0-471-98710-9, 1999

1998
Security Considerations for a Distributed Location Service.
J. Netw. Syst. Manag., 1998

Analysing dynamic change in distributed software architectures.
IEE Proc. Softw., 1998

Construction and management of highly available services in open distributed systems.
Distributed Syst. Eng., 1998

Multi-Sensor Location Tracking.
Proceedings of the MOBICOM '98, 1998

Software Architecture Directed Behaviour Analysis.
Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Analysing dynamic change in software architectures: a case study.
Proceedings of the Fourth International Conference on Configurable Distributed Systems, 1998

1997
Composing distributed objects in CORBA.
Proceedings of the Third International Symposium on Autonomous Decentralized Systems, 1997

Distributed Software Architectures (Tutorial).
Proceedings of the Pulling Together, 1997

Distributed System Design using CORBA Components.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Analysing the behaviour of distributed software architectures: a case study.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Exposing the Skeleton in the Coordination Closet.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
Location service in mobile computing environments.
Comput. Graph., 1996

A CASE Tool for Software Architecture Design.
Autom. Softw. Eng., 1996

Self organising software architectures.
Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Dynamic Structure in Software Architectures.
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

A replication protocol to support dynamically configurable groups of servers.
Proceedings of the Third International Conference on Configurable Distributed Systems, 1996

1995
Configurable Highly Availbale Distributed Services.
Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995

Configuration management for distributed software services.
Proceedings of the Integrated Network Management IV, 1995

The Software Architect's Assistant-a visual environment for distributed programming.
Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Specifying Distributed Software Architectures.
Proceedings of the 5th European Software Engineering Conference, 1995

1994
Regis: a constructive development environment for distributed programs.
Distributed Syst. Eng., 1994

Modelling Darwin in the Pi-Caculus.
Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

A constructive development environment for parallel and distributed programs.
Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

REGIS-DARWIN specified in the π-calculus.
Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

1993
Scalable, adaptive load sharing for distributed systems.
IEEE Parallel Distributed Technol. Syst. Appl., 1993

Structuring parallel and distributed programs.
Softw. Eng. J., 1993

1992
Configuring object-based distributed programs in REX.
Softw. Eng. J., 1992

A configuration approach to parallel programming.
Future Gener. Comput. Syst., 1992

Configuring distributed systems.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

MP: A Programming Environment for Multicomputers.
Proceedings of the Programming Environments for Parallel Computing, 1992

A flexible approach to evolution of reconfigurable systems.
Proceedings of the First International Workshop on Configurable Distributed Systems, 1992

1991
Parallel Algorithm Design for Workstation Clusters.
Softw. Pract. Exp., 1991

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.
Microprocess. Microsystems, 1991

1990
The Evolving Philosophers Problem: Dynamic Change Management.
IEEE Trans. Software Eng., 1990

A Constructive Approach to the Design of Distributed Systems.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989
Constructing Distributed Systems in Conic.
IEEE Trans. Software Eng., 1989

Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics.
Computer, 1989

Configuration support for system description, construction and evolution.
Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1988
A distributed file server for embedded applications.
Softw. Eng. J., 1988

Change management of distributed systems.
Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

1987
Distributed System Construction: Experience with the Conic Toolkit.
Proceedings of the Experiences with Distributed Systems, 1987

1985
Dynamic Configuration for Distributed Systems.
IEEE Trans. Software Eng., 1985

1984
A software architecture for distributed computer control systems.
Autom., 1984

Environment requirements for system evolution.
Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

1981
Intertask Communication Primitives for Distributed Computer Control Systems.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981


  Loading...