Jeff Kramer Home Page Coauthor index pubzone.org

Jeffrey Kramer

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

DBLP keys2012
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Learning from Vacuously Satisfiable Scenario-Based Specifications. FASE 2012: 377-393
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Kramer, Abraham Kandel: On accurate localization and uncertain sensors. Int. J. Intell. Syst. 27(5): 429-456 (2012)
2011
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: An Inductive Approach for Modal Transition System Refinement. ICLP (Technical Communications) 2011: 106-116
169Electronic 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
168Electronic 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
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Kramer, Abraham Kandel: Robust Small Robot Localization From Highly Uncertain Sensors. IEEE Transactions on Systems, Man, and Cybernetics, Part C 41(4): 509-519 (2011)
2010
166no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010 ACM 2010
165no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010 ACM 2010
164Electronic 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
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Deriving non-Zeno behaviour models from goal models using ILP. Formal Asp. Comput. 22(3-4): 217-241 (2010)
162Electronic 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)
161Electronic 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)
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Editorial: A New Editor in Chief and the State of the Journal. IEEE Trans. Software Eng. 36(1): 1-2 (2010)
2009
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlejandra González Beltrán, Anthony Finkelstein, J. Max Wilkinson, Jeff Kramer: Domain concept-based queries for cancer research data sources. CBMS 2009: 1-8
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Learning operational requirements from goal models. ICSE 2009: 265-275
156Electronic 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
155Electronic 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
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey Kramer: Abstraction and Modelling: A Complementary Partnership. TFM 2009: 1
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Editorial: New Associate Editors Introduction. IEEE Trans. Software Eng. 35(4): 449 (2009)
152Electronic 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
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel: Towards Faithful Model Extraction Based on Contexts. FASE 2008: 101-115
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrit Hazzan, Jeff Kramer: The role of abstraction in software engineering. ICSE Companion 2008: 1045-1046
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Abstraction and Modelling - A Complementary Partnership. MoDELS 2008: 158
148Electronic 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)
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon 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)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: State of the Journal Address. IEEE Trans. Software Eng. 34(1): 1-2 (2008)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Editorial: New Associate Editor Introduction. IEEE Trans. Software Eng. 34(2): 161 (2008)
2007
144Electronic 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
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Self-Managed Systems: an Architectural Challenge. FOSE 2007: 259-268
142Electronic 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
141Electronic 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
140Electronic 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
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer: Detecting Implied Scenarios from Execution Traces. WCRE 2007: 50-59
138Electronic 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
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Is abstraction the key to computing? Commun. ACM 50(4): 36-42 (2007)
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Editorial: State of the Journal. IEEE Trans. Software Eng. 33(1): 1 (2007)
2006
135no 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
134Electronic 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
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Component-Based Modeling, Analysis and Animation. CCGRID 2006: 62
132Electronic 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
131Electronic 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
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Orit Hazzan: The role of abstraction in software engineering. ICSE 2006: 1017-1018
129Electronic 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
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel: Model Extraction Using Context Information. MoDELS 2006: 380-394
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Distributed Software Engineering: a Rigorous Architectural Approach. QSIC 2006: 7-9
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Orit Hazzan: The Role of Abstraction in Software Engineering. ACM SIGSOFT Software Engineering Notes 31(6): 38-39 (2006)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Editorial: A Message from the New Editor-in-Chief. IEEE Trans. Software Eng. 32(1): 2-3 (2006)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Editorial: New Associate Editors Introduction. IEEE Trans. Software Eng. 32(10): 769-770 (2006)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Editorial: New Associate Editors Introduction. IEEE Trans. Software Eng. 32(3): 137-139 (2006)
122Electronic 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)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel: Preface. Sci. Comput. Program. 61(2): 73-74 (2006)
2005
120Electronic 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
119Electronic 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
118Electronic 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
117Electronic 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
116Electronic 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
115Electronic 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
114Electronic 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
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf: Editorial. ACM Trans. Softw. Eng. Methodol. 14(4): 381-382 (2005)
2004
112no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
111Electronic 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
110Electronic 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
109Electronic 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
108Electronic 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
107Electronic 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
106Electronic 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
105Electronic 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
104Electronic 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
103no 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
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBashar Nuseibeh, Jeff Kramer, Anthony Finkelstein: ViewPoints: meaningful relationships are difficult! ICSE 2003: 676-683
101Electronic 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
100Electronic 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
99Electronic 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
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur 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)
97Electronic 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
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer: An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP 2002: 22-37
94Electronic 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
93Electronic 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
92Electronic 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
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Making Meaningful Models for Mere Mortal. ACSD 2001: 11-12
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358
89Electronic 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
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastián Uchitel, Jeff Kramer: A Workbench for Synthesising Behaviour Models from Scenarios. ICSE 2001: 188-197
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaelson Castro, Jeff Kramer: From Software Requirements to Architectures. ICSE 2001: 764-765
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNabor C. Mendonça, Jeff Kramer: An Approach for Recovering Distributed System Architectures. Autom. Softw. Eng. 8(3-4): 311-354 (2001)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff 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
84Electronic 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon 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
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Finkelstein, Jeff Kramer: Software engineering: a roadmap. ICSE - Future of SE Track 2000: 3-22
81Electronic 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
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon 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
79Electronic 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
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarry W. Boehm, David Garlan, Jeff Kramer: Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999. ACM 1999
77no 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
76Electronic 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
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNabor C. Mendonça, Jeff Kramer: Component Module Classification for Distributed Software Understanding. ICSM 1999: 119-
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Modelling for Mere Mortals. TACAS 1999: 1-18
73no 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
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Checking Safety Properties Using Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 8(1): 49-78 (1999)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung: Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. 6(1): 7-35 (1999)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Zisman, Jeff Kramer: An approach to interoperation between autonomous database systems. Distributed Systems Engineering 6(4): 135- (1999)
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Russo, Bashar Nuseibeh, Jeff Kramer: Restructuring requirement specifications. IEE Proceedings - Software 146(1): 44-50 (1999)
1998
68Electronic 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
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNabor C. Mendonça, Jeff Kramer: An Experiment in Distributed Software Architecture Recovery. ESPRIT ARES Workshop 1998: 106-114
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDewayne E. Perry, Jeff Kramer: Session 2: Architectural Description. ESPRIT ARES Workshop 1998: 49-50
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Russo, Bashar Nuseibeh, Jeff Kramer: Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. ICRE 1998: 51-
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNabor C. Mendonça, Jeff Kramer: Developing an Approach for the Recovery of Distributed Software Architectures. IWPC 1998: 28-
63no 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)
1997
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Zisman, Jeff Kramer: Supporting Interoperability of Autonomous Hospital Databases: A Case Study. ADBIS 1997: 285-294
61Electronic 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
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNabor C. Mendonça, Jeff Kramer: A Quality-Based Analysis of Architecture Recovery Environments. CSMR 1997: 54-59
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer: Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997: 227-243
58Electronic 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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Distributed Software Architectures (Tutorial). ICSE 1997: 633-634
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCelso 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaveh M. Moazami-Goudarzi, Jeff Kramer: Maintaining node consistency in the face of dynamic change. CDS 1996: 62-69
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Checking Subsystem Safety Properties in Compositional Reachability Analysis. ICSE 1996: 144-154
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Jeff Kramer: Dynamic Structure in Software Architectures. SIGSOFT FSE 1996: 3-14
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Context Constraints for Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 5(4): 334-377 (1996)
51Electronic 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)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBashar Nuseibeh, Anthony Finkelstein, Jeff Kramer: Method engineering for multi-perspective software development. Information & Software Technology 38(4): 267-274 (1996)
1995
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCelso Massaki Hirata, Jeff Kramer: An implementation of a technique for sharing variables in Time Warp. Annual Simulation Symposium 1995: 13-21
48Electronic 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBashar Nuseibeh, Jeff Kramer, Anthony Finkelstein, Ulf Leonhardt: Decentralised Process Modelling. EWSPT 1995: 185-188
46Electronic 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlf Leonhardt, Jeff Kramer, Bashar Nuseibeh: Decentralised Process Enactment in a Multi-Perspective Development Environment. ICSE 1995: 255-264
44no 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. SIGSOFT FSE 1995: 140-150
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Contextual Local Analysis in the Design of Distributed Systems. Autom. Softw. Eng. 2(1): 5-32 (1995)
1994
41Electronic 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
40Electronic 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
39Electronic 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
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrly Kremien, Jeff Kramer: Providing High Performance Distributed Computing Through Scalable Computation Servers. HPDC 1994: 70-77
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Distributed Software Engineering. ICSE 1994: 253-263
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: An Integrated Method for Effective Behaviour Analysis of Distributed Systems. ICSE 1994: 309-320
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Exoskeletal Software. ICSE 1994: 366
34Electronic 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)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBashar 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)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh: Inconsistency Handling in Multperspective Specifications. IEEE Trans. Software Eng. 20(8): 569-578 (1994)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Tractable Dataflow Analysis for Distributed Systems. IEEE Trans. Software Eng. 20(8): 579-593 (1994)
1993
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Tractable Flow Analysis for Anomaly Detection in Distributed Programs. ESEC 1993: 283-300
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh: Inconsistency Handling in Multi-Perspective Specifications. ESEC 1993: 84-99
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBashar Nuseibeh, Jeff Kramer, Anthony Finkelstein: Expressing the Relationships Between Multiple Views in Requirements Specification. ICSE 1993: 187-196
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff 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
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBashar Nuseibeh, Anthony Finkelstein, Jeff Kramer: Fine-Grain Process Modelling. IWSSD 1993: 42-46
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Enhancing Compositional Reachability Analysis with Context Constraints. SIGSOFT FSE 1993: 115-125
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee, Morris Sloman: Configuring distributed systems. ACM SIGOPS European Workshop 1992
22Electronic 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrly Kremien, Jeff Kramer: Flexible load-sharing in configurable distributed systems. CDS 1992: 224-236
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrly Kremien, Jeff Kramer: Methodical Analysis of Adaptive Load Sharing Algorithms. IEEE Trans. Parallel Distrib. Syst. 3(6): 747-760 (1992)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: CASE Support for the Software Process: A Research Viewpoint. ESEC 1991: 499-503
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Anthony Finkelstein: A Configurable Framework for Method and Tool Integration. Software Development Environments and CASE Technology 1991: 233-257
1990
16no 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
15Electronic 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMorris Sloman, Jeff Kramer: Verteilte Systeme und Rechnernetze. Hanser 1989: I-XIV, 1-375
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Finkelstein, Michael Goedicke, Jeff Kramer, Celso Niskier: Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering. Algebraic Methods 1989: 29-54
12no 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)
11Electronic 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Change management of distributed systems. ACM SIGOPS European Workshop 1988
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Nr Keng: Animation of Requirements Specifications. Softw., Pract. Exper. 18(8): 749-774 (1988)
1987
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMorris Sloman, Jeff Kramer: Distributed systems and computer networks. Prentice Hall 1987: I-XVI, 1-336
7Electronic 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
6Electronic 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
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jeff Magee: Environment requirements for system evolution. ISPW 1984: 77-85
1982
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer: Distributed computer systems: two views. Conference on Operating Systems 1982: 84-98
1981
3no 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
1979
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Kramer, Jim Cunningham: Invariants for Specifications. ICSE 1979: 183-193
1978
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Cunningham, Jeff Kramer: An Exercise in Program Design Using SIMULA Class Invariants. Softw., Pract. Exper. 8(3): 355-369 (1978)

Coauthor Index

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

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