Jeff Magee - RankMe

126 papers A* 16A 11B 5C 3Misc 1Journal 29Unranked 55

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Dynamic Change Management: Quiescence Revisited. IEEE Trans. Software Eng. Jeff Kramer, Jeff Magee
2014	A*	`conf`	Hope for the best, prepare for the worst: multi-tier control for adaptive systems. ICSE Nicolás D'Ippolito, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel
2013	A*	`conf`	Learning revised models for planning in adaptive systems. ICSE Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue
2011	A*	`conf`	Evolve: tool support for architecture evolution. ICSE Andrew McVeigh, Jeff Kramer, Jeff Magee
2011	A	`conf`	FlashMob: distributed adaptive self-assembly. SEAMS Daniel Sykes, Jeff Magee, Jeff Kramer
2010	J	`jnl`	An Integrated Workbench for Model-Based Engineering of Service Compositions. IEEE Trans. Serv. Comput. Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2010	J	`jnl`	Evolving Software Architecture Descriptions of Critical Systems. Computer Tom Mens, Jeff Magee, Bernhard Rumpe
2010	Misc	`conf`	Exploiting non-functional preferences in architectural adaptation for self-managed systems. SAC Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
2010	—	`conf`	Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 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
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 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
2010	J	`jnl`	Translating FSP into LOTOS and networks of automata. Formal Aspects Comput. Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee
2009	—	`conf`	A Case Study in Goal-Driven Architectural Adaptation. Software Engineering for Self-Adaptive Systems William Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer
2009	J	`jnl`	A Rigorous Architectural Approach to Adaptive Software Engineering. J. Comput. Sci. Technol. Jeff Kramer, Jeff Magee
2009	—	`conf`	SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
2009	—	`ed.`	Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee
2009	—	`conf`	Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 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
2008	—	`conf`	08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos
2008	—	`conf`	08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos
2008	A	`ed.`	2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008 SEAMS Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard N. Taylor
2008	J	`jnl`	Deriving event-based transition systems from goal-oriented requirements models. Autom. Softw. Eng. Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2008	A	`conf`	From goals to components: a combined approach to self-management. SEAMS Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
2008	—	`conf`	Leveraging Modes and UML2 for Service Brokering Specifications. MDWE@MoDELS Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
2008	—	`ed.`	Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008 Software Engineering for Self-Adaptive Systems Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee
2007	—	`conf`	Model checking service compositions under resource constraints. ESEC/SIGSOFT FSE Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel
2007	—	`conf`	Plan-directed architectural change for autonomous systems. SAVCBS Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
2007	—	`conf`	SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. ICSE Companion Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
2007	A	`conf`	SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. SEAMS Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor
2007	—	`conf`	Self-Managed Systems: an Architectural Challenge. FOSE Jeff Kramer, Jeff Magee
2007	—	`conf`	Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
2007	B	`conf`	Translating FSP into LOTOS and Networks of Automata. IFM Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee
2007	—	`ch.`	WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. Test and Analysis of Web Services Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2007	—	`conf`	Web Service Composition: From Analysis to Autonomy. TGC Jeff Magee
2006	—	`book`	Concurrency - state models and Java programs (2. ed.). Jeff Magee, Jeff Kramer
2006	J	`jnl`	Goal and scenario validation: a fluent combination. Requir. Eng. Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2006	A*	`conf`	LTSA-WS: a tool for model-based verification of web service compositions and choreography. ICSE Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2006	—	`conf`	Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2006	—	`conf`	Modes for Software Architectures. EWSA Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2006	—	`ed.`	Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, SEAMS 2006, Shanghai, China, May 21-22, 2006 SEAMS@ICSE Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Jeff Magee, Hausi A. Müller, Richard Taylor
2006	A*	`conf`	Software engineering for adaptive and self-managing systems. ICSE Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller
2006	C	`conf`	Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer
2006	—	`conf`	Towards specification, modelling and analysis of fault tolerance in self managed systems. SEAMS@ICSE Jeff Magee, Tom Maibaum
2006	—	`conf`	Using resemblance to support component reuse and evolution. SAVCBS@FSE Andrew McVeigh, Jeff Kramer, Jeff Magee
2005	—	`conf`	Engineering distributed software: a structural discipline. ESEC/SIGSOFT FSE Jeff Kramer, Jeff Magee
2005	—	`conf`	Fluent temporal logic for discrete-time event-based models. ESEC/SIGSOFT FSE Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2005	A*	`conf`	Fluent-based web animation: exploring goals for requirements validation. ICSE Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee
2005	—	`conf`	Leveraging Eclipse for integrated model-based engineering of web service compositions. eTX Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2005	A*	`conf`	Monitoring and control in scenario-based requirements analysis. ICSE Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2005	A*	`conf`	Science of design. ICSE Kevin J. Sullivan, Jeff Magee
2005	A	`conf`	Tool Support for Model-Based Engineering of Web Service Compositions. ICWS Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2005	—	`conf`	Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. IEEE SCC Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu
2004	A	`conf`	Compatibility Verification for Web Service Choreography. ICWS Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2004	A	`conf`	Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. RE Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2004	J	`jnl`	Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Softw. Eng. Methodol. Sebastián Uchitel, Jeff Kramer, Jeff Magee
2004	—	`conf`	MagicBeans: a Platform for Deploying Plugin Components. Component Deployment Robert Chatley, Susan Eisenbach, Jeff Magee
2004	—	`conf`	Model-Based Design of Concurrent Programs. 25 Years Communicating Sequential Processes Jeff Magee, Jeff Kramer
2004	B	`conf`	Predictable Dynamic Plugin Systems. FASE Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2004	—	`conf`	System architecture: the context for scenario-based model synthesis. SIGSOFT FSE Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2003	—	`conf`	Behaviour model elaboration using partial labelled transition systems. ESEC / SIGSOFT FSE Sebastián Uchitel, Jeff Kramer, Jeff Magee
2003	J	`jnl`	Editorial. ACM Trans. Softw. Eng. Methodol. Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa
2003	—	`conf`	Fluent model checking for event-based systems. ESEC / SIGSOFT FSE Dimitra Giannakopoulou, Jeff Magee
2003	A	`conf`	LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. TACAS Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2003	—	`conf`	Model-based Simulation of Web Applications for Usability Assessment. ICSE Workshop on SE-HCI Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2003	A*	`conf`	Model-based Verification of Web Service Compositions. ASE Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2003	—	`conf`	Software Architecture Modeling & Analysis: A Rigorous Approach. SFM Jeff Kramer, Jeff Magee, Sebastián Uchitel
2003	J	`jnl`	Synthesis of Behavioral Models from Scenarios. IEEE Trans. Software Eng. Sebastián Uchitel, Jeff Kramer, Jeff Magee
2003	—	`conf`	Visual methods for web application design. HCC Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2002	—	`conf`	Implied Scenario Detection in the Presence of Behaviour Constraints. VISS@ETAPS Sebastián Uchitel, Jeff Kramer, Jeff Magee
2002	—	`conf`	Negative scenarios for implied scenario elicitation. SIGSOFT FSE Sebastián Uchitel, Jeff Kramer, Jeff Magee
2002	A*	`ed.`	Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA ICSE Will Tracz, Michal Young, Jeff Magee
2002	—	`conf`	Self-organising software architectures for distributed systems. WOSS Ioannis Georgiadis, Jeff Magee, Jeff Kramer
2001	—	`conf`	Detecting implied scenarios in message sequence chart specifications. ESEC / SIGSOFT FSE Sebastián Uchitel, Jeff Kramer, Jeff Magee
2000	A*	`conf`	Graphical animation of behavior models. ICSE Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer
2000	—	`conf`	Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. IWSSD Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander
2000	B	`conf`	Model Checking of Workflow Schemas. EDOC Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater
2000	A*	`conf`	The ICSE2000 doctoral workshop. ICSE Jeff Magee, Mauro Pezzè
2000	J	`jnl`	The Koala Component Model for Consumer Electronics Software. Computer Rob C. van Ommering, Frank van der Linden, Jeff Kramer, Jeff Magee
2000	A*	`conf`	Who needs doctors? (abstract of panel session). ICSE Jeff Magee
1999	A*	`conf`	Behavioral Analysis of Software Architectures Using LTSA. ICSE Jeff Magee
1999	—	`conf`	Behaviour Analysis of Software Architectures. WICSA Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
1999	—	`conf`	Checking Progress with Action Priority: Is it Fair? ESEC / SIGSOFT FSE Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer
1999	J	`jnl`	Client Access Protocols for Replicated Services. IEEE Trans. Software Eng. Christos T. Karamanolis, Jeff Magee
1999	—	`book`	Concurrency - state models and Java programs. Jeff Magee, Jeff Kramer
1999	A	`conf`	Modelling for Mere Mortals. TACAS Jeff Kramer, Jeff Magee
1998	J	`jnl`	Analysing dynamic change in distributed software architectures. IEE Proc. Softw. Jeff Kramer, Jeff Magee
1998	—	`conf`	Analysing dynamic change in software architectures: a case study. CDS Jeff Kramer, Jeff Magee
1998	J	`jnl`	Construction and management of highly available services in open distributed systems. Distributed Syst. Eng. Christos T. Karamanolis, Jeff Magee
1998	A*	`conf`	Multi-Sensor Location Tracking. MobiCom Ulf Leonhardt, Jeff Magee
1998	J	`jnl`	Security Considerations for a Distributed Location Service. J. Netw. Syst. Manag. Ulf Leonhardt, Jeff Magee
1998	—	`conf`	Software Architecture Directed Behaviour Analysis. IWSSD Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
1997	—	`conf`	Analysing the behaviour of distributed software architectures: a case study. FTDCS Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
1997	B	`conf`	Client--Access Protocols for Replicated Services. ICECCS Christos T. Karamanolis, Jeff Magee
1997	C	`conf`	Composing distributed objects in CORBA. ISADS Jeff Magee, Andrew Tseng, Jeff Kramer
1997	A*	`conf`	Distributed Software Architectures (Tutorial). ICSE Jeff Kramer, Jeff Magee
1997	—	`conf`	Distributed System Design using CORBA Components. HICSS (1) Douglas I. Donaldson, Jeff Magee
1997	C	`conf`	Exposing the Skeleton in the Coordination Closet. COORDINATION Jeff Kramer, Jeff Magee
1996	J	`jnl`	A CASE Tool for Software Architecture Design. Autom. Softw. Eng. Keng Ng, Jeff Kramer, Jeff Magee
1996	—	`conf`	Dynamic Structure in Software Architectures. SIGSOFT FSE Jeff Magee, Jeff Kramer
1996	J	`jnl`	Location service in mobile computing environments. Comput. Graph. Ulf Leonhardt, Jeff Magee, Paul Dias
1996	—	`conf`	Self organising software architectures. ISAW/Viewpoints@FSE Jeff Magee, Jeff Kramer
1995	B	`conf`	Configurable Highly Availbale Distributed Services. SRDS Christos T. Karamanolis, Jeff Magee
1995	—	`conf`	Configuration management for distributed software services. Integrated Network Management Steve Crane, Naranker Dulay, Halldor Fosså, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle
1995	—	`conf`	Specifying Distributed Software Architectures. ESEC Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
1995	—	`conf`	The Software Architect's Assistant-a visual environment for distributed programming. HICSS (2) Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay
1994	—	`conf`	Modelling Darwin in the Pi-Caculus. Dagstuhl Seminar on Distributed Systems Jeff Magee, Susan Eisenbach, Jeff Kramer
1994	J	`jnl`	Regis: a constructive development environment for distributed programs. Distributed Syst. Eng. Jeff Magee, Naranker Dulay, Jeff Kramer
1993	J	`jnl`	Scalable, adaptive load sharing for distributed systems. IEEE Parallel Distributed Technol. Syst. Appl. Orly Kremien, Jeff Kramer, Jeff Magee
1993	J	`jnl`	Structuring parallel and distributed programs. Softw. Eng. J. Jeff Magee, Naranker Dulay, Jeff Kramer
1992	J	`jnl`	A configuration approach to parallel programming. Future Gener. Comput. Syst. Jeff Magee, Naranker Dulay
1992	—	`conf`	Configuring distributed systems. ACM SIGOPS European Workshop Jeff Kramer, Jeff Magee, Morris Sloman
1992	J	`jnl`	Configuring object-based distributed programs in REX. Softw. Eng. J. Jeff Kramer, Jeff Magee, Morris Sloman, Naranker Dulay
1992	—	`conf`	MP: A Programming Environment for Multicomputers. Programming Environments for Parallel Computing Jeff Magee, Naranker Dulay
1991	—	`conf`	A Configuration Approach to Parallel Programming. PARLE (2) Jeff Magee, Naranker Dulay
1991	J	`jnl`	Parallel Algorithm Design for Workstation Clusters. Softw. Pract. Exp. Jeff Magee, Shing-Chi Cheung
1990	A	`conf`	A Constructive Approach to the Design of Distributed Systems. ICDCS Jeff Kramer, Jeff Magee, Anthony Finkelstein
1990	J	`jnl`	The Evolving Philosophers Problem: Dynamic Change Management. IEEE Trans. Software Eng. Jeff Kramer, Jeff Magee
1989	—	`conf`	Configuration support for system description, construction and evolution. IWSSD Jeff Kramer, Jeff Magee, Morris Sloman
1989	J	`jnl`	Constructing Distributed Systems in Conic. IEEE Trans. Software Eng. Jeff Magee, Jeff Kramer, Morris Sloman
1989	J	`jnl`	Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics. Computer Jeff Kramer, Jeff Magee, Keng Ng
1988	J	`jnl`	A distributed file server for embedded applications. Softw. Eng. J. Animesh Mukherjee, Jeff Kramer, Jeff Magee
1988	—	`conf`	Change management of distributed systems. ACM SIGOPS European Workshop Jeff Kramer, Jeff Magee
1987	—	`conf`	Distributed System Construction: Experience with the Conic Toolkit. Experiences with Distributed Systems Naranker Dulay, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle
1985	J	`jnl`	Dynamic Configuration for Distributed Systems. IEEE Trans. Software Eng. Jeff Kramer, Jeff Magee
1984	J	`jnl`	A software architecture for distributed computer control systems. Autom. Jeff Kramer, Jeff Magee, Morris Sloman
1984	—	`conf`	Environment requirements for system evolution. ISPW Jeff Kramer, Jeff Magee
1981	A	`conf`	Intertask Communication Primitives for Distributed Computer Control Systems. ICDCS Jeff Kramer, Jeff Magee, Morris Sloman