Jeff Magee
Affiliations:- Imperial College London, UK
According to our database1,
Jeff Magee
authored at least 121 papers
between 1981 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on doc.ic.ac.uk
On csauthors.net:
Bibliography
2014
Proceedings of the 36th International Conference on Software Engineering, 2014
2013
Proceedings of the 35th International Conference on Software Engineering, 2013
2011
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
2010
IEEE Trans. Serv. Comput., 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
Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010
2009
J. Comput. Sci. Technol., 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009
2008
Autom. Softw. Eng., 2008
Proceedings of the 4th International Workshop on Model-Driven Web Engineering, 2008
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008
Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008
Proceedings of the Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008, 2008
2007
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
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007
Proceedings of the Service-Oriented Computing, 2007
Proceedings of the International Conference on Software Engineering, 2007
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007
2006
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
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the Software Architecture, Third European Workshop, 2006
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
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
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
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
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
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
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004
Proceedings of the Fundamental Approaches to Software Engineering, 2004
Proceedings of the Component Deployment, Second International Working Conference, 2004
Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004
2003
Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Proceedings of the Formal Methods for Software Architectures, 2003
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003
Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, 2003
2002
Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002
Proceedings of the First Workshop on Self-Healing Systems, 2002
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002
2001
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001
2000
Proceedings of the 10th International Workshop on Software Specification and Design, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 2000
1999
Behaviour Analysis of Software Architectures.
Proceedings of the Software Architecture, 1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the 1999 International Conference on Software Engineering, 1999
Proceedings of the Software Engineering, 1999
Concurrency - state models and Java programs.
Wiley, ISBN: 978-0-471-98710-9, 1999
1998
J. Netw. Syst. Manag., 1998
IEE Proc. Softw., 1998
Construction and management of highly available services in open distributed systems.
Distributed Syst. Eng., 1998
Proceedings of the 9th International Workshop on Software Specification and Design, 1998
Proceedings of the Fourth International Conference on Configurable Distributed Systems, 1998
1997
Proceedings of the Third International Symposium on Autonomous Decentralized Systems, 1997
Proceedings of the Pulling Together, 1997
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997
Proceedings of the Coordination Languages and Models, Second International Conference, 1997
1996
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
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996
Proceedings of the Third International Conference on Configurable Distributed Systems, 1996
1995
Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995
Configuration management for distributed software services.
Proceedings of the Integrated Network Management IV, 1995
Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995
Proceedings of the 5th European Software Engineering Conference, 1995
1994
Distributed Syst. Eng., 1994
Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994
Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994
Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994
1993
IEEE Parallel Distributed Technol. Syst. Appl., 1993
1992
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
Proceedings of the First International Workshop on Configurable Distributed Systems, 1992
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
IEEE Trans. Software Eng., 1990
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990
1989
Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics.
Computer, 1989
Proceedings of the 5th International Workshop on Software Specification and Design, 1989
1988
Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988
1987
Proceedings of the Experiences with Distributed Systems, 1987
1985
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