An Exercise in Program Design Using SIMULA Class Invariants. - Jim Cunningham; Jeff Kramer (Softw. Pract. Exp., 1978)

Invariants for Specifications. - Jeff Kramer; Jim Cunningham (ICSE, 1979)

Intertask Communication Primitives for Distributed Computer Control Systems. - Jeff Kramer; Jeff Magee; Morris Sloman (ICDCS, 1981)

Distributed computer systems: two views. - Jeff Kramer (Conference on Operating Systems, 1982)

Invariants in the application-oriented specification of control systems. - Stephen J. Goldsack; Jeff Kramer (Autom., 1982)

Environment requirements for system evolution. - Jeff Kramer; Jeff Magee (ISPW, 1984)

A software architecture for distributed computer control systems. - Jeff Kramer; Jeff Magee; Morris Sloman (Autom., 1984)

Dynamic Configuration for Distributed Systems. - Jeff Kramer; Jeff Magee (IEEE Trans. Software Eng., 1985)

Distributed systems and computer networks. - Morris Sloman; Jeff Kramer (Prentice Hall, 1987)

Distributed System Construction: Experience with the Conic Toolkit. - Naranker Dulay; Jeff Kramer; Jeff Magee; Morris Sloman; Kevin P. Twidle (Experiences with Distributed Systems, 1987)

Change management of distributed systems. - Jeff Kramer; Jeff Magee (ACM SIGOPS European Workshop, 1988)

Tool support for requirements analysis. - Jeff Kramer; Keng Ng; Colin Potts; Ken Whitehead (Softw. Eng. J., 1988)

A distributed file server for embedded applications. - Animesh Mukherjee 002; Jeff Kramer; Jeff Magee (Softw. Eng. J., 1988)

Animation of Requirements Specifications. - Jeff Kramer; Nr Keng (Softw. Pract. Exp., 1988)

Verteilte Systeme und Rechnernetze. - Morris Sloman; Jeff Kramer (Hanser, 1989)

Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering. - Anthony Finkelstein; Michael Goedicke; Jeff Kramer; Celso Niskier (Algebraic Methods, 1989)

Configuration support for system description, construction and evolution. - Jeff Kramer; Jeff Magee; Morris Sloman (IWSSD, 1989)

Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics. - Jeff Kramer; Jeff Magee; Keng Ng (Computer, 1989)

Constructing Distributed Systems in Conic. - Jeff Magee; Jeff Kramer; Morris Sloman (IEEE Trans. Software Eng., 1989)

A Constructive Approach to the Design of Distributed Systems. - Jeff Kramer; Jeff Magee; Anthony Finkelstein (ICDCS, 1990)

The Evolving Philosophers Problem: Dynamic Change Management. - Jeff Kramer; Jeff Magee (IEEE Trans. Software Eng., 1990)

CASE Support for the Software Process: A Research Viewpoint. - Jeff Kramer (ESEC, 1991)

A Configurable Framework for Method and Tool Integration. - Jeff Kramer; Anthony Finkelstein (Software Development Environments and CASE Technology, 1991)

Flexible load-sharing in configurable distributed systems. - Orly Kremien; Jeff Kramer (CDS, 1992)

Configuring distributed systems. - Jeff Kramer; Jeff Magee; Morris Sloman (ACM SIGOPS European Workshop, 1992)

Configuring object-based distributed programs in REX. - Jeff Kramer; Jeff Magee; Morris Sloman; Naranker Dulay (Softw. Eng. J., 1992)

Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. - Anthony Finkelstein; Jeff Kramer; Bashar Nuseibeh; L. Finkelstein; Michael Goedicke (Int. J. Softw. Eng. Knowl. Eng., 1992)

Methodical Analysis of Adaptive Load Sharing Algorithms. - Orly Kremien; Jeff Kramer (IEEE Trans. Parallel Distributed Syst., 1992)

Tractable Flow Analysis for Anomaly Detection in Distributed Programs. - Shing-Chi Cheung; Jeff Kramer (ESEC, 1993)

Inconsistency Handling in Multi-Perspective Specifications. - Anthony Finkelstein; Dov M. Gabbay; Anthony Hunter; Jeff Kramer; Bashar Nuseibeh (ESEC, 1993)

Method Integration and Support for Distributed Software Development: An Overview. - Jeff Kramer; Anthony Finkelstein; Bashar Nuseibeh (ICSE Workshop on Studies of Software Design, 1993)

Expressing the Relationships Between Multiple Views in Requirements Specification. - Bashar Nuseibeh; Jeff Kramer; Anthony Finkelstein (ICSE, 1993)

Fine-Grain Process Modelling. - Bashar Nuseibeh; Anthony Finkelstein; Jeff Kramer (IWSSD, 1993)

Should we specify systems or domain? - D. Partridge; David Garlan; David R. Barstow; Jeff Kramer (RE, 1993)

Enhancing Compositional Reachability Analysis with Context Constraints. - Shing-Chi Cheung; Jeff Kramer (SIGSOFT FSE, 1993)

An Integrated Engineering Study Scheme in Computing. - Anthony Finkelstein; Jeff Kramer; Samson Abramsky; Krysia Broda; Sophia Drossopoulou; Susan Eisenbach (Comput. J., 1993)

Structuring parallel and distributed programs. - Jeff Magee; Naranker Dulay; Jeff Kramer (Softw. Eng. J., 1993)

Scalable, adaptive load sharing for distributed systems. - Orly Kremien; Jeff Kramer; Jeff Magee (IEEE Parallel Distributed Technol. Syst. Appl., 1993)

REGIS-DARWIN specified in the π-calculus. - Susan Eisenbach; Jeff Kramer; Jeff N. Magee (CDS, 1994)

A constructive development environment for parallel and distributed programs. - Jeff N. Magee; Naranker Dulay; Jeff Kramer (CDS, 1994)

Modelling Darwin in the Pi-Caculus. - Jeff Magee; Susan Eisenbach; Jeff Kramer (Dagstuhl Seminar on Distributed Systems, 1994)

Providing High Performance Distributed Computing Through Scalable Computation Servers. - Orly Kremien; Jeff Kramer (HPDC, 1994)

An Integrated Method for Effective Behaviour Analysis of Distributed Systems. - Shing-Chi Cheung; Jeff Kramer (ICSE, 1994)

Distributed Software Engineering. - Jeff Kramer (ICSE, 1994)

Exoskeletal Software. - Jeff Kramer (ICSE, 1994)

Regis: a constructive development environment for distributed programs. - Jeff Magee; Naranker Dulay; Jeff Kramer (Distributed Syst. Eng., 1994)

Tractable Dataflow Analysis for Distributed Systems. - Shing-Chi Cheung; Jeff Kramer (IEEE Trans. Software Eng., 1994)

Inconsistency Handling in Multperspective Specifications. - Anthony Finkelstein; Dov M. Gabbay; Anthony Hunter; Jeff Kramer; Bashar Nuseibeh (IEEE Trans. Software Eng., 1994)

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. - Bashar Nuseibeh; Jeff Kramer; Anthony Finkelstein (IEEE Trans. Software Eng., 1994)

An implementation of a technique for sharing variables in Time Warp. - Celso Massaki Hirata; Jeff Kramer (Annual Simulation Symposium, 1995)

Specifying Distributed Software Architectures. - Jeff Magee; Naranker Dulay; Susan Eisenbach; Jeff Kramer (ESEC, 1995)

Decentralised Process Modelling. - Bashar Nuseibeh; Jeff Kramer; Anthony Finkelstein; Ulf Leonhardt (EWSPT, 1995)

The Software Architect's Assistant-a visual environment for distributed programming. - Keng Ng; Jeff Kramer; Jeff Magee; Naranker Dulay (HICSS (2), 1995)

Decentralised Process Enactment in a Multi-Perspective Development Environment. - Ulf Leonhardt; Jeff Kramer; Bashar Nuseibeh (ICSE, 1995)

Configuration management for distributed software services. - Steve Crane; Naranker Dulay; Halldor Fosså; Jeff Kramer; Jeff Magee; Morris Sloman; Kevin P. Twidle (Integrated Network Management, 1995)

Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. - Shing-Chi Cheung; Jeff Kramer (SIGSOFT FSE, 1995)

Contextual Local Analysis in the Design of Distributed Systems. - Shing-Chi Cheung; Jeff Kramer (Autom. Softw. Eng., 1995)

Maintaining node consistency in the face of dynamic change. - Kaveh M. Moazami-Goudarzi; Jeff Kramer (CDS, 1996)

Checking Subsystem Safety Properties in Compositional Reachability Analysis. - Shing-Chi Cheung; Jeff Kramer (ICSE, 1996)

Dynamic Structure in Software Architectures. - Jeff Magee; Jeff Kramer (SIGSOFT FSE, 1996)

Self organising software architectures. - Jeff Magee; Jeff Kramer (ISAW/Viewpoints@FSE, 1996)

Requirements for an effective architecture recovery framework. - Nabor C. Mendonça; Jeff Kramer (ISAW/Viewpoints@FSE, 1996)

A CASE Tool for Software Architecture Design. - Keng Ng; Jeff Kramer; Jeff Magee (Autom. Softw. Eng., 1996)

Method engineering for multi-perspective software development. - Bashar Nuseibeh; Anthony Finkelstein; Jeff Kramer (Inf. Softw. Technol., 1996)

Succeedings of the 8th international workshop on software specification and design. - Jeff Kramer; Alexander L. Wolf (ACM SIGSOFT Softw. Eng. Notes, 1996)

Context Constraints for Compositional Reachability Analysis. - Shing-Chi Cheung; Jeff Kramer (ACM Trans. Softw. Eng. Methodol., 1996)

Supporting Interoperability of Autonomous Hospital Databases: A Case Study. - Andrea Zisman; Jeff Kramer (ADBIS, 1997)

Exposing the Skeleton in the Coordination Closet. - Jeff Kramer; Jeff Magee (COORDINATION, 1997)

A Quality-Based Analysis of Architecture Recovery Environments. - Nabor C. Mendonça; Jeff Kramer (CSMR, 1997)

Verification of Liveness Properties Using Compositional Reachability Analysis. - Shing-Chi Cheung; Dimitra Giannakopoulou; Jeff Kramer (ESEC / SIGSOFT FSE, 1997)

Analysing the behaviour of distributed software architectures: a case study. - Jeff Magee; Jeff Kramer; Dimitra Giannakopoulou (FTDCS, 1997)

Distributed Software Architectures (Tutorial). - Jeff Kramer; Jeff Magee (ICSE, 1997)

Composing distributed objects in CORBA. - Jeff Magee; Andrew Tseng; Jeff Kramer (ISADS, 1997)

Software engineering for parallel and distributed systems. - Innes Jelly; Ian Gorton; Helmar Burkhart; Karsten M. Decker; Alan D. Fekete; John M. Potter; Hassan Gomaa; Jeffrey Kramer; Douglas C. Schmidt; John A. Stankovic (IEEE Concurrency, 1997)

An investigation of the use of world views with shared variables in Time Warp. - Celso Massaki Hirata; Jeff Kramer (Simul. Pract. Theory, 1997)

An Experiment in Distributed Software Architecture Recovery. - Nabor C. Mendonça; Jeff Kramer (ESPRIT ARES Workshop, 1998)

Architectural Description. - Dewayne E. Perry; Jeff Kramer (ESPRIT ARES Workshop, 1998)

Analysing dynamic change in software architectures: a case study. - Jeff Kramer; Jeff Magee (CDS, 1998)

Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. - Alessandra Russo; Bashar Nuseibeh; Jeff Kramer (ICRE, 1998)

Developing an Approach for the Recovery of Distributed Software Architectures. - Nabor C. Mendonça; Jeff Kramer (IWPC, 1998)

Software Architecture Directed Behaviour Analysis. - Jeff Magee; Jeff Kramer; Dimitra Giannakopoulou (IWSSD, 1998)

Analysing dynamic change in distributed software architectures. - Jeff Kramer; Jeff Magee (IEE Proc. Softw., 1998)

Concurrency - state models and Java programs. - Jeff Magee; Jeff Kramer (Wiley, 1999)

Checking Progress with Action Priority: Is it Fair? - Dimitra Giannakopoulou; Jeff Magee; Jeff Kramer (ESEC / SIGSOFT FSE, 1999)

Component Module Classification for Distributed Software Understanding. - Nabor C. Mendonça; Jeff Kramer (ICSM, 1999)

Modelling for Mere Mortals. - Jeff Kramer; Jeff Magee (TACAS, 1999)

Behaviour Analysis of Software Architectures. - Jeff Magee; Jeff Kramer; Dimitra Giannakopoulou (WICSA, 1999)

Behaviour Analysis of Distributed Systems Using the Tracta Approach. - Dimitra Giannakopoulou; Jeff Kramer; Shing-Chi Cheung (Autom. Softw. Eng., 1999)

An approach to interoperation between autonomous database systems. - Andrea Zisman; Jeff Kramer (Distributed Syst. Eng., 1999)

Restructuring requirement specifications. - Alessandra Russo; Bashar Nuseibeh; Jeff Kramer (IEE Proc. Softw., 1999)

Checking Safety Properties Using Compositional Reachability Analysis. - Shing-Chi Cheung; Jeff Kramer (ACM Trans. Softw. Eng. Methodol., 1999)

Software engineering: a roadmap. - Anthony Finkelstein; Jeff Kramer (ICSE - Future of SE Track, 2000)

Graphical animation of behavior models. - Jeff Magee; Nat Pryce; Dimitra Giannakopoulou; Jeff Kramer (ICSE, 2000)

Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. - Leon J. Osterweil; Barry W. Boehm; Michael Evangelist; Volker Gruhn; Jeff Kramer; Edward F. Miller (ICSE, 2000)

Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. - Jeff Magee; Jeff Kramer; Bashar Nuseibeh; David Bush; Julia Sonander (IWSSD, 2000)

The impact project: determining the impact of software engineering research upon practice (panel session). - Leon J. Osterweil; Lori A. Clarke; Michael Evangelist; Jeff Kramer; H. Dieter Rombach; Alexander L. Wolf (SIGSOFT FSE, 2000)

The Koala Component Model for Consumer Electronics Software. - Rob C. van Ommering; Frank van der Linden 001; Jeff Kramer; Jeff Magee (Computer, 2000)

Making Meaningful Models for Mere Mortal. - Jeff Kramer (ACSD, 2001)

From Software Requirements to Architectures. - Jaelson Castro; Jeff Kramer (ICSE, 2001)

A Workbench for Synthesising Behaviour Models from Scenarios. - Sebastián Uchitel; Jeff Kramer (ICSE, 2001)

An Analysis-Revision Cycle to Evolve Requirements Specifications. - Artur S. d'Avila Garcez; Alessandra Russo; Bashar Nuseibeh; Jeff Kramer (ASE, 2001)

Detecting implied scenarios in message sequence chart specifications. - Sebastián Uchitel; Jeff Kramer; Jeff Magee (ESEC / SIGSOFT FSE, 2001)

An Approach for Recovering Distributed System Architectures. - Nabor C. Mendonça; Jeff Kramer (Autom. Softw. Eng., 2001)

From software requirements to architectures (STRAW01). - Jaelson Castro; Jeff Kramer (ACM SIGSOFT Softw. Eng. Notes, 2001)

Guest Editors' Introduction: 1999 International Conference on Software Engineering. - Jeff Kramer; David Garlan; David S. Rosenblum (IEEE Trans. Software Eng., 2001)

An Abductive Approach for Analysing Event-Based Requirements Specifications. - Alessandra Russo; Rob Miller 002; Bashar Nuseibeh; Jeff Kramer (ICLP, 2002)

Negative scenarios for implied scenario elicitation. - Sebastián Uchitel; Jeff Kramer; Jeff Magee (SIGSOFT FSE, 2002)

Self-organising software architectures for distributed systems. - Ioannis Georgiadis; Jeff Magee; Jeff Kramer (WOSS, 2002)

Implied Scenario Detection in the Presence of Behaviour Constraints. - Sebastián Uchitel; Jeff Kramer; Jeff Magee (VISS@ETAPS, 2002)

Model-based Simulation of Web Applications for Usability Assessment. - Robert Chatley; Jeff Kramer; Jeff Magee; Sebastián Uchitel (ICSE Workshop on SE-HCI, 2003)

ViewPoints: meaningful relationships are difficult! - Bashar Nuseibeh; Jeff Kramer; Anthony Finkelstein (ICSE, 2003)

Model-based Verification of Web Service Compositions. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (ASE, 2003)

Software Architecture Modeling & Analysis: A Rigorous Approach. - Jeff Kramer; Jeff Magee; Sebastián Uchitel (SFM, 2003)

Behaviour model elaboration using partial labelled transition systems. - Sebastián Uchitel; Jeff Kramer; Jeff Magee (ESEC / SIGSOFT FSE, 2003)

LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. - Sebastián Uchitel; Robert Chatley; Jeff Kramer; Jeff Magee (TACAS, 2003)

Visual methods for web application design. - Robert Chatley; Jeff Kramer; Jeff Magee; Sebastián Uchitel (HCC, 2003)

Combining abductive reasoning and inductive learning to evolve requirements specifications. - Artur S. d'Avila Garcez; Alessandra Russo; Bashar Nuseibeh; Jeff Kramer (IEE Proc. Softw., 2003)

Synthesis of Behavioral Models from Scenarios. - Sebastián Uchitel; Jeff Kramer; Jeff Magee (IEEE Trans. Software Eng., 2003)

Model-Based Design of Concurrent Programs. - Jeff Magee; Jeff Kramer (25 Years Communicating Sequential Processes, 2004)

Predictable Dynamic Plugin Systems. - Robert Chatley; Susan Eisenbach; Jeff Kramer; Jeff Magee; Sebastián Uchitel (FASE, 2004)

Compatibility Verification for Web Service Choreography. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (ICWS, 2004)

Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. - Sebastián Uchitel; Robert Chatley; Jeff Kramer; Jeff Magee (RE, 2004)

System architecture: the context for scenario-based model synthesis. - Sebastián Uchitel; Robert Chatley; Jeff Kramer; Jeff Magee (SIGSOFT FSE, 2004)

Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. - Sebastián Uchitel; Jeff Kramer; Jeff Magee (ACM Trans. Softw. Eng. Methodol., 2004)

Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer; Michael Hu (IEEE SCC, 2005)

Leveraging Eclipse for integrated model-based engineering of web service compositions. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (eTX, 2005)

Fluent-based web animation: exploring goals for requirements validation. - Robert Chatley; Sebastián Uchitel; Jeff Kramer; Jeff Magee (ICSE, 2005)

Monitoring and control in scenario-based requirements analysis. - Emmanuel Letier; Jeff Kramer; Jeff Magee; Sebastián Uchitel (ICSE, 2005)

Tool Support for Model-Based Engineering of Web Service Compositions. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (ICWS, 2005)

Engineering distributed software: a structural discipline. - Jeff Kramer; Jeff Magee (ESEC/SIGSOFT FSE, 2005)

Fluent temporal logic for discrete-time event-based models. - Emmanuel Letier; Jeff Kramer; Jeff Magee; Sebastián Uchitel (ESEC/SIGSOFT FSE, 2005)

Editorial. - Leon J. Osterweil; Carlo Ghezzi; Jeff Kramer; Alexander L. Wolf (ACM Trans. Softw. Eng. Methodol., 2005)

Concurrency - state models and Java programs (2. ed.). - Jeff Magee; Jeff Kramer (Wiley, 2006)

Model-Based Analysis of Obligations in Web Service Choreography. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (AICT/ICIW, 2006)

Component-Based Modeling, Analysis and Animation. - Jeff Kramer (CCGRID, 2006)

Synthesizing Concurrency Control Components from Process Algebraic Specifications. - Edoardo Bontà; Marco Bernardo 001; Jeff Magee; Jeff Kramer (COORDINATION, 2006)

Modes for Software Architectures. - Dan Hirsch; Jeff Kramer; Jeff Magee; Sebastián Uchitel (EWSA, 2006)

LTSA-WS: a tool for model-based verification of web service compositions and choreography. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (ICSE, 2006)

Model Extraction Using Context Information. - Lucio Mauro Duarte; Jeff Kramer; Sebastián Uchitel (MoDELS, 2006)

Distributed Software Engineering: a Rigorous Architectural Approach. - Jeff Kramer (QSIC, 2006)

Using resemblance to support component reuse and evolution. - Andrew McVeigh; Jeff Kramer; Jeff Magee (SAVCBS@FSE, 2006)

Goal and scenario validation: a fluent combination. - Sebastián Uchitel; Robert Chatley; Jeff Kramer; Jeff Magee (Requir. Eng., 2006)

Preface. - Antonio Brogi; Jean-Marie Jacquet; Jeff Kramer; Ernesto Pimentel 001 (Sci. Comput. Program., 2006)

The Role of Abstraction in Software Engineering. - Jeff Kramer; Orit Hazzan (ACM SIGSOFT Softw. Eng. Notes, 2006)

Editorial: A Message from the New Editor-in-Chief. - Jeff Kramer (IEEE Trans. Software Eng., 2006)

Self-Managed Systems: an Architectural Challenge. - Jeff Kramer; Jeff Magee (FOSE, 2007)

Towards Self-management in Service-Oriented Computing with Modes. - Howard Foster; Sebastián Uchitel; Jeff Kramer; Jeff Magee (ICSOC Workshops, 2007)

Translating FSP into LOTOS and Networks of Automata. - Gwen Salaün; Jeff Kramer; Frédéric Lang; Jeff Magee (IFM, 2007)

Model checking service compositions under resource constraints. - Howard Foster; Wolfgang Emmerich; Jeff Kramer; Jeff Magee; David S. Rosenblum; Sebastián Uchitel (ESEC/SIGSOFT FSE, 2007)

Plan-directed architectural change for autonomous systems. - Daniel Sykes; William Heaven; Jeff Magee; Jeff Kramer (SAVCBS, 2007)

WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (Test and Analysis of Web Services, 2007)

Detecting Implied Scenarios from Execution Traces. - Felipe Cantal de Sousa; Nabor C. Mendonça; Sebastián Uchitel; Jeff Kramer (WCRE, 2007)

Is abstraction the key to computing? - Jeff Kramer (Commun. ACM, 2007)

Editorial: State of the Journal. - Jeff Kramer (IEEE Trans. Software Eng., 2007)

Towards Faithful Model Extraction Based on Contexts. - Lucio Mauro Duarte; Jeff Kramer; Sebastián Uchitel (FASE, 2008)

From goals to components: a combined approach to self-management. - Daniel Sykes; William Heaven; Jeff Magee; Jeff Kramer (SEAMS, 2008)

Leveraging Modes and UML2 for Service Brokering Specifications. - Howard Foster; Sebastián Uchitel; Jeff Kramer; Jeff Magee (MDWE@MoDELS, 2008)

Deriving event-based transition systems from goal-oriented requirements models. - Emmanuel Letier; Jeff Kramer; Jeff Magee; Sebastián Uchitel (Autom. Softw. Eng., 2008)

Determining the Impact of Software Engineering Research on Practice. - Leon J. Osterweil; Carlo Ghezzi; Jeff Kramer; Alexander L. Wolf (Computer, 2008)

State of the Journal Address. - Jeff Kramer (IEEE Trans. Software Eng., 2008)

Editorial: New Associate Editor Introduction. - Jeff Kramer (IEEE Trans. Software Eng., 2008)

Domain concept-based queries for cancer research data sources. - Alejandra N. González-Beltrán; Anthony Finkelstein; J. Max Wilkinson; Jeff Kramer (CBMS, 2009)

Software Engineering for Self-Adaptive Systems: A Research Roadmap. - Betty 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; et al. (Software Engineering for Self-Adaptive Systems, 2009)

A Case Study in Goal-Driven Architectural Adaptation. - William Heaven; Daniel Sykes; Jeff Magee; Jeff Kramer (Software Engineering for Self-Adaptive Systems, 2009)

Fuzzy approaches to driven Kalman filtering for small robot localization. - Jeffrey Kramer; Abraham Kandel (ICAR, 2009)

Learning operational requirements from goal models. - Dalal Alrajeh; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (ICSE, 2009)

Towards accurate probabilistic models using state refinement. - Paulo Henrique M. Maia; Jeff Kramer; Sebastián Uchitel; Nabor C. Mendonça (ESEC/SIGSOFT FSE, 2009)

Abstraction and Modelling: A Complementary Partnership. - Jeffrey Kramer (TFM, 2009)

A Rigorous Architectural Approach to Adaptive Software Engineering. - Jeff Kramer; Jeff Magee (J. Comput. Sci. Technol., 2009)

Editorial: New Associate Editors Introduction. - Jeff Kramer (IEEE Trans. Software Eng., 2009)

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. - Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw; Jesper Andersson; Marin Litoiu; Bradley R. Schmerl; Gabriel Tamura; Norha M. Villegas; Thomas Vogel 001; Danny Weyns; Luciano Baresi; et al. (Software Engineering for Self-Adaptive Systems, 2010)

Exploiting non-functional preferences in architectural adaptation for self-managed systems. - Daniel Sykes; William Heaven; Jeff Magee; Jeff Kramer (SAC, 2010)

Deriving non-Zeno behaviour models from goal models using ILP. - Dalal Alrajeh; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (Formal Aspects Comput., 2010)

Translating FSP into LOTOS and networks of automata. - Frédéric Lang; Gwen Salaün; Rémi Hérilier; Jeff Kramer; Jeff Magee (Formal Aspects Comput., 2010)

An Integrated Workbench for Model-Based Engineering of Service Compositions. - Howard Foster; Sebastián Uchitel; Jeff Magee; Jeff Kramer (IEEE Trans. Serv. Comput., 2010)

Editorial: A New Editor in Chief and the State of the Journal. - Jeff Kramer (IEEE Trans. Software Eng., 2010)

An Inductive Approach for Modal Transition System Refinement. - Dalal Alrajeh; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (ICLP (Technical Communications), 2011)

Evolve: tool support for architecture evolution. - Andrew McVeigh; Jeff Kramer; Jeff Magee (ICSE, 2011)

FlashMob: distributed adaptive self-assembly. - Daniel Sykes; Jeff Magee; Jeff Kramer (SEAMS, 2011)

Integrating Model Checking and Inductive Logic Programming. - Dalal Alrajeh; Alessandra Russo; Sebastián Uchitel; Jeff Kramer (ILP, 2011)

Sea Robot-Assisted Inspection. - Michael Lindemuth; Robin R. Murphy; Eric Steimle; William D. Armitage; Karen L. Dreger; Tim Elliot; Michael Hall; Dmitry Kalyadin; Jeffrey Kramer; Mayur Palankar; Kevin S. Pratt; Chandler Griffin (IEEE Robotics Autom. Mag., 2011)

Robust Small Robot Localization From Highly Uncertain Sensors. - Jeffrey Kramer; Abraham Kandel (IEEE Trans. Syst. Man Cybern. Part C, 2011)

Learning from Vacuously Satisfiable Scenario-Based Specifications. - Dalal Alrajeh; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (FASE, 2012)

Distribution of Modal Transition Systems. - German E. Sibay; Sebastián Uchitel; Víctor A. Braberman; Jeff Kramer (FM, 2012)

Generating obstacle conditions for requirements completeness. - Dalal Alrajeh; Jeff Kramer; Axel van Lamsweerde; Alessandra Russo; Sebastián Uchitel (ICSE, 2012)

Whither software architecture? (Keynote). - Jeff Kramer (ICSE, 2012)

On accurate localization and uncertain sensors. - Jeffrey Kramer; Abraham Kandel (Int. J. Intell. Syst., 2012)

An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. - Víctor A. Braberman; Nicolás D'Ippolito; Jeff Kramer; Daniel Sykes; Sebastián Uchitel (Software Engineering for Self-Adaptive Systems, 2013)

Learning revised models for planning in adaptive systems. - Daniel Sykes; Domenico Corapi; Jeff Magee; Jeff Kramer; Alessandra Russo; Katsumi Inoue (ICSE, 2013)

Supporting incremental behaviour model elaboration. - Sebastián Uchitel; Dalal Alrajeh; Shoham Ben-David; Víctor A. Braberman; Marsha Chechik; Guido de Caso; Nicolás D'Ippolito; Dario Fischbein; Diego Garbervetsky; Jeff Kramer; Alessandra Russo; German E. Sibay (Comput. Sci. Res. Dev., 2013)

Elaborating Requirements Using Model Checking and Inductive Learning. - Dalal Alrajeh; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (IEEE Trans. Software Eng., 2013)

Synthesizing Modal Transition Systems from Triggered Scenarios. - German E. Sibay; Víctor A. Braberman; Sebastián Uchitel; Jeff Kramer (IEEE Trans. Software Eng., 2013)

Hope for the best, prepare for the worst: multi-tier control for adaptive systems. - Nicolás D'Ippolito; Víctor A. Braberman; Jeff Kramer; Jeff Magee; Daniel Sykes; Sebastián Uchitel (ICSE, 2014)

LTSA-PCA: tool support for compositional reliability analysis. - Pedro Rodrigues; Emil Lupu; Jeff Kramer (ICSE Companion, 2014)

Adventures in Adaptation: A Software Engineering Playground! - Jeff Kramer (SEAMS@ICSE, 2015)

Compositional Reliability Analysis for Probabilistic Component Automata. - Pedro Rodrigues; Emil Constantine Lupu; Jeffrey Kramer (MiSE@ICSE, 2015)

On re-assembling self-managed components. - Pedro Rodrigues; Jeff Kramer; Emil C. Lupu (IM, 2015)

MORPH: a reference architecture for configuration and behaviour self-adaptation. - Víctor A. Braberman; Nicolás D'Ippolito; Jeff Kramer; Daniel Sykes; Sebastián Uchitel (CTSE@SIGSOFT FSE, 2015)

Automated support for diagnosis and repair. - Dalal Alrajeh; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (Commun. ACM, 2015)

Risk-driven revision of requirements models. - Dalal Alrajeh; Axel van Lamsweerde; Jeff Kramer; Alessandra Russo; Sebastián Uchitel (ICSE, 2016)

Logic-based learning in software engineering. - Dalal Alrajeh; Alessandra Russo; Sebastián Uchitel; Jeff Kramer (ICSE (Companion Volume), 2016)

Assured and correct dynamic update of controllers. - Leandro Nahabedian; Víctor A. Braberman; Nicolás D'Ippolito; Shinichi Honiden; Jeff Kramer; Kenji Tei; Sebastián Uchitel (SEAMS@ICSE, 2016)

Assessing abstraction skills. - Orit Hazzan; Jeff Kramer (Commun. ACM, 2016)

Using contexts to extract models from code. - Lucio Mauro Duarte; Jeff Kramer; Sebastián Uchitel (Softw. Syst. Model., 2017)

Dynamic Reconfiguration of Business Processes. - Leandro Nahabedian; Víctor A. Braberman; Nicolás D'Ippolito; Jeff Kramer; Sebastián Uchitel (BPM, 2019)

Modelling and analysing resilient cyber-physical systems. - Amel Bennaceur; Carlo Ghezzi; Kenji Tei; Timo Kehrer; Danny Weyns; Radu Calinescu; Schahram Dustdar; Zhenjiang Hu; Shinichi Honiden; Fuyuki Ishikawa; Zhi Jin; Jeffrey Kramer; et al. (SEAMS@ICSE, 2019)

Acceptable Privacy for XAND Blockchain. - Debasish Ray Chawdhuri; Jeffrey Kramer; Spencer Judge (IoTSMS, 2019)

RE @ runtime : the challenge of change RE'20 Conference Keynote. - Jeff Kramer (RE, 2020)

Dynamic Update of Discrete Event Controllers. - Leandro Nahabedian; Víctor A. Braberman; Nicolás D'Ippolito; Shinichi Honiden; Jeff Kramer; Kenji Tei; Sebastián Uchitel (IEEE Trans. Software Eng., 2020)

Assured automatic dynamic reconfiguration of business processes. - Leandro Nahabedian; Víctor A. Braberman; Nicolás D'Ippolito; Jeff Kramer; Sebastián Uchitel (Inf. Syst., 2022)

Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting. - Tsz On Li; Wenxi Zong; Yibo Wang 008; Haoye Tian; Ying Wang 038; Shing-Chi Cheung; Jeff Kramer (ASE, 2023)

Adapting Specifications for Reactive Controllers. - Titus Buckworth; Dalal Alrajeh; Jeff Kramer; Sebastián Uchitel (SEAMS, 2023)

Finding Failure-Inducing Test Cases with ChatGPT. - Tsz On Li; Wenxi Zong; Yibo Wang 008; Haoye Tian; Ying Wang 038; Shing-Chi Cheung; Jeff Kramer (CoRR, 2023)