Jeff Magee Home Page Coauthor index pubzone.org

Jeff N. Magee

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew McVeigh, Jeff Kramer, Jeff Magee: Evolve: tool support for architecture evolution. ICSE 2011: 1040-1042
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Sykes, Jeff Magee, Jeff Kramer: FlashMob: distributed adaptive self-assembly. SEAMS 2011: 100-109
2010
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty 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: 447-448
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Sykes, William Heaven, Jeff Magee, Jeff Kramer: Exploiting non-functional preferences in architectural adaptation for self-managed systems. SAC 2010: 431-438
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee: Translating FSP into LOTOS and networks of automata. Formal Asp. Comput. 22(6): 681-711 (2010)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Mens, Jeff Magee, Bernhard Rumpe: Evolving Software Architecture Descriptions of Critical Systems. IEEE Computer 43(5): 42-48 (2010)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: An Integrated Workbench for Model-Based Engineering of Service Compositions. IEEE T. Services Computing 3(2): 131-144 (2010)
2009
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee: Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] Springer 2009
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty 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: 463-464
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty 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: 1-26
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer: A Case Study in Goal-Driven Architectural Adaptation. Software Engineering for Self-Adaptive Systems 2009: 109-127
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: A Rigorous Architectural Approach to Adaptive Software Engineering. J. Comput. Sci. Technol. 24(2): 183-188 (2009)
2008
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee: Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty 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
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty 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
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Deriving event-based transition systems from goal-oriented requirements models. Autom. Softw. Eng. 15(2): 175-206 (2008)
2007
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel: Model checking service compositions under resource constraints. ESEC/SIGSOFT FSE 2007: 225-234
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Self-Managed Systems: an Architectural Challenge. FOSE 2007: 259-268
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty 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: 152-153
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee: Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops 2007: 338-350
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee: Translating FSP into LOTOS and Networks of Automata. IFM 2007: 558-578
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Sykes, William Heaven, Jeff Magee, Jeff Kramer: Plan-directed architectural change for autonomous systems. SAVCBS 2007: 15-21
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty 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: 1
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee: Web Service Composition: From Analysis to Autonomy. TGC 2007: 21
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. Test and Analysis of Web Services 2007: 87-119
2006
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Jeff Kramer: Concurrency - state models and Java programs (2. ed.). Wiley 2006: I-XVIII, 1-413
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW 2006: 149
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer: Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION 2006: 28-43
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Modes for Software Architectures. EWSA 2006: 113-126
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty 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: 1015-1016
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: LTSA-WS: a tool for model-based verification of web service compositions and choreography. ICSE 2006: 771-774
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: Goal and scenario validation: a fluent combination. Requir. Eng. 11(2): 123-137 (2006)
2005
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Engineering distributed software: a structural discipline. ESEC/SIGSOFT FSE 2005: 283-285
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Fluent temporal logic for discrete-time event-based models. ESEC/SIGSOFT FSE 2005: 70-79
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Leveraging Eclipse for integrated model-based engineering of web service compositions. ETX 2005: 95-99
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Monitoring and control in scenario-based requirements analysis. ICSE 2005: 382-391
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin J. Sullivan, Jeff Magee: Science of design. ICSE 2005: 46
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee: Fluent-based web animation: exploring goals for requirements validation. ICSE 2005: 674-675
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Tool Support for Model-Based Engineering of Web Service Compositions. ICWS 2005: 95-102
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward 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: 217-224
2004
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Jeff Kramer: Model-Based Design of Concurrent Programs. 25 Years Communicating Sequential Processes 2004: 211-219
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Chatley, Susan Eisenbach, Jeff Magee: MagicBeans: a Platform for Deploying Plugin Components. Component Deployment 2004: 97-112
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Predictable Dynamic Plugin Systems. FASE 2004: 129-143
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Compatibility Verification for Web Service Choreography. ICWS 2004: 738-741
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. RE 2004: 208-217
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: System architecture: the context for scenario-based model synthesis. SIGSOFT FSE 2004: 33-42
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastiá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): 37-85 (2004)
2003
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-based Verification of Web Service Compositions. ASE 2003: 152-163
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastián Uchitel, Jeff Kramer, Jeff Magee: Behaviour model elaboration using partial labelled transition systems. ESEC / SIGSOFT FSE 2003: 19-27
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitra Giannakopoulou, Jeff Magee: Fluent model checking for event-based systems. ESEC / SIGSOFT FSE 2003: 257-266
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Visual methods for web application design. HCC 2003: 242-244
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Model-based Simulation of Web Applications for Usability Assessment. ICSE Workshop on SE-HCI 2003: 5-11
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee, Sebastián Uchitel: Software Architecture Modeling & Analysis: A Rigorous Approach. SFM 2003: 44-51
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. TACAS 2003: 597-601
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa: Editorial. ACM Trans. Softw. Eng. Methodol. 12(1): 1-2 (2003)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastián Uchitel, Jeff Kramer, Jeff Magee: Synthesis of Behavioral Models from Scenarios. IEEE Trans. Software Eng. 29(2): 99-115 (2003)
2002
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWill Tracz, Michal Young, Jeff Magee: Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA ACM 2002
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastián Uchitel, Jeff Kramer, Jeff Magee: Negative scenarios for implied scenario elicitation. SIGSOFT FSE 2002: 109-118
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Georgiadis, Jeff Magee, Jeff Kramer: Self-organising software architectures for distributed systems. WOSS 2002: 33-38
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastián Uchitel, Jeff Kramer, Jeff Magee: Implied Scenario Detection in the Presence of Behaviour Constraints. Electr. Notes Theor. Comput. Sci. 65(7): 65-84 (2002)
2001
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastián Uchitel, Jeff Kramer, Jeff Magee: Detecting implied scenarios in message sequence chart specifications. ESEC / SIGSOFT FSE 2001: 74-82
2000
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater: Model Checking of Workflow Schemas. EDOC 2000: 170-181
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer: Graphical animation of behavior models. ICSE 2000: 499-508
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee: Who needs doctors? (abstract of panel session). ICSE 2000: 669
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Mauro Pezzè: The ICSE2000 doctoral workshop. ICSE 2000: 697
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander: Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. IWSSD 2000: 3-10
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob C. van Ommering, Frank van der Linden, Jeff Kramer, Jeff Magee: The Koala Component Model for Consumer Electronics Software. IEEE Computer 33(3): 78-85 (2000)
1999
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Jeff Kramer: Concurrency - state models and Java programs. Wiley 1999: I-XIII, 1-355
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitra Giannakopoulou, Jeff Magee, Jeff Kramer: Checking Progress with Action Priority: Is it Fair? ESEC / SIGSOFT FSE 1999: 511-527
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee: Behavioral Analysis of Software Architectures Using LTSA. ICSE 1999: 634-637
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Modelling for Mere Mortals. TACAS 1999: 1-18
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Jeff Kramer, Dimitra Giannakopoulou: Behaviour Analysis of Software Architectures. WICSA 1999: 35-50
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristos T. Karamanolis, Jeff Magee: Client Access Protocols for Replicated Services. IEEE Trans. Software Eng. 25(1): 3-21 (1999)
1998
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Analysing dynamic change in software architectures: a case study. CDS 1998: 91-100
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlf Leonhardt, Jeff Magee: Multi-Sensor Location Tracking. MOBICOM 1998: 203-214
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristos T. Karamanolis, Jeff Magee: Construction and management of highly available services in open distributed systems. Distributed Systems Engineering 5(1): 29- (1998)
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Analysing dynamic change in distributed software architectures. IEE Proceedings - Software 145(5): 146-154 (1998)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlf Leonhardt, Jeff Magee: Security Considerations for a Distributed Location Service. J. Network Syst. Manage. 6(1): 51-70 (1998)
1997
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Exposing the Skeleton in the Coordination Closet. COORDINATION 1997: 18-31
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Jeff Kramer, Dimitra Giannakopoulou: Analysing the behaviour of distributed software architectures: a case study. FTDCS 1997: 240-247
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDouglas I. Donaldson, Jeff Magee: Distributed System Design using CORBA Components. HICSS (1) 1997: 4-13
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristos T. Karamanolis, Jeff Magee: Client--Access Protocols for Replicated Services. ICECCS 1997: 106-
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Distributed Software Architectures (Tutorial). ICSE 1997: 633-634
1996
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristos T. Karamanolis, Jeff N. Magee: A replication protocol to support dynamically configurable groups of servers. CDS 1996: 161-168
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Jeff Kramer: Dynamic Structure in Software Architectures. SIGSOFT FSE 1996: 3-14
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeng Ng, Jeff Kramer, Jeff Magee: A CASE Tool for Software Architecture Design. Autom. Softw. Eng. 3(3/4): 261-284 (1996)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlf Leonhardt, Jeff Magee, Paul Dias: Location service in mobile computing environments. Computers & Graphics 20(5): 627-632 (1996)
1995
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer: Specifying Distributed Software Architectures. ESEC 1995: 137-153
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay: The Software Architect's Assistant-a visual environment for distributed programming. HICSS (2) 1995: 254-263
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Crane, Naranker Dulay, Halldor Fosså, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle: Configuration management for distributed software services. Integrated Network Management 1995: 29-42
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristos T. Karamanolis, Jeff Magee: Configurable Highly Availbale Distributed Services. SRDS 1995: 118-127
1994
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan Eisenbach, Jeff Kramer, Jeff N. Magee: REGIS-DARWIN specified in the π-calculus. CDS 1994: 213
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff N. Magee, Naranker Dulay, Jeff Kramer: A constructive development environment for parallel and distributed programs. CDS 1994: 4-14
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Susan Eisenbach, Jeff Kramer: Modelling Darwin in the Pi-Caculus. Dagstuhl Seminar on Distributed Systems 1994: 133-152
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Naranker Dulay, Jeff Kramer: Regis: a constructive development environment for distributed programs. Distributed Systems Engineering 1(5): 304-312 (1994)
1992
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee, Morris Sloman: Configuring distributed systems. ACM SIGOPS European Workshop 1992
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff N. Magee, Naranker Dulay, Jeff Kramer: Structuring parallel and distributed programs. CDS 1992: 102-117
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Young, Jeff N. Magee: A flexible approach to evolution of reconfigurable systems. CDS 1992: 152-163
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Naranker Dulay: MP: A Programming Environment for Multicomputers. Programming Environments for Parallel Computing 1992: 1-16
1991
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Naranker Dulay: A Configuration Approach to Parallel Programming. PARLE (2) 1991: 313-330
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Shing-Chi Cheung: Parallel Algorithm Design for Workstation Clusters. Softw., Pract. Exper. 21(3): 235-250 (1991)
1990
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee, Anthony Finkelstein: A Constructive Approach to the Design of Distributed Systems. ICDCS 1990: 580-587
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: The Evolving Philosophers Problem: Dynamic Change Management. IEEE Trans. Software Eng. 16(11): 1293-1306 (1990)
1989
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee, Keng Ng: Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics. IEEE Computer 22(10): 53-65 (1989)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Jeff Kramer, Morris Sloman: Constructing Distributed Systems in Conic. IEEE Trans. Software Eng. 15(6): 663-675 (1989)
1988
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Change management of distributed systems. ACM SIGOPS European Workshop 1988
1987
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNaranker Dulay, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle: Distributed System Construction: Experience with the Conic Toolkit. Experiences with Distributed Systems 1987: 189-212
1985
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Dynamic Configuration for Distributed Systems. IEEE Trans. Software Eng. 11(4): 424-436 (1985)
1984
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Environment requirements for system evolution. ISPW 1984: 77-85
1981
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee, Morris Sloman: Intertask Communication Primitives for Distributed Computer Control Systems. ICDCS 1981: 404-411

Coauthor Index

1Jesper Andersson [101]
2Basil Becker [101]
3Nelly Bencomo [101]
4Marco Bernardo [83]
5Edoardo Bontà [83]
6Yuriy Brun [101]
7David Bush [45]
8Robert Chatley [57] [59] [60] [65] [66] [68] [69] [73] [79]
9Betty H. C. Cheng [81] [88] [92] [96] [97] [98] [101] [102] [103] [108]
10Shing-Chi Cheung (S. C. Cheung) [10]
11Steve Crane [21]
12Bojan Cukic [101]
13Paul Dias [24]
14Douglas I. Donaldson [30]
15Naranker Dulay [4] [11] [12] [14] [16] [18] [21] [22] [23]
16Schahram Dustdar [101]
17Susan Eisenbach [17] [19] [23] [68] [69]
18Wolfgang Emmerich [94]
19Stephen Fickas [81] [88] [92]
20Anthony Finkelstein [9] [101]
21Halldor Fosså [21]
22Howard Foster [63] [67] [71] [72] [76] [80] [84] [86] [91] [94] [104]
23Cristina Gacek [101]
24David Garlan [81] [88] [92] [102] [108]
25Kurt Geihs [101]
26Ioannis Georgiadis [52]
27Carlo Ghezzi [56]
28Dimitra Giannakopoulou [31] [39] [42] [48] [49] [61]
29Holger Giese [96] [97] [98] [101] [102] [103] [108]
30Vincenzo Grassi [101]
31William Heaven [89] [100] [107]
32Rémi Hérilier [106]
33Dan Hirsch [82]
34Michael Hu [71]
35Paola Inverardi [96] [97] [98] [101] [103]
36Christos T. Karamanolis [20] [27] [29] [35] [38] [49]
37Gabor Karsai [101]
38Holger M. Kienle [101]
39Jeff Kramer (Jeffrey Kramer) [1] [2] [3] [4] [5] [6] [7] [8] [9] [14] [15] [16] [17] [18] [19] [21] [22] [23] [25] [26] [28] [31] [32] [34] [37] [39] [40] [42] [43] [44] [45] [48] [50] [51] [52] [53] [55] [57] [58] [59] [60] [62] [63] [64] [65] [66] [67] [68] [70] [71] [72] [73] [75] [76] [77] [78] [79] [80] [82] [83] [84] [85] [86] [89] [90] [91] [93] [94] [95] [99] [100] [101] [104] [106] [107] [109] [110]
40Frédéric Lang [90] [106]
41Rogério de Lemos [81] [88] [92] [96] [97] [98] [101] [102] [103] [108]
42Ulf Leonhardt [24] [33] [36]
43Emmanuel Letier [75] [77] [95]
44Frank van der Linden [44]
45Marin Litoiu [88] [92] [101] [102] [108]
46Sam Malek [101]
47Andrew McVeigh [110]
48Tom Mens [105]
49Raffaela Mirandola [101]
50Hausi A. Müller [81] [88] [92] [101] [102] [108]
51Keng Ng [7] [22] [25]
52Bashar Nuseibeh [45]
53Rob C. van Ommering (Robbert Christiaan van Ommering) [44]
54Sooyong Park [101]
55Mauro Pezzè [46] [108]
56Nat Pryce (Nathaniel Pryce) [48]
57H. Dieter Rombach [56]
58David S. Rosenblum [94]
59Bernhard Rumpe [105]
60Gwen Salaün [90] [106]
61Giovanna Di Marzo Serugendo [101]
62Mary Shaw [101]
63Morris Sloman [1] [4] [6] [15] [21]
64Mary Lou Soffa [56]
65Julia Sonander [45]
66Kevin J. Sullivan [74]
67Daniel Sykes [89] [100] [107] [109]
68Richard Taylor [81] [88] [92] [102] [108]
69Matthias Tichy [101]
70Massimo Tivoli [101]
71Will Tracz [54]
72Kevin P. Twidle [4] [21]
73Sebastián Uchitel [50] [51] [53] [55] [57] [58] [59] [60] [62] [63] [64] [65] [66] [67] [68] [71] [72] [73] [75] [76] [77] [79] [80] [82] [84] [86] [91] [94] [95] [104]
74Danny Weyns [101]
75Stuart M. Wheater [49]
76Jon Whittle (Jonathan Whittle) [101]
77Andrew J. Young [13]
78Michal Young [54]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page