Search the dblp DataBase
Jeff Kramer :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Bashar Nuseibeh , Jeff Kramer , Anthony Finkelstein Expressing the Relationships Between Multiple Views in Requirements Specification. [Citation Graph (2, 0)][DBLP ] ICSE, 1993, pp:187-196 [Conf ] Bashar Nuseibeh , Jeff Kramer , Anthony Finkelstein A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. [Citation Graph (1, 0)][DBLP ] IEEE Trans. Software Eng., 1994, v:20, n:10, pp:760-773 [Journal ] Howard Foster , Sebastián Uchitel , Jeff Magee , Jeff Kramer , Michael Hu Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. [Citation Graph (0, 0)][DBLP ] IEEE SCC, 2005, pp:217-224 [Conf ] Jeff Kramer Making Meaningful Models for Mere Mortal. [Citation Graph (0, 0)][DBLP ] ACSD, 2001, pp:11-12 [Conf ] Andrea Zisman , Jeff Kramer Supporting Interoperability of Autonomous Hospital Databases: A Case Study. [Citation Graph (0, 12)][DBLP ] ADBIS, 1997, pp:285-294 [Conf ] Howard Foster , Sebastián Uchitel , Jeff Magee , Jeff Kramer Model-Based Analysis of Obligations in Web Service Choreography. [Citation Graph (0, 0)][DBLP ] AICT/ICIW, 2006, pp:149- [Conf ] Anthony Finkelstein , Michael Goedicke , Jeff Kramer , Celso Niskier Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1989, pp:29-54 [Conf ] Celso M. Hirata , Jeff Kramer An implementation of a technique for sharing variables in Time Warp. [Citation Graph (0, 0)][DBLP ] Annual Simulation Symposium, 1995, pp:13-21 [Conf ] Nabor C. Mendonça , Jeff Kramer An Experiment in Distributed Software Architecture Recovery. [Citation Graph (0, 0)][DBLP ] ESPRIT ARES Workshop, 1998, pp:106-114 [Conf ] Dewayne E. Perry , Jeff Kramer Session 2: Architectural Description. [Citation Graph (0, 0)][DBLP ] ESPRIT ARES Workshop, 1998, pp:49-50 [Conf ] Jeff Magee , Jeff Kramer Model-Based Design of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] 25 Years Communicating Sequential Processes, 2004, pp:211-219 [Conf ] Jeff Kramer Component-Based Modeling, Analysis and Animation. [Citation Graph (0, 0)][DBLP ] CCGRID, 2006, pp:62- [Conf ] Jeff Kramer , Jeff Magee Exposing the Skeleton in the Coordination Closet. [Citation Graph (0, 0)][DBLP ] COORDINATION, 1997, pp:18-31 [Conf ] Edoardo Bontà , Marco Bernardo , Jeff Magee , Jeff Kramer Synthesizing Concurrency Control Components from Process Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2006, pp:28-43 [Conf ] Nabor C. Mendonça , Jeff Kramer A Quality-Based Analysis of Architecture Recovery Environments. [Citation Graph (0, 0)][DBLP ] CSMR, 1997, pp:54-59 [Conf ] Jeff Magee , Susan Eisenbach , Jeff Kramer Modelling Darwin in the Pi-Caculus. [Citation Graph (0, 0)][DBLP ] Dagstuhl Seminar on Distributed Systems, 1994, pp:133-152 [Conf ] Naranker Dulay , Jeff Kramer , Jeff Magee , Morris Sloman , Kevin P. Twidle Distributed System Construction: Experience with the Conic Toolkit. [Citation Graph (0, 0)][DBLP ] Experiences with Distributed Systems, 1987, pp:189-212 [Conf ] Anthony Finkelstein , Dov M. Gabbay , Anthony Hunter , Jeff Kramer , Bashar Nuseibeh Inconsistency Handling in Multi-Perspective Specifications. [Citation Graph (0, 0)][DBLP ] ESEC, 1993, pp:84-99 [Conf ] Dimitra Giannakopoulou , Jeff Magee , Jeff Kramer Checking Progress with Action Priority: Is it Fair? [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 1999, pp:511-527 [Conf ] Shing-Chi Cheung , Dimitra Giannakopoulou , Jeff Kramer Verification of Liveness Properties Using Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 1997, pp:227-243 [Conf ] Shing-Chi Cheung , Jeff Kramer Tractable Flow Analysis for Anomaly Detection in Distributed Programs. [Citation Graph (0, 0)][DBLP ] ESEC, 1993, pp:283-300 [Conf ] Jeff Kramer CASE Support for the Software Process: A Research Viewpoint. [Citation Graph (0, 0)][DBLP ] ESEC, 1991, pp:499-503 [Conf ] Jeff Magee , Naranker Dulay , Susan Eisenbach , Jeff Kramer Specifying Distributed Software Architectures. [Citation Graph (0, 0)][DBLP ] ESEC, 1995, pp:137-153 [Conf ] Dan Hirsch , Jeff Kramer , Jeff Magee , Sebastián Uchitel Modes for Software Architectures. [Citation Graph (0, 0)][DBLP ] EWSA, 2006, pp:113-126 [Conf ] Bashar Nuseibeh , Jeff Kramer , Anthony Finkelstein , Ulf Leonhardt Decentralised Process Modelling. [Citation Graph (0, 0)][DBLP ] EWSPT, 1995, pp:185-188 [Conf ] Robert Chatley , Susan Eisenbach , Jeff Kramer , Jeff Magee , Sebastián Uchitel Predictable Dynamic Plugin Systems. [Citation Graph (0, 0)][DBLP ] FASE, 2004, pp:129-143 [Conf ] Jeff Magee , Jeff Kramer , Dimitra Giannakopoulou Analysing the behaviour of distributed software architectures: a case study. [Citation Graph (0, 0)][DBLP ] FTDCS, 1997, pp:240-247 [Conf ] Keng Ng , Jeff Kramer , Jeff Magee , Naranker Dulay The Software Architect's Assistant-a visual environment for distributed programming. [Citation Graph (0, 0)][DBLP ] HICSS (2), 1995, pp:254-263 [Conf ] Orly Kremien , Jeff Kramer Providing High Performance Distributed Computing Through Scalable Computation Servers. [Citation Graph (0, 0)][DBLP ] HPDC, 1994, pp:70-77 [Conf ] Jeff Kramer , Jeff Magee , Anthony Finkelstein A Constructive Approach to the Design of Distributed Systems. [Citation Graph (0, 0)][DBLP ] ICDCS, 1990, pp:580-587 [Conf ] Jeff Kramer , Jeff Magee , Morris Sloman Intertask Communication Primitives for Distributed Computer Control Systems. [Citation Graph (0, 0)][DBLP ] ICDCS, 1981, pp:404-411 [Conf ] Alessandra Russo , Rob Miller , Bashar Nuseibeh , Jeff Kramer An Abductive Approach for Analysing Event-Based Requirements Specifications. [Citation Graph (0, 0)][DBLP ] ICLP, 2002, pp:22-37 [Conf ] Alessandra Russo , Bashar Nuseibeh , Jeff Kramer Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. [Citation Graph (0, 0)][DBLP ] ICRE, 1998, pp:51-0 [Conf ] Jaelson Castro , Jeff Kramer From Software Requirements to Architectures. [Citation Graph (0, 0)][DBLP ] ICSE, 2001, pp:764-765 [Conf ] Robert Chatley , Jeff Kramer , Jeff Magee , Sebastián Uchitel Model-based Simulation of Web Applications for Usability Assessment. [Citation Graph (0, 0)][DBLP ] ICSE Workshop on SE-HCI, 2003, pp:5-11 [Conf ] Robert Chatley , Sebastián Uchitel , Jeff Kramer , Jeff Magee Fluent-based web animation: exploring goals for requirements validation. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:674-675 [Conf ] Shing-Chi Cheung , Jeff Kramer An Integrated Method for Effective Behaviour Analysis of Distributed Systems. [Citation Graph (0, 0)][DBLP ] ICSE, 1994, pp:309-320 [Conf ] Shing-Chi Cheung , Jeff Kramer Checking Subsystem Safety Properties in Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP ] ICSE, 1996, pp:144-154 [Conf ] Anthony Finkelstein , Jeff Kramer Software engineering: a roadmap. [Citation Graph (0, 0)][DBLP ] ICSE - Future of SE Track, 2000, pp:3-22 [Conf ] Howard Foster , Sebastián Uchitel , Jeff Magee , Jeff Kramer LTSA-WS: a tool for model-based verification of web service compositions and choreography. [Citation Graph (0, 0)][DBLP ] ICSE, 2006, pp:771-774 [Conf ] Jeff Kramer Distributed Software Engineering. [Citation Graph (0, 0)][DBLP ] ICSE, 1994, pp:253-263 [Conf ] Jeff Kramer Exoskeletal Software. [Citation Graph (0, 0)][DBLP ] ICSE, 1994, pp:366- [Conf ] Jeff Kramer , Jim Cunningham Invariants for Specifications. [Citation Graph (0, 0)][DBLP ] ICSE, 1979, pp:183-193 [Conf ] Jeff Kramer , Anthony Finkelstein , Bashar Nuseibeh Method Integration and Support for Distributed Software Development: An Overview. [Citation Graph (0, 0)][DBLP ] ICSE Workshop on Studies of Software Design, 1993, pp:115-126 [Conf ] Jeff Kramer , Orit Hazzan The role of abstraction in software engineering. [Citation Graph (0, 0)][DBLP ] ICSE, 2006, pp:1017-1018 [Conf ] Jeff Kramer , Jeff Magee Distributed Software Architectures (Tutorial). [Citation Graph (0, 0)][DBLP ] ICSE, 1997, pp:633-634 [Conf ] Jeff Magee , Nat Pryce , Dimitra Giannakopoulou , Jeff Kramer Graphical animation of behavior models. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:499-508 [Conf ] Ulf Leonhardt , Jeff Kramer , Bashar Nuseibeh Decentralised Process Enactment in a Multi-Perspective Development Environment. [Citation Graph (0, 0)][DBLP ] ICSE, 1995, pp:255-264 [Conf ] Emmanuel Letier , Jeff Kramer , Jeff Magee , Sebastián Uchitel Monitoring and control in scenario-based requirements analysis. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:382-391 [Conf ] Bashar Nuseibeh , Jeff Kramer , Anthony Finkelstein ViewPoints: meaningful relationships are difficult! [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:676-683 [Conf ] Leon 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. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:660- [Conf ] Sebastián Uchitel , Jeff Kramer A Workbench for Synthesising Behaviour Models from Scenarios. [Citation Graph (0, 0)][DBLP ] ICSE, 2001, pp:188-197 [Conf ] Nabor C. Mendonça , Jeff Kramer Component Module Classification for Distributed Software Understanding. [Citation Graph (0, 0)][DBLP ] ICSM, 1999, pp:119-0 [Conf ] Howard Foster , Sebastián Uchitel , Jeff Magee , Jeff Kramer Compatibility Verification for Web Service Choreography. [Citation Graph (0, 0)][DBLP ] ICWS, 2004, pp:738-741 [Conf ] Howard Foster , Sebastián Uchitel , Jeff Magee , Jeff Kramer Tool Support for Model-Based Engineering of Web Service Compositions. [Citation Graph (0, 0)][DBLP ] ICWS, 2005, pp:95-102 [Conf ] Steve Crane , Naranker Dulay , Halldor Fosså , Jeff Kramer , Jeff Magee , Morris Sloman , Kevin P. Twidle Configuration management for distributed software services. [Citation Graph (0, 0)][DBLP ] Integrated Network Management, 1995, pp:29-42 [Conf ] Jeff Kramer , Jeff Magee Environment requirements for system evolution. [Citation Graph (0, 0)][DBLP ] ISPW, 1984, pp:77-85 [Conf ] Nabor C. Mendonça , Jeff Kramer Developing an Approach for the Recovery of Distributed Software Architectures. [Citation Graph (0, 0)][DBLP ] IWPC, 1998, pp:28-0 [Conf ] Jeff Magee , Jeff Kramer , Bashar Nuseibeh , David Bush , Julia Sonander Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. [Citation Graph (0, 0)][DBLP ] IWSSD, 2000, pp:3-10 [Conf ] Bashar Nuseibeh , Anthony Finkelstein , Jeff Kramer Fine-Grain Process Modelling. [Citation Graph (0, 0)][DBLP ] IWSSD, 1993, pp:42-46 [Conf ] Howard Foster , Sebastián Uchitel , Jeff Magee , Jeff Kramer Model-based Verification of Web Service Compositions. [Citation Graph (0, 0)][DBLP ] ASE, 2003, pp:152-163 [Conf ] Artur S. d'Avila Garcez , Alessandra Russo , Bashar Nuseibeh , Jeff Kramer An Analysis-Revision Cycle to Evolve Requirements Specifications. [Citation Graph (0, 0)][DBLP ] ASE, 2001, pp:354-358 [Conf ] Lucio Mauro Duarte , Jeff Kramer , Sebastián Uchitel Model Extraction Using Context Information. [Citation Graph (0, 0)][DBLP ] MoDELS, 2006, pp:380-394 [Conf ] Jeff Kramer Distributed computer systems: two views. [Citation Graph (0, 0)][DBLP ] Conference on Operating Systems, 1982, pp:84-98 [Conf ] Jeff Kramer Distributed Software Engineering: a Rigorous Architectural Approach. [Citation Graph (0, 0)][DBLP ] QSIC, 2006, pp:7-9 [Conf ] Sebastián Uchitel , Robert Chatley , Jeff Kramer , Jeff Magee Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. [Citation Graph (0, 0)][DBLP ] RE, 2004, pp:208-217 [Conf ] Jeff Kramer , Anthony Finkelstein A Configurable Framework for Method and Tool Integration. [Citation Graph (0, 0)][DBLP ] Software Development Environments and CASE Technology, 1991, pp:233-257 [Conf ] Jeff Kramer , Jeff Magee , Sebastián Uchitel Software Architecture Modeling & Analysis: A Rigorous Approach. [Citation Graph (0, 0)][DBLP ] SFM, 2003, pp:44-51 [Conf ] Jeff Kramer , Jeff Magee Change management of distributed systems. [Citation Graph (0, 0)][DBLP ] ACM SIGOPS European Workshop, 1988, pp:- [Conf ] Jeff Kramer , Jeff Magee , Morris Sloman Configuring distributed systems. [Citation Graph (0, 0)][DBLP ] ACM SIGOPS European Workshop, 1992, pp:- [Conf ] Shing-Chi Cheung , Jeff Kramer Enhancing Compositional Reachability Analysis with Context Constraints. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:115-125 [Conf ] Shing-Chi Cheung , Jeff Kramer Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1995, pp:140-150 [Conf ] Jeff Kramer , Jeff Magee Engineering distributed software: a structural discipline. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2005, pp:283-285 [Conf ] Emmanuel Letier , Jeff Kramer , Jeff Magee , Sebastián Uchitel Fluent temporal logic for discrete-time event-based models. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2005, pp:70-79 [Conf ] Jeff Magee , Jeff Kramer Dynamic Structure in Software Architectures. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1996, pp:3-14 [Conf ] Leon 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). [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2000, pp:108-109 [Conf ] Sebastián Uchitel , Robert Chatley , Jeff Kramer , Jeff Magee System architecture: the context for scenario-based model synthesis. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2004, pp:33-42 [Conf ] Sebastián Uchitel , Jeff Kramer , Jeff Magee Detecting implied scenarios in message sequence chart specifications. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:74-82 [Conf ] Sebastián Uchitel , Jeff Kramer , Jeff Magee Negative scenarios for implied scenario elicitation. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2002, pp:109-118 [Conf ] Sebastián Uchitel , Jeff Kramer , Jeff Magee Behaviour model elaboration using partial labelled transition systems. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2003, pp:19-27 [Conf ] Jeff Kramer , Jeff Magee Modelling for Mere Mortals. [Citation Graph (0, 0)][DBLP ] TACAS, 1999, pp:1-18 [Conf ] Sebastián Uchitel , Robert Chatley , Jeff Kramer , Jeff Magee LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. [Citation Graph (0, 0)][DBLP ] TACAS, 2003, pp:597-601 [Conf ] Robert Chatley , Jeff Kramer , Jeff Magee , Sebastián Uchitel Visual methods for web application design. [Citation Graph (0, 0)][DBLP ] HCC, 2003, pp:242-244 [Conf ] Jeff Magee , Jeff Kramer , Dimitra Giannakopoulou Behaviour Analysis of Software Architectures. [Citation Graph (0, 0)][DBLP ] WICSA, 1999, pp:35-50 [Conf ] Ioannis Georgiadis , Jeff Magee , Jeff Kramer Self-organising software architectures for distributed systems. [Citation Graph (0, 0)][DBLP ] WOSS, 2002, pp:33-38 [Conf ] Shing-Chi Cheung , Jeff Kramer Contextual Local Analysis in the Design of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1995, v:2, n:1, pp:5-32 [Journal ] Dimitra Giannakopoulou , Jeff Kramer , Shing-Chi Cheung Behaviour Analysis of Distributed Systems Using the Tracta Approach. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1999, v:6, n:1, pp:7-35 [Journal ] Nabor C. Mendonça , Jeff Kramer An Approach for Recovering Distributed System Architectures. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2001, v:8, n:3-4, pp:311-354 [Journal ] Keng Ng , Jeff Kramer , Jeff Magee A CASE Tool for Software Architecture Design. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1996, v:3, n:3/4, pp:261-284 [Journal ] Jeff Kramer Is abstraction the key to computing? [Citation Graph (0, 0)][DBLP ] Commun. ACM, 2007, v:50, n:4, pp:36-42 [Journal ] Anthony Finkelstein , Jeff Kramer , Samson Abramsky , Krysia Broda , Sophia Drossopoulou , Susan Eisenbach An Integrated Engineering Study Scheme in Computing. [Citation Graph (0, 0)][DBLP ] Comput. J., 1993, v:36, n:4, pp:320-334 [Journal ] Jeff Kramer , Jeff Magee , Keng Ng Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1989, v:22, n:10, pp:53-65 [Journal ] Rob C. van Ommering , Frank van der Linden , Jeff Kramer , Jeff Magee The Koala Component Model for Consumer Electronics Software. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 2000, v:33, n:3, pp:78-85 [Journal ] Jeff Magee , Naranker Dulay , Jeff Kramer Regis: a constructive development environment for distributed programs. [Citation Graph (0, 0)][DBLP ] Distributed Systems Engineering, 1994, v:1, n:5, pp:304-312 [Journal ] Andrea Zisman , Jeff Kramer An approach to interoperation between autonomous database systems. [Citation Graph (0, 0)][DBLP ] Distributed Systems Engineering, 1999, v:6, n:4, pp:135-0 [Journal ] Sebastián Uchitel , Jeff Kramer , Jeff Magee Implied Scenario Detection in the Presence of Behaviour Constraints. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:7, pp:- [Journal ] Jeff Kramer , Jeff Magee Analysing dynamic change in distributed software architectures. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 1998, v:145, n:5, pp:146-154 [Journal ] Artur S. d'Avila Garcez , Alessandra Russo , Bashar Nuseibeh , Jeff Kramer Combining abductive reasoning and inductive learning to evolve requirements specifications. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 2003, v:150, n:1, pp:25-38 [Journal ] Alessandra Russo , Bashar Nuseibeh , Jeff Kramer Restructuring requirement specifications. [Citation Graph (0, 0)][DBLP ] IEE Proceedings - Software, 1999, v:146, n:1, pp:44-50 [Journal ] Bashar Nuseibeh , Anthony Finkelstein , Jeff Kramer Method engineering for multi-perspective software development. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1996, v:38, n:4, pp:267-274 [Journal ] Sebastián Uchitel , Robert Chatley , Jeff Kramer , Jeff Magee Goal and scenario validation: a fluent combination. [Citation Graph (0, 0)][DBLP ] Requir. Eng., 2006, v:11, n:2, pp:123-137 [Journal ] Antonio Brogi , Jean-Marie Jacquet , Jeff Kramer , Ernesto Pimentel Preface. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2006, v:61, n:2, pp:73-74 [Journal ] Celso M. Hirata , Jeff Kramer An investigation of the use of world views with shared variables in Time Warp. [Citation Graph (0, 0)][DBLP ] Simul. Pr. Theory, 1997, v:5, n:6, pp:515-533 [Journal ] Jim Cunningham , Jeff Kramer An Exercise in Program Design Using SIMULA Class Invariants. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1978, v:8, n:3, pp:355-369 [Journal ] Jeff Kramer , Nr Keng Animation of Requirements Specifications. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1988, v:18, n:8, pp:749-774 [Journal ] Shing-Chi Cheung , Jeff Kramer Context Constraints for Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:4, pp:334-377 [Journal ] Shing-Chi Cheung , Jeff Kramer Checking Safety Properties Using Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1999, v:8, n:1, pp:49-78 [Journal ] Leon J. Osterweil , Carlo Ghezzi , Jeff Kramer , Alexander L. Wolf Editorial. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:4, pp:381-382 [Journal ] Sebastián Uchitel , Jeff Kramer , Jeff Magee Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2004, v:13, n:1, pp:37-85 [Journal ] Orly Kremien , Jeff Kramer Methodical Analysis of Adaptive Load Sharing Algorithms. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1992, v:3, n:6, pp:747-760 [Journal ] Shing-Chi Cheung , Jeff Kramer Tractable Dataflow Analysis for Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1994, v:20, n:8, pp:579-593 [Journal ] Anthony Finkelstein , Dov M. Gabbay , Anthony Hunter , Jeff Kramer , Bashar Nuseibeh Inconsistency Handling in Multperspective Specifications. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1994, v:20, n:8, pp:569-578 [Journal ] Jeff Kramer Editorial: New Associate Editors Introduction. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2006, v:32, n:3, pp:137-139 [Journal ] Jeff Kramer Editorial: A Message from the New Editor-in-Chief. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2006, v:32, n:1, pp:2-3 [Journal ] Jeff Kramer , David Garlan , David S. Rosenblum Guest Editors' Introduction: 1999 International Conference on Software Engineering. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2001, v:27, n:2, pp:97-98 [Journal ] Jeff Kramer , Jeff Magee Dynamic Configuration for Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1985, v:11, n:4, pp:424-436 [Journal ] Jeff Kramer , Jeff Magee The Evolving Philosophers Problem: Dynamic Change Management. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1293-1306 [Journal ] Jeff Magee , Jeff Kramer , Morris Sloman Constructing Distributed Systems in Conic. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1989, v:15, n:6, pp:663-675 [Journal ] Sebastián Uchitel , Jeff Kramer , Jeff Magee Synthesis of Behavioral Models from Scenarios. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:2, pp:99-115 [Journal ] Jeff Kramer Editorial: New Associate Editors Introduction. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2006, v:32, n:10, pp:769-770 [Journal ] Jeff Kramer Editorial: State of the Journal. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2007, v:33, n:1, pp:1- [Journal ] Gwen Salaün , Jeff Kramer , Frédéric Lang , Jeff Magee Translating FSP into LOTOS and Networks of Automata. [Citation Graph (0, 0)][DBLP ] IFM, 2007, pp:558-578 [Conf ] Howard Foster , Wolfgang Emmerich , Jeff Kramer , Jeff Magee , David Rosenblum , Sebastián Uchitel Model checking service compositions under resource constraints. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2007, pp:225-234 [Conf ] Domain concept-based queries for cancer research data sources. [Citation Graph (, )][DBLP ] Software Engineering for Self-Adaptive Systems: A Research Roadmap. [Citation Graph (, )][DBLP ] A Case Study in Goal-Driven Architectural Adaptation. [Citation Graph (, )][DBLP ] Towards Faithful Model Extraction Based on Contexts. [Citation Graph (, )][DBLP ] The role of abstraction in software engineering. [Citation Graph (, )][DBLP ] Self-Managed Systems: an Architectural Challenge. [Citation Graph (, )][DBLP ] Learning operational requirements from goal models. [Citation Graph (, )][DBLP ] Towards Self-management in Service-Oriented Computing with Modes. [Citation Graph (, )][DBLP ] Abstraction and Modelling - A Complementary Partnership. [Citation Graph (, )][DBLP ] Exploiting non-functional preferences in architectural adaptation for self-managed systems. [Citation Graph (, )][DBLP ] Plan-directed architectural change for autonomous systems. [Citation Graph (, )][DBLP ] Towards accurate probabilistic models using state refinement. [Citation Graph (, )][DBLP ] Detecting Implied Scenarios from Execution Traces. [Citation Graph (, )][DBLP ] Leveraging Eclipse for integrated model-based engineering of web service compositions. [Citation Graph (, )][DBLP ] Deriving event-based transition systems from goal-oriented requirements models. [Citation Graph (, )][DBLP ] Determining the Impact of Software Engineering Research on Practice. [Citation Graph (, )][DBLP ] Search in 0.007secs, Finished in 0.615secs