dblp.uni-trier.dewww.uni-trier.de

Jeff Kramer Vis

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

*2009
145EEPaulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça: Towards accurate probabilistic models using state refinement. ESEC/SIGSOFT FSE 2009: 281-284
144EEDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Learning operational requirements from goal models. ICSE 2009: 265-275
143EEBetty 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
142EEWilliam Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer: A Case Study in Goal-Driven Architectural Adaptation. Software Engineering for Self-Adaptive Systems 2009: 109-127
141EEJeff Kramer, Jeff Magee: A Rigorous Architectural Approach to Adaptive Software Engineering. J. Comput. Sci. Technol. 24(2): 183-188 (2009)
2008
140EELucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel: Towards Faithful Model Extraction Based on Contexts. FASE 2008: 101-115
139EEOrit Hazzan, Jeff Kramer: The role of abstraction in software engineering. ICSE Companion 2008: 1045-1046
138EEJeff Kramer: Abstraction and Modelling - A Complementary Partnership. MoDELS 2008: 158
137EEEmmanuel 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)
136EELeon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf: Determining the Impact of Software Engineering Research on Practice. IEEE Computer 41(3): 39-49 (2008)
135EEJeff Kramer: State of the Journal Address. IEEE Trans. Software Eng. 34(1): 1-2 (2008)
134EEJeff Kramer: Editorial: New Associate Editor Introduction. IEEE Trans. Software Eng. 34(2): 161 (2008)
2007
133EEHoward 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
132EEJeff Kramer, Jeff Magee: Self-Managed Systems: an Architectural Challenge. FOSE 2007: 259-268
131EEHoward Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee: Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops 2007: 338-350
130EEGwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee: Translating FSP into LOTOS and Networks of Automata. IFM 2007: 558-578
129EEDaniel Sykes, William Heaven, Jeff Magee, Jeff Kramer: Plan-directed architectural change for autonomous systems. SAVCBS 2007: 15-21
128EEFelipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer: Detecting Implied Scenarios from Execution Traces. WCRE 2007: 50-59
127EEHoward 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
126EEJeff Kramer: Is abstraction the key to computing? Commun. ACM 50(4): 36-42 (2007)
125EEJeff Kramer: Editorial: State of the Journal. IEEE Trans. Software Eng. 33(1): 1 (2007)
2006
124EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW 2006: 149
123EEJeff Kramer: Component-Based Modeling, Analysis and Animation. CCGRID 2006: 62
122EEEdoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer: Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION 2006: 28-43
121EEDan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Modes for Software Architectures. EWSA 2006: 113-126
120EEJeff Kramer, Orit Hazzan: The role of abstraction in software engineering. ICSE 2006: 1017-1018
119EEHoward 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
118EELucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel: Model Extraction Using Context Information. MoDELS 2006: 380-394
117EEJeff Kramer: Distributed Software Engineering: a Rigorous Architectural Approach. QSIC 2006: 7-9
116EEJeff Kramer, Orit Hazzan: The Role of Abstraction in Software Engineering. ACM SIGSOFT Software Engineering Notes 31(6): 38-39 (2006)
115EEJeff Kramer: Editorial: A Message from the New Editor-in-Chief. IEEE Trans. Software Eng. 32(1): 2-3 (2006)
114EEJeff Kramer: Editorial: New Associate Editors Introduction. IEEE Trans. Software Eng. 32(10): 769-770 (2006)
113EEJeff Kramer: Editorial: New Associate Editors Introduction. IEEE Trans. Software Eng. 32(3): 137-139 (2006)
112EESebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: Goal and scenario validation: a fluent combination. Requir. Eng. 11(2): 123-137 (2006)
111EEAntonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel: Preface. Sci. Comput. Program. 61(2): 73-74 (2006)
2005
110EEJeff Kramer, Jeff Magee: Engineering distributed software: a structural discipline. ESEC/SIGSOFT FSE 2005: 283-285
109EEEmmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Fluent temporal logic for discrete-time event-based models. ESEC/SIGSOFT FSE 2005: 70-79
108EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Leveraging Eclipse for integrated model-based engineering of web service compositions. ETX 2005: 95-99
107EEEmmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Monitoring and control in scenario-based requirements analysis. ICSE 2005: 382-391
106EERobert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee: Fluent-based web animation: exploring goals for requirements validation. ICSE 2005: 674-675
105EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Tool Support for Model-Based Engineering of Web Service Compositions. ICWS 2005: 95-102
104EEHoward 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
103EELeon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf: Editorial. ACM Trans. Softw. Eng. Methodol. 14(4): 381-382 (2005)
2004
102 David Garlan, Jeff Kramer, Alexander L. Wolf: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004 ACM 2004
101EEJeff Magee, Jeff Kramer: Model-Based Design of Concurrent Programs. 25 Years Communicating Sequential Processes 2004: 211-219
100EERobert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Predictable Dynamic Plugin Systems. FASE 2004: 129-143
99EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Compatibility Verification for Web Service Choreography. ICWS 2004: 738-741
98EESebastiá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
97EESebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: System architecture: the context for scenario-based model synthesis. SIGSOFT FSE 2004: 33-42
96EESebastiá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
95EEHoward Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: Model-based Verification of Web Service Compositions. ASE 2003: 152-163
94EESebastián Uchitel, Jeff Kramer, Jeff Magee: Behaviour model elaboration using partial labelled transition systems. ESEC / SIGSOFT FSE 2003: 19-27
93 Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel: Visual methods for web application design. HCC 2003: 242-244
92EEBashar Nuseibeh, Jeff Kramer, Anthony Finkelstein: ViewPoints: meaningful relationships are difficult! ICSE 2003: 676-683
91EERobert 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
90EEJeff Kramer, Jeff Magee, Sebastián Uchitel: Software Architecture Modeling & Analysis: A Rigorous Approach. SFM 2003: 44-51
89EESebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee: LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. TACAS 2003: 597-601
88 Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proceedings - Software 150(1): 25-38 (2003)
87EESebastián Uchitel, Jeff Kramer, Jeff Magee: Synthesis of Behavioral Models from Scenarios. IEEE Trans. Software Eng. 29(2): 99-115 (2003)
2002
86 David Garlan, Jeff Kramer, Alexander L. Wolf: Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002 ACM 2002
85EEAlessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer: An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP 2002: 22-37
84EESebastián Uchitel, Jeff Kramer, Jeff Magee: Negative scenarios for implied scenario elicitation. SIGSOFT FSE 2002: 109-118
83EEIoannis Georgiadis, Jeff Magee, Jeff Kramer: Self-organising software architectures for distributed systems. WOSS 2002: 33-38
82EESebastián Uchitel, Jeff Kramer, Jeff Magee: Implied Scenario Detection in the Presence of Behaviour Constraints. Electr. Notes Theor. Comput. Sci. 65(7): (2002)
2001
81EEJeff Kramer: Making Meaningful Models for Mere Mortal. ACSD 2001: 11-12
80EEArtur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358
79EESebastián Uchitel, Jeff Kramer, Jeff Magee: Detecting implied scenarios in message sequence chart specifications. ESEC / SIGSOFT FSE 2001: 74-82
78 Sebastián Uchitel, Jeff Kramer: A Workbench for Synthesising Behaviour Models from Scenarios. ICSE 2001: 188-197
77 Jaelson Castro, Jeff Kramer: From Software Requirements to Architectures. ICSE 2001: 764-765
76 Nabor C. Mendonça, Jeff Kramer: An Approach for Recovering Distributed System Architectures. Autom. Softw. Eng. 8(3-4): 311-354 (2001)
75EEJeff Kramer, David Garlan, David S. Rosenblum: Guest Editors' Introduction: 1999 International Conference on Software Engineering. IEEE Trans. Software Eng. 27(2): 97-98 (2001)
2000
74EEJeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer: Graphical animation of behavior models. ICSE 2000: 499-508
73EELeon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller: Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. ICSE 2000: 660
72EEAnthony Finkelstein, Jeff Kramer: Software engineering: a roadmap. ICSE - Future of SE Track 2000: 3-22
71EEJeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander: Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. IWSSD 2000: 3-10
70EELeon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf: The impact project: determining the impact of software engineering research upon practice (panel session). SIGSOFT FSE 2000: 108-109
69 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
68EEDimitra Giannakopoulou, Jeff Magee, Jeff Kramer: Checking Progress with Action Priority: Is it Fair? ESEC / SIGSOFT FSE 1999: 511-527
67EENabor C. Mendonça, Jeff Kramer: Component Module Classification for Distributed Software Understanding. ICSM 1999: 119-
66EEJeff Kramer, Jeff Magee: Modelling for Mere Mortals. TACAS 1999: 1-18
65 Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou: Behaviour Analysis of Software Architectures. WICSA 1999: 35-50
64EEShing-Chi Cheung, Jeff Kramer: Checking Safety Properties Using Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 8(1): 49-78 (1999)
63 Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung: Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. 6(1): 7-35 (1999)
62EEAndrea Zisman, Jeff Kramer: An approach to interoperation between autonomous database systems. Distributed Systems Engineering 6(4): 135- (1999)
61 Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: Restructuring requirement specifications. IEE Proceedings - Software 146(1): 44-50 (1999)
1998
60EENabor C. Mendonça, Jeff Kramer: An Experiment in Distributed Software Architecture Recovery. ESPRIT ARES Workshop 1998: 106-114
59EEDewayne E. Perry, Jeff Kramer: Session 2: Architectural Description. ESPRIT ARES Workshop 1998: 49-50
58EEAlessandra Russo, Bashar Nuseibeh, Jeff Kramer: Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. ICRE 1998: 51-
57EENabor C. Mendonça, Jeff Kramer: Developing an Approach for the Recovery of Distributed Software Architectures. IWPC 1998: 28-
56 Jeff Kramer, Jeff Magee: Analysing dynamic change in distributed software architectures. IEE Proceedings - Software 145(5): 146-154 (1998)
1997
55EEAndrea Zisman, Jeff Kramer: Supporting Interoperability of Autonomous Hospital Databases: A Case Study. ADBIS 1997: 285-294
54 Jeff Kramer, Jeff Magee: Exposing the Skeleton in the Coordination Closet. COORDINATION 1997: 18-31
53EENabor C. Mendonça, Jeff Kramer: A Quality-Based Analysis of Architecture Recovery Environments. CSMR 1997: 54-59
52EEShing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer: Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997: 227-243
51EEJeff Magee, Jeff Kramer, Dimitra Giannakopoulou: Analysing the behaviour of distributed software architectures: a case study. FTDCS 1997: 240-247
50EEJeff Kramer, Jeff Magee: Distributed Software Architectures (Tutorial). ICSE 1997: 633-634
49EECelso Massaki Hirata, Jeff Kramer: An investigation of the use of world views with shared variables in Time Warp. Simul. Pr. Theory 5(6): 515-533 (1997)
1996
48EEShing-Chi Cheung, Jeff Kramer: Checking Subsystem Safety Properties in Compositional Reachability Analysis. ICSE 1996: 144-154
47EEJeff Magee, Jeff Kramer: Dynamic Structure in Software Architectures. SIGSOFT FSE 1996: 3-14
46EEShing-Chi Cheung, Jeff Kramer: Context Constraints for Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 5(4): 334-377 (1996)
45 Keng Ng, Jeff Kramer, Jeff Magee: A CASE Tool for Software Architecture Design. Autom. Softw. Eng. 3(3/4): 261-284 (1996)
44EEBashar Nuseibeh, Anthony Finkelstein, Jeff Kramer: Method engineering for multi-perspective software development. Information & Software Technology 38(4): 267-274 (1996)
1995
43EECelso Massaki Hirata, Jeff Kramer: An implementation of a technique for sharing variables in Time Warp. Annual Simulation Symposium 1995: 13-21
42 Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer: Specifying Distributed Software Architectures. ESEC 1995: 137-153
41 Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein, Ulf Leonhardt: Decentralised Process Modelling. EWSPT 1995: 185-188
40EEKeng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay: The Software Architect's Assistant-a visual environment for distributed programming. HICSS (2) 1995: 254-263
39EEUlf Leonhardt, Jeff Kramer, Bashar Nuseibeh: Decentralised Process Enactment in a Multi-Perspective Development Environment. ICSE 1995: 255-264
38 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
37EEShing-Chi Cheung, Jeff Kramer: Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. SIGSOFT FSE 1995: 140-150
36 Shing-Chi Cheung, Jeff Kramer: Contextual Local Analysis in the Design of Distributed Systems. Autom. Softw. Eng. 2(1): 5-32 (1995)
1994
35 Jeff Magee, Susan Eisenbach, Jeff Kramer: Modelling Darwin in the Pi-Caculus. Dagstuhl Seminar on Distributed Systems 1994: 133-152
34 Orly Kremien, Jeff Kramer: Providing High Performance Distributed Computing Through Scalable Computation Servers. HPDC 1994: 70-77
33EEJeff Kramer: Distributed Software Engineering. ICSE 1994: 253-263
32EEShing-Chi Cheung, Jeff Kramer: An Integrated Method for Effective Behaviour Analysis of Distributed Systems. ICSE 1994: 309-320
31EEJeff Kramer: Exoskeletal Software. ICSE 1994: 366
30EEJeff Magee, Naranker Dulay, Jeff Kramer: Regis: a constructive development environment for distributed programs. Distributed Systems Engineering 1(5): 304-312 (1994)
29EEBashar Nuseibeh, Jeff Kramer, Anthony Finkelstein: A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. IEEE Trans. Software Eng. 20(10): 760-773 (1994)
28EEAnthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh: Inconsistency Handling in Multperspective Specifications. IEEE Trans. Software Eng. 20(8): 569-578 (1994)
27EEShing-Chi Cheung, Jeff Kramer: Tractable Dataflow Analysis for Distributed Systems. IEEE Trans. Software Eng. 20(8): 579-593 (1994)
1993
26 Shing-Chi Cheung, Jeff Kramer: Tractable Flow Analysis for Anomaly Detection in Distributed Programs. ESEC 1993: 283-300
25 Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh: Inconsistency Handling in Multi-Perspective Specifications. ESEC 1993: 84-99
24EEBashar Nuseibeh, Jeff Kramer, Anthony Finkelstein: Expressing the Relationships Between Multiple Views in Requirements Specification. ICSE 1993: 187-196
23 Jeff Kramer, Anthony Finkelstein, Bashar Nuseibeh: Method Integration and Support for Distributed Software Development: An Overview. ICSE Workshop on Studies of Software Design 1993: 115-126
22 Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer: Fine-Grain Process Modelling. IWSSD 1993: 42-46
21EEShing-Chi Cheung, Jeff Kramer: Enhancing Compositional Reachability Analysis with Context Constraints. SIGSOFT FSE 1993: 115-125
20 Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach: An Integrated Engineering Study Scheme in Computing. Comput. J. 36(4): 320-334 (1993)
1992
19EEJeff Kramer, Jeff Magee, Morris Sloman: Configuring distributed systems. ACM SIGOPS European Workshop 1992
18EEOrly Kremien, Jeff Kramer: Methodical Analysis of Adaptive Load Sharing Algorithms. IEEE Trans. Parallel Distrib. Syst. 3(6): 747-760 (1992)
17EEAnthony Finkelstein, Jeff Kramer, Bashar Nuseibeh, L. Finkelstein, Michael Goedicke: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering 2(1): 31-57 (1992)
1991
16 Jeff Kramer: CASE Support for the Software Process: A Research Viewpoint. ESEC 1991: 499-503
15EEJeff Kramer, Anthony Finkelstein: A Configurable Framework for Method and Tool Integration. Software Development Environments and CASE Technology 1991: 233-257
1990
14 Jeff Kramer, Jeff Magee, Anthony Finkelstein: A Constructive Approach to the Design of Distributed Systems. ICDCS 1990: 580-587
13EEJeff Kramer, Jeff Magee: The Evolving Philosophers Problem: Dynamic Change Management. IEEE Trans. Software Eng. 16(11): 1293-1306 (1990)
1989
12EEAnthony Finkelstein, Michael Goedicke, Jeff Kramer, Celso Niskier: Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering. Algebraic Methods 1989: 29-54
11 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)
10EEJeff Magee, Jeff Kramer, Morris Sloman: Constructing Distributed Systems in Conic. IEEE Trans. Software Eng. 15(6): 663-675 (1989)
1988
9EEJeff Kramer, Jeff Magee: Change management of distributed systems. ACM SIGOPS European Workshop 1988
8 Jeff Kramer, Nr Keng: Animation of Requirements Specifications. Softw., Pract. Exper. 18(8): 749-774 (1988)
1987
7 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
6 Jeff Kramer, Jeff Magee: Dynamic Configuration for Distributed Systems. IEEE Trans. Software Eng. 11(4): 424-436 (1985)
1984
5 Jeff Kramer, Jeff Magee: Environment requirements for system evolution. ISPW 1984: 77-85
1982
4 Jeff Kramer: Distributed computer systems: two views. Conference on Operating Systems 1982: 84-98
1981
3 Jeff Kramer, Jeff Magee, Morris Sloman: Intertask Communication Primitives for Distributed Computer Control Systems. ICDCS 1981: 404-411
1979
2 Jeff Kramer, Jim Cunningham: Invariants for Specifications. ICSE 1979: 183-193
1978
1 Jim Cunningham, Jeff Kramer: An Exercise in Program Design Using SIMULA Class Invariants. Softw., Pract. Exper. 8(3): 355-369 (1978)

Coauthor Index

1Samson Abramsky [20]
2Dalal Alrajeh [144]
3Jesper Andersson [143]
4Basil Becker [143]
5Nelly Bencomo [143]
6Marco Bernardo [122]
7Barry W. Boehm [73]
8Edoardo Bontà [122]
9Krysia Broda [20]
10Antonio Brogi [111]
11Yuriy Brun [143]
12David Bush [71]
13Jaelson Brelaz de Castro (Jaelson Castro) [77]
14Robert Chatley [89] [91] [93] [97] [98] [100] [106] [112]
15Betty H. C. Cheng [143]
16Shing-Chi Cheung (S. C. Cheung) [21] [26] [27] [32] [36] [37] [46] [48] [52] [63] [64]
17Lori A. Clarke [70]
18Steve Crane [38]
19Bojan Cukic [143]
20Jim Cunningham (R. James Cunningham) [1] [2]
21Sophia Drossopoulou [20]
22Lucio Mauro Duarte [118] [140]
23Naranker Dulay [7] [30] [38] [40] [42]
24Schahram Dustdar [143]
25Susan Eisenbach [20] [35] [42] [100]
26Wolfgang Emmerich [133]
27Michael Evangelist [70] [73]
28Anthony Finkelstein [12] [14] [15] [17] [20] [22] [23] [24] [25] [28] [29] [41] [44] [72] [92] [143]
29L. Finkelstein [17]
30Halldor Fosså [38]
31Howard Foster [95] [99] [104] [105] [108] [119] [124] [127] [131] [133]
32Dov M. Gabbay [25] [28]
33Cristina Gacek [143]
34Artur S. d'Avila Garcez [80] [88]
35David Garlan [75] [86] [102]
36Kurt Geihs [143]
37Ioannis Georgiadis [83]
38Carlo Ghezzi [103] [136]
39Dimitra Giannakopoulou [51] [52] [63] [65] [68] [74]
40Holger Giese [143]
41Michael Goedicke [12] [17]
42Vincenzo Grassi [143]
43Volker Gruhn [73]
44Orit Hazzan [116] [120] [139]
45William Heaven [129] [142]
46Celso Massaki Hirata [43] [49]
47Dan Hirsch [121]
48Michael Hu [104]
49Anthony Hunter [25] [28]
50Paola Inverardi [143]
51Jean-Marie Jacquet [111]
52Gabor Karsai [143]
53Nr Keng [8]
54Holger M. Kienle [143]
55Orly Kremien [18] [34]
56Frédéric Lang [130]
57Rogério de Lemos [143]
58Ulf Leonhardt [39] [41]
59Emmanuel Letier [107] [109] [137]
60Frank van der Linden [69]
61Marin Litoiu [143]
62Jeff Magee (Jeff N. Magee) [3] [5] [6] [7] [9] [10] [11] [13] [14] [19] [30] [35] [38] [40] [42] [45] [47] [50] [51] [54] [56] [65] [66] [68] [69] [71] [74] [79] [82] [83] [84] [87] [89] [90] [91] [93] [94] [95] [96] [97] [98] [99] [100] [101] [104] [105] [106] [107] [108] [109] [110] [112] [119] [121] [122] [124] [127] [129] [130] [131] [132] [133] [137] [141] [142] [143]
63Paulo Henrique M. Maia [145]
64Sam Malek [143]
65Nabor C. Mendonça [53] [57] [60] [67] [76] [128] [145]
66Edward F. Miller [73]
67Rob Miller (Robert Simon Miller) [85]
68Raffaela Mirandola [143]
69Hausi A. Müller [143]
70Keng Ng [11] [40] [45]
71Celso Niskier [12]
72Bashar Nuseibeh [17] [22] [23] [24] [25] [28] [29] [39] [41] [44] [58] [61] [71] [80] [85] [88] [92]
73Rob C. van Ommering [69]
74Leon J. Osterweil [70] [73] [103] [136]
75Sooyong Park [143]
76Dewayne E. Perry [59]
77Ernesto Pimentel [111]
78Nat Pryce [74]
79H. Dieter Rombach [70]
80David S. Rosenblum [75] [133]
81Alessandra Russo [58] [61] [80] [85] [88] [144]
82Gwen Salaün [130]
83Giovanna Di Marzo Serugendo [143]
84Mary Shaw [143]
85Morris Sloman [3] [7] [10] [19] [38]
86Julia Sonander [71]
87Felipe Cantal de Sousa [128]
88Daniel Sykes [129] [142]
89Matthias Tichy [143]
90Massimo Tivoli [143]
91Kevin P. Twidle [7] [38]
92Sebastián Uchitel [78] [79] [82] [84] [87] [89] [90] [91] [93] [94] [95] [96] [97] [98] [99] [100] [104] [105] [106] [107] [108] [109] [112] [118] [119] [121] [124] [127] [128] [131] [133] [137] [140] [144] [145]
93Danny Weyns [143]
94Jon Whittle (Jonathan Whittle) [143]
95Alexander L. Wolf [70] [86] [102] [103] [136]
96Andrea Zisman [55] [62]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)