Skip to content

Jeff Magee

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

42

Venues

17

Active years

1981–2014

Best venue rank

A*

Where they publish

Papers

42 indexed papers, newest first.

YearVenueTitleAuthors
2014ICSEHope for the best, prepare for the worst: multi-tier control for adaptive systems.Nicols D'Ippolito, Vctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastin Uchitel
2013ICSELearning revised models for planning in adaptive systems.Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue
2011ICSEEvolve: tool support for architecture evolution.Andrew McVeigh, Jeff Kramer, Jeff Magee
2011ICSEFlashMob: distributed adaptive self-assembly.Daniel Sykes, Jeff Magee, Jeff Kramer
2010ICSEFifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).Betty H. C. Cheng, Rogrio de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Mller, Mauro Pezz, Richard Taylor
2010SACExploiting non-functional preferences in architectural adaptation for self-managed systems.Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
2009ICSESEAMS 2009: Software engineering for adaptive and self-managing systems.Betty H. C. Cheng, Rogrio de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Mller, Richard Taylor
2008ICSEFrom goals to components: a combined approach to self-management.Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
2008MODELSLeveraging Modes and UML2 for Service Brokering Specifications.Howard Foster, Sebastin Uchitel, Jeff Kramer, Jeff Magee
2007ICSESEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.Betty H. C. Cheng, Rogrio de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Mller, Richard Taylor
2007ICSESEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.Betty H. C. Cheng, Rogrio de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Mller, Richard Taylor
2007ICSESelf-Managed Systems: an Architectural Challenge.Jeff Kramer, Jeff Magee
2007ICSOCTowards Self-management in Service-Oriented Computing with Modes.Howard Foster, Sebastin Uchitel, Jeff Kramer, Jeff Magee
2007IFMTranslating FSP into LOTOS and Networks of Automata.Gwen Salan, Jeff Kramer, Frdric Lang, Jeff Magee
2006CoordinationSynthesizing Concurrency Control Components from Process Algebraic Specifications.Edoardo Bont, Marco Bernardo, Jeff Magee, Jeff Kramer
2006ICSESoftware engineering for adaptive and self-managing systems.Betty H. C. Cheng, David Garlan, Rogrio de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Mller
2006ICSELTSA-WS: a tool for model-based verification of web service compositions and choreography.Howard Foster, Sebastin Uchitel, Jeff Magee, Jeff Kramer
2006ICSETowards specification, modelling and analysis of fault tolerance in self managed systems.Jeff Magee, Tom Maibaum
2005ICSEFluent-based web animation: exploring goals for requirements validation.Robert Chatley, Sebastin Uchitel, Jeff Kramer, Jeff Magee
2005ICSEMonitoring and control in scenario-based requirements analysis.Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastin Uchitel
2005ICSEScience of design.Kevin J. Sullivan, Jeff Magee
2005ICWSTool Support for Model-Based Engineering of Web Service Compositions.Howard Foster, Sebastin Uchitel, Jeff Magee, Jeff Kramer
2004FASEPredictable Dynamic Plugin Systems.Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastin Uchitel
2004ICWSCompatibility Verification for Web Service Choreography.Howard Foster, Sebastin Uchitel, Jeff Magee, Jeff Kramer
2004REFluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation.Sebastin Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2003ICSEModel-based Simulation of Web Applications for Usability Assessment.Robert Chatley, Jeff Kramer, Jeff Magee, Sebastin Uchitel
2003TACASLTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.Sebastin Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2000EDOCModel Checking of Workflow Schemas.Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater
2000ICSEWho needs doctors? (abstract of panel session).Jeff Magee
2000ICSEThe ICSE2000 doctoral workshop.Jeff Magee, Mauro Pezz
2000ICSEGraphical animation of behavior models.Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer
1999ICSEBehavioral Analysis of Software Architectures Using LTSA.Jeff Magee
1999TACASModelling for Mere Mortals.Jeff Kramer, Jeff Magee
1998MOBICOMMulti-Sensor Location Tracking.Ulf Leonhardt, Jeff Magee
1997CoordinationExposing the Skeleton in the Coordination Closet.Jeff Kramer, Jeff Magee
1997ICECCSClient--Access Protocols for Replicated Services.Christos T. Karamanolis, Jeff Magee
1997ISADSComposing distributed objects in CORBA.Jeff Magee, Andrew Tseng, Jeff Kramer
1997ICSEDistributed Software Architectures (Tutorial).Jeff Kramer, Jeff Magee
1995IMConfiguration management for distributed software services.Steve Crane, Naranker Dulay, Halldor Foss, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle
1995SRDSConfigurable Highly Availbale Distributed Services.Christos T. Karamanolis, Jeff Magee
1990ICDCSA Constructive Approach to the Design of Distributed Systems.Jeff Kramer, Jeff Magee, Anthony Finkelstein
1981ICDCSIntertask Communication Primitives for Distributed Computer Control Systems.Jeff Kramer, Jeff Magee, Morris Sloman