Jeff Magee

Publication Activity (10 Years)

Years Active: 1981-2014
Publications (10 Years): 0

Top Venues

ICSE

Publications

Nicolás D'Ippolito, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel
Hope for the best, prepare for the worst: multi-tier control for adaptive systems. ICSE (2014)
Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue
Learning revised models for planning in adaptive systems. ICSE (2013)
Andrew McVeigh, Jeff Kramer, Jeff Magee
Evolve: tool support for architecture evolution. ICSE (2011)
Daniel Sykes, Jeff Magee, Jeff Kramer
FlashMob: distributed adaptive self-assembly. SEAMS (2011)
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, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems (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
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) (2010)
Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
Exploiting non-functional preferences in architectural adaptation for self-managed systems. SAC (2010)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
An Integrated Workbench for Model-Based Engineering of Service Compositions. IEEE Trans. Serv. Comput. 3 (2) (2010)
Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems (2010)
Tom Mens, Jeff Magee, Bernhard Rumpe
Evolving Software Architecture Descriptions of Critical Systems. Computer 43 (5) (2010)
Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee
Translating FSP into LOTOS and networks of automata. Formal Aspects Comput. 22 (6) (2010)
Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion (2009)
Jeff Kramer, Jeff Magee
A Rigorous Architectural Approach to Adaptive Software Engineering. J. Comput. Sci. Technol. 24 (2) (2009)
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, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems (2009)
William Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer
A Case Study in Goal-Driven Architectural Adaptation. Software Engineering for Self-Adaptive Systems (2009)
Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems (2008)
Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
Leveraging Modes and UML2 for Service Brokering Specifications. MDWE@MoDELS (2008)
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Deriving event-based transition systems from goal-oriented requirements models. Autom. Softw. Eng. 15 (2) (2008)
Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems (2008)
Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
From goals to components: a combined approach to self-management. SEAMS (2008)
Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
Plan-directed architectural change for autonomous systems. SAVCBS (2007)
Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops (2007)
Jeff Kramer, Jeff Magee
Self-Managed Systems: an Architectural Challenge. FOSE (2007)
Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee
Translating FSP into LOTOS and Networks of Automata. IFM (2007)
Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. ICSE Companion (2007)
Jeff Magee
Web Service Composition: From Analysis to Autonomy. TGC (2007)
Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel
Model checking service compositions under resource constraints. ESEC/SIGSOFT FSE (2007)
Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. SEAMS (2007)
Andrew McVeigh, Jeff Kramer, Jeff Magee
Using resemblance to support component reuse and evolution. SAVCBS@FSE (2006)
Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Modes for Software Architectures. EWSA (2006)
Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer
Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION (2006)
Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller
Software engineering for adaptive and self-managing systems. ICSE (2006)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
LTSA-WS: a tool for model-based verification of web service compositions and choreography. ICSE (2006)
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
Goal and scenario validation: a fluent combination. Requir. Eng. 11 (2) (2006)
Jeff Magee, Tom Maibaum
Towards specification, modelling and analysis of fault tolerance in self managed systems. SEAMS@ICSE (2006)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW (2006)
Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee
Fluent-based web animation: exploring goals for requirements validation. ICSE (2005)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Leveraging Eclipse for integrated model-based engineering of web service compositions. eTX (2005)
Jeff Kramer, Jeff Magee
Engineering distributed software: a structural discipline. ESEC/SIGSOFT FSE (2005)
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Monitoring and control in scenario-based requirements analysis. ICSE (2005)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Tool Support for Model-Based Engineering of Web Service Compositions. ICWS (2005)
Kevin J. Sullivan, Jeff Magee
Science of design. ICSE (2005)
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Fluent temporal logic for discrete-time event-based models. ESEC/SIGSOFT FSE (2005)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. IEEE SCC (2005)
Jeff Magee, Jeff Kramer
Model-Based Design of Concurrent Programs. 25 Years Communicating Sequential Processes (2004)
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
System architecture: the context for scenario-based model synthesis. SIGSOFT FSE (2004)
Sebastián Uchitel, Jeff Kramer, Jeff Magee
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Softw. Eng. Methodol. 13 (1) (2004)
Robert Chatley, Susan Eisenbach, Jeff Magee
MagicBeans: a Platform for Deploying Plugin Components. Component Deployment (2004)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Compatibility Verification for Web Service Choreography. ICWS (2004)
Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Predictable Dynamic Plugin Systems. FASE (2004)
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. RE (2004)
Jeff Kramer, Jeff Magee, Sebastián Uchitel
Software Architecture Modeling & Analysis: A Rigorous Approach. SFM (2003)
Sebastián Uchitel, Jeff Kramer, Jeff Magee
Synthesis of Behavioral Models from Scenarios. IEEE Trans. Software Eng. 29 (2) (2003)
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. TACAS (2003)
Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Visual methods for web application design. HCC (2003)
Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa
Editorial. ACM Trans. Softw. Eng. Methodol. 12 (1) (2003)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Model-based Verification of Web Service Compositions. ASE (2003)
Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Model-based Simulation of Web Applications for Usability Assessment. ICSE Workshop on SE-HCI (2003)
Dimitra Giannakopoulou, Jeff Magee
Fluent model checking for event-based systems. ESEC / SIGSOFT FSE (2003)
Sebastián Uchitel, Jeff Kramer, Jeff Magee
Behaviour model elaboration using partial labelled transition systems. ESEC / SIGSOFT FSE (2003)
Sebastián Uchitel, Jeff Kramer, Jeff Magee
Implied Scenario Detection in the Presence of Behaviour Constraints. Electron. Notes Theor. Comput. Sci. 65 (7) (2002)
Sebastián Uchitel, Jeff Kramer, Jeff Magee
Negative scenarios for implied scenario elicitation. SIGSOFT FSE (2002)
Ioannis Georgiadis, Jeff Magee, Jeff Kramer
Self-organising software architectures for distributed systems. WOSS (2002)
Sebastián Uchitel, Jeff Kramer, Jeff Magee
Detecting implied scenarios in message sequence chart specifications. ESEC / SIGSOFT FSE (2001)
Jeff Magee, Mauro Pezzè
The ICSE2000 doctoral workshop. ICSE (2000)
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer
Graphical animation of behavior models. ICSE (2000)
Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater
Model Checking of Workflow Schemas. EDOC (2000)
Jeff Magee
Who needs doctors? (abstract of panel session). ICSE (2000)
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. IWSSD (2000)
Rob C. van Ommering, Frank van der Linden, Jeff Kramer, Jeff Magee
The Koala Component Model for Consumer Electronics Software. Computer 33 (3) (2000)
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer
Checking Progress with Action Priority: Is it Fair? ESEC / SIGSOFT FSE (1999)
Jeff Kramer, Jeff Magee
Modelling for Mere Mortals. TACAS (1999)
Christos T. Karamanolis, Jeff Magee
Client Access Protocols for Replicated Services. IEEE Trans. Software Eng. 25 (1) (1999)
Jeff Magee
Behavioral Analysis of Software Architectures Using LTSA. ICSE (1999)
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
Behaviour Analysis of Software Architectures. WICSA (1999)
Ulf Leonhardt, Jeff Magee
Multi-Sensor Location Tracking. MobiCom (1998)
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
Software Architecture Directed Behaviour Analysis. IWSSD (1998)
Christos T. Karamanolis, Jeff Magee
Construction and management of highly available services in open distributed systems. Distributed Syst. Eng. 5 (1) (1998)
Jeff Kramer, Jeff Magee
Analysing dynamic change in distributed software architectures. IEE Proc. Softw. 145 (5) (1998)
Jeff Kramer, Jeff Magee
Analysing dynamic change in software architectures: a case study. CDS (1998)
Ulf Leonhardt, Jeff Magee
Security Considerations for a Distributed Location Service. J. Netw. Syst. Manag. 6 (1) (1998)
Jeff Kramer, Jeff Magee
Exposing the Skeleton in the Coordination Closet. COORDINATION (1997)
Jeff Magee, Andrew Tseng, Jeff Kramer
Composing distributed objects in CORBA. ISADS (1997)
Douglas I. Donaldson, Jeff Magee
Distributed System Design using CORBA Components. HICSS (1) (1997)
Jeff Kramer, Jeff Magee
Distributed Software Architectures (Tutorial). ICSE (1997)
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
Analysing the behaviour of distributed software architectures: a case study. FTDCS (1997)
Christos T. Karamanolis, Jeff Magee
Client--Access Protocols for Replicated Services. ICECCS (1997)
Ulf Leonhardt, Jeff Magee, Paul Dias
Location service in mobile computing environments. Comput. Graph. 20 (5) (1996)
Jeff Magee, Jeff Kramer
Self organising software architectures. ISAW/Viewpoints@FSE (1996)
Keng Ng, Jeff Kramer, Jeff Magee
A CASE Tool for Software Architecture Design. Autom. Softw. Eng. 3 (3/4) (1996)
Jeff Magee, Jeff Kramer
Dynamic Structure in Software Architectures. SIGSOFT FSE (1996)
Steve Crane, Naranker Dulay, Halldor Fosså, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle
Configuration management for distributed software services. Integrated Network Management (1995)
Christos T. Karamanolis, Jeff Magee
Configurable Highly Availbale Distributed Services. SRDS (1995)
Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
Specifying Distributed Software Architectures. ESEC (1995)
Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay
The Software Architect's Assistant-a visual environment for distributed programming. HICSS (2) (1995)
Jeff Magee, Naranker Dulay, Jeff Kramer
Regis: a constructive development environment for distributed programs. Distributed Syst. Eng. 1 (5) (1994)
Jeff Magee, Susan Eisenbach, Jeff Kramer
Modelling Darwin in the Pi-Caculus. Dagstuhl Seminar on Distributed Systems (1994)
Jeff Magee, Naranker Dulay, Jeff Kramer
Structuring parallel and distributed programs. Softw. Eng. J. 8 (2) (1993)
Orly Kremien, Jeff Kramer, Jeff Magee
Scalable, adaptive load sharing for distributed systems. IEEE Parallel Distributed Technol. Syst. Appl. 1 (3) (1993)
Jeff Kramer, Jeff Magee, Morris Sloman, Naranker Dulay
Configuring object-based distributed programs in REX. Softw. Eng. J. 7 (2) (1992)

Jeff Magee.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jeff Magee