Jeff Magee

Jeff N. Magee

2008
88		Betty 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
87	EE	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
86	EE	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
85	EE	Emmanuel 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
84	EE	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: 225-234
83	EE	Jeff Kramer, Jeff Magee: Self-Managed Systems: an Architectural Challenge. FOSE 2007: 259-268
82	EE	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: 152-153
81	EE	Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee: Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops 2007: 338-350
80	EE	Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee: Translating FSP into LOTOS and Networks of Automata. IFM 2007: 558-578
79	EE	Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer: Plan-directed architectural change for autonomous systems. SAVCBS 2007: 15-21
78	EE	Jeff Magee: Web Service Composition: From Analysis to Autonomy. TGC 2007: 21
77	EE	Howard 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
76	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW 2006: 149
75	EE	Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer: Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION 2006: 28-43
74	EE	Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Modes for Software Architectures. EWSA 2006: 113-126
73	EE	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: 1015-1016
72	EE	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: 771-774
71	EE	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: Goal and scenario validation: a fluent combination. Requir. Eng. 11(2): 123-137 (2006)
2005
70	EE	Jeff Kramer, Jeff Magee: Engineering distributed software: a structural discipline. ESEC/SIGSOFT FSE 2005: 283-285
69	EE	Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Fluent temporal logic for discrete-time event-based models. ESEC/SIGSOFT FSE 2005: 70-79
68	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Leveraging Eclipse for integrated model-based engineering of web service compositions. ETX 2005: 95-99
67	EE	Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Monitoring and control in scenario-based requirements analysis. ICSE 2005: 382-391
66	EE	Kevin J. Sullivan, Jeff Magee: Science of design. ICSE 2005: 46
65	EE	Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee: Fluent-based web animation: exploring goals for requirements validation. ICSE 2005: 674-675
64	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Tool Support for Model-Based Engineering of Web Service Compositions. ICWS 2005: 95-102
63	EE	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: 217-224
2004
62	EE	Jeff Magee, Jeff Kramer: Model-Based Design of Concurrent Programs. 25 Years Communicating Sequential Processes 2004: 211-219
61	EE	Robert Chatley, Susan Eisenbach, Jeff Magee: MagicBeans: a Platform for Deploying Plugin Components. Component Deployment 2004: 97-112
60	EE	Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Predictable Dynamic Plugin Systems. FASE 2004: 129-143
59	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Compatibility Verification for Web Service Choreography. ICWS 2004: 738-741
58	EE	Sebastiá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
57	EE	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: System architecture: the context for scenario-based model synthesis. SIGSOFT FSE 2004: 33-42
56	EE	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): 37-85 (2004)
2003
55	EE	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-based Verification of Web Service Compositions. ASE 2003: 152-163
54	EE	Sebastián Uchitel, Jeff Kramer, Jeff Magee: Behaviour model elaboration using partial labelled transition systems. ESEC / SIGSOFT FSE 2003: 19-27
53	EE	Dimitra Giannakopoulou, Jeff Magee: Fluent model checking for event-based systems. ESEC / SIGSOFT FSE 2003: 257-266
52		Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Visual methods for web application design. HCC 2003: 242-244
51	EE	Robert 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
50	EE	Jeff Kramer, Jeff Magee, Sebastián Uchitel: Software Architecture Modeling & Analysis: A Rigorous Approach. SFM 2003: 44-51
49	EE	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. TACAS 2003: 597-601
48	EE	Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa: Editorial. ACM Trans. Softw. Eng. Methodol. 12(1): 1-2 (2003)
47	EE	Sebastián Uchitel, Jeff Kramer, Jeff Magee: Synthesis of Behavioral Models from Scenarios. IEEE Trans. Software Eng. 29(2): 99-115 (2003)
2002
46	EE	Sebastián Uchitel, Jeff Kramer, Jeff Magee: Negative scenarios for implied scenario elicitation. SIGSOFT FSE 2002: 109-118
45	EE	Ioannis Georgiadis, Jeff Magee, Jeff Kramer: Self-organising software architectures for distributed systems. WOSS 2002: 33-38
44	EE	Sebastián Uchitel, Jeff Kramer, Jeff Magee: Implied Scenario Detection in the Presence of Behaviour Constraints. Electr. Notes Theor. Comput. Sci. 65(7): (2002)
2001
43	EE	Sebastián Uchitel, Jeff Kramer, Jeff Magee: Detecting implied scenarios in message sequence chart specifications. ESEC / SIGSOFT FSE 2001: 74-82
2000
42	EE	Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater: Model Checking of Workflow Schemas. EDOC 2000: 170-181
41	EE	Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer: Graphical animation of behavior models. ICSE 2000: 499-508
40	EE	Jeff Magee: Who needs doctors? (abstract of panel session). ICSE 2000: 669
39	EE	Jeff Magee, Mauro Pezzè: The ICSE2000 doctoral workshop. ICSE 2000: 697
38	EE	Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander: Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. IWSSD 2000: 3-10
37		Rob 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
36	EE	Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer: Checking Progress with Action Priority: Is it Fair? ESEC / SIGSOFT FSE 1999: 511-527
35	EE	Jeff Magee: Behavioral Analysis of Software Architectures Using LTSA. ICSE 1999: 634-637
34	EE	Jeff Kramer, Jeff Magee: Modelling for Mere Mortals. TACAS 1999: 1-18
33		Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou: Behaviour Analysis of Software Architectures. WICSA 1999: 35-50
32	EE	Christos T. Karamanolis, Jeff Magee: Client Access Protocols for Replicated Services. IEEE Trans. Software Eng. 25(1): 3-21 (1999)
1998
31	EE	Ulf Leonhardt, Jeff Magee: Multi-Sensor Location Tracking. MOBICOM 1998: 203-214
30	EE	Christos T. Karamanolis, Jeff Magee: Construction and management of highly available services in open distributed systems. Distributed Systems Engineering 5(1): 29- (1998)
29		Jeff Kramer, Jeff Magee: Analysing dynamic change in distributed software architectures. IEE Proceedings - Software 145(5): 146-154 (1998)
28	EE	Ulf Leonhardt, Jeff Magee: Security Considerations for a Distributed Location Service. J. Network Syst. Manage. 6(1): (1998)
1997
27		Jeff Kramer, Jeff Magee: Exposing the Skeleton in the Coordination Closet. COORDINATION 1997: 18-31
26	EE	Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou: Analysing the behaviour of distributed software architectures: a case study. FTDCS 1997: 240-247
25	EE	Douglas I. Donaldson, Jeff Magee: Distributed System Design using CORBA Components. HICSS (1) 1997: 4-13
24	EE	Christos T. Karamanolis, Jeff Magee: Client--Access Protocols for Replicated Services. ICECCS 1997: 106-
23	EE	Jeff Kramer, Jeff Magee: Distributed Software Architectures (Tutorial). ICSE 1997: 633-634
1996
22	EE	Jeff Magee, Jeff Kramer: Dynamic Structure in Software Architectures. SIGSOFT FSE 1996: 3-14
21		Keng Ng, Jeff Kramer, Jeff Magee: A CASE Tool for Software Architecture Design. Autom. Softw. Eng. 3(3/4): 261-284 (1996)
20	EE	Ulf Leonhardt, Jeff Magee, Paul Dias: Location service in mobile computing environments. Computers & Graphics 20(5): 627-632 (1996)
1995
19		Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer: Specifying Distributed Software Architectures. ESEC 1995: 137-153
18	EE	Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay: The Software Architect's Assistant-a visual environment for distributed programming. HICSS (2) 1995: 254-263
17		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: 29-42
16		Christos T. Karamanolis, Jeff Magee: Configurable Highly Availbale Distributed Services. SRDS 1995: 118-127
1994
15		Jeff Magee, Susan Eisenbach, Jeff Kramer: Modelling Darwin in the Pi-Caculus. Dagstuhl Seminar on Distributed Systems 1994: 133-152
14	EE	Jeff Magee, Naranker Dulay, Jeff Kramer: Regis: a constructive development environment for distributed programs. Distributed Systems Engineering 1(5): 304-312 (1994)
1992
13	EE	Jeff Kramer, Jeff Magee, Morris Sloman: Configuring distributed systems. ACM SIGOPS European Workshop 1992
12		Jeff Magee, Naranker Dulay: MP: A Programming Environment for Multicomputers. Programming Environments for Parallel Computing 1992: 1-16
1991
11		Jeff Magee, Naranker Dulay: A Configuration Approach to Parallel Programming. PARLE (2) 1991: 313-330
10		Jeff Magee, Shing-Chi Cheung: Parallel Algorithm Design for Workstation Clusters. Softw., Pract. Exper. 21(3): 235-250 (1991)
1990
9		Jeff Kramer, Jeff Magee, Anthony Finkelstein: A Constructive Approach to the Design of Distributed Systems. ICDCS 1990: 580-587
8	EE	Jeff Kramer, Jeff Magee: The Evolving Philosophers Problem: Dynamic Change Management. IEEE Trans. Software Eng. 16(11): 1293-1306 (1990)
1989
7		Jeff 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)
6	EE	Jeff Magee, Jeff Kramer, Morris Sloman: Constructing Distributed Systems in Conic. IEEE Trans. Software Eng. 15(6): 663-675 (1989)
1988
5	EE	Jeff Kramer, Jeff Magee: Change management of distributed systems. ACM SIGOPS European Workshop 1988
1987
4		Naranker 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
3		Jeff Kramer, Jeff Magee: Dynamic Configuration for Distributed Systems. IEEE Trans. Software Eng. 11(4): 424-436 (1985)
1984
2		Jeff Kramer, Jeff Magee: Environment requirements for system evolution. ISPW 1984: 77-85
1981
1		Jeff Kramer, Jeff Magee, Morris Sloman: Intertask Communication Primitives for Distributed Computer Control Systems. ICDCS 1981: 404-411

Coauthor Index

1	Marco Bernardo	[75]
2	Edoardo Bontà	[75]
3	David Bush	[38]
4	Robert Chatley	[49] [51] [52] [57] [58] [60] [61] [65] [71]
5	Betty H. C. Cheng	[73] [82] [86] [87] [88]
6	Shing-Chi Cheung (S. C. Cheung)	[10]
7	Steve Crane	[17]
8	Paul Dias	[20]
9	Douglas I. Donaldson	[25]
10	Naranker Dulay	[4] [11] [12] [14] [17] [18] [19]
11	Susan Eisenbach	[15] [19] [60] [61]
12	Wolfgang Emmerich	[84]
13	Stephen Fickas	[73] [82]
14	Anthony Finkelstein	[9]
15	Halldor Fosså	[17]
16	Howard Foster	[55] [59] [63] [64] [68] [72] [76] [77] [81] [84]
17	David Garlan	[73] [82]
18	Ioannis Georgiadis	[45]
19	Carlo Ghezzi	[48]
20	Dimitra Giannakopoulou	[26] [33] [36] [41] [42] [53]
21	Holger Giese	[86] [87] [88]
22	William Heaven	[79]
23	Dan Hirsch	[74]
24	Michael Hu	[63]
25	Paola Inverardi	[86] [87] [88]
26	Christos T. Karamanolis	[16] [24] [30] [32] [42]
27	Jeff Kramer	[1] [2] [3] [4] [5] [6] [7] [8] [9] [13] [14] [15] [17] [18] [19] [21] [22] [23] [26] [27] [29] [33] [34] [36] [37] [38] [41] [43] [44] [45] [46] [47] [49] [50] [51] [52] [54] [55] [56] [57] [58] [59] [60] [62] [63] [64] [65] [67] [68] [69] [70] [71] [72] [74] [75] [76] [77] [79] [80] [81] [83] [84] [85]
28	Frédéric Lang	[80]
29	Rogério de Lemos	[73] [82] [86] [87] [88]
30	Ulf Leonhardt	[20] [28] [31]
31	Emmanuel Letier	[67] [69] [85]
32	Frank van der Linden	[37]
33	Marin Litoiu	[82]
34	Hausi A. Müller	[73] [82]
35	Keng Ng	[7] [18] [21]
36	Bashar Nuseibeh	[38]
37	Rob C. van Ommering	[37]
38	Mauro Pezzè	[39]
39	Nat Pryce	[41]
40	H. Dieter Rombach	[48]
41	David S. Rosenblum	[84]
42	Gwen Salaün	[80]
43	Morris Sloman	[1] [4] [6] [13] [17]
44	Mary Lou Soffa	[48]
45	Julia Sonander	[38]
46	Kevin J. Sullivan	[66]
47	Daniel Sykes	[79]
48	Richard Taylor	[73] [82]
49	Kevin P. Twidle	[4] [17]
50	Sebastián Uchitel	[43] [44] [46] [47] [49] [50] [51] [52] [54] [55] [56] [57] [58] [59] [60] [63] [64] [65] [67] [68] [69] [71] [72] [74] [76] [77] [81] [84] [85]
51	Stuart M. Wheater	[42]

Colors in the list of coauthors