| 2026 | SEAMS | SEAMS 2026 Community Debate: How Ethical Can an Ethics-Aware Controller Be? Can we Trust it? | Genana Nunes Rodrigues, Betty H. C. Cheng, David Garlan, Paola Inverardi, Jeff Kramer, Sol Zilberman |
| 2023 | SEAMS | Adapting Specifications for Reactive Controllers. | Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastin Uchitel |
| 2020 | RE | RE @ runtime : the challenge of change RE'20 Conference Keynote. | Jeff Kramer |
| 2019 | BPM | Dynamic Reconfiguration of Business Processes. | Leandro Nahabedian, Vctor A. Braberman, Nicols D'Ippolito, Jeff Kramer, Sebastin Uchitel |
| 2016 | ICSE | Risk-driven revision of requirements models. | Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2016 | ICSE | Logic-based learning in software engineering. | Dalal Alrajeh, Alessandra Russo, Sebastin Uchitel, Jeff Kramer |
| 2016 | ICSE | Assured and correct dynamic update of controllers. | Leandro Nahabedian, Vctor A. Braberman, Nicols D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastin Uchitel |
| 2015 | IM | On re-assembling self-managed components. | Pedro Rodrigues, Jeff Kramer, Emil C. Lupu |
| 2015 | ICSE | Adventures in Adaptation: A Software Engineering Playground! | Jeff Kramer |
| 2014 | ICSE | Hope for the best, prepare for the worst: multi-tier control for adaptive systems. | Nicols D'Ippolito, Vctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastin Uchitel |
| 2014 | ICSE | LTSA-PCA: tool support for compositional reliability analysis. | Pedro Rodrigues, Emil Lupu, Jeff Kramer |
| 2013 | ICSE | Learning revised models for planning in adaptive systems. | Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue |
| 2012 | FASE | Learning from Vacuously Satisfiable Scenario-Based Specifications. | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2012 | FM | Distribution of Modal Transition Systems. | German E. Sibay, Sebastin Uchitel, Vctor A. Braberman, Jeff Kramer |
| 2012 | ICSE | Generating obstacle conditions for requirements completeness. | Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastin Uchitel |
| 2012 | ICSE | Whither software architecture? (Keynote). | Jeff Kramer |
| 2011 | ICLP | An Inductive Approach for Modal Transition System Refinement. | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2011 | ILP | Integrating Model Checking and Inductive Logic Programming. | Dalal Alrajeh, Alessandra Russo, Sebastin Uchitel, Jeff Kramer |
| 2011 | ICSE | Evolve: tool support for architecture evolution. | Andrew McVeigh, Jeff Kramer, Jeff Magee |
| 2011 | ICSE | FlashMob: distributed adaptive self-assembly. | Daniel Sykes, Jeff Magee, Jeff Kramer |
| 2010 | SAC | Exploiting non-functional preferences in architectural adaptation for self-managed systems. | Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer |
| 2009 | CBMS | Domain concept-based queries for cancer research data sources. | Alejandra N. Gonzlez-Beltrn, Anthony Finkelstein, J. Max Wilkinson, Jeff Kramer |
| 2009 | ICSE | Learning operational requirements from goal models. | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2008 | FASE | Towards Faithful Model Extraction Based on Contexts. | Lucio Mauro Duarte, Jeff Kramer, Sebastin Uchitel |
| 2008 | ICSE | The role of abstraction in software engineering. | Orit Hazzan, Jeff Kramer |
| 2008 | ICSE | From goals to components: a combined approach to self-management. | Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer |
| 2008 | MODELS | Leveraging Modes and UML2 for Service Brokering Specifications. | Howard Foster, Sebastin Uchitel, Jeff Kramer, Jeff Magee |
| 2008 | MODELS | Abstraction and Modelling - A Complementary Partnership. | Jeff Kramer |
| 2007 | ICSE | Self-Managed Systems: an Architectural Challenge. | Jeff Kramer, Jeff Magee |
| 2007 | ICSOC | Towards Self-management in Service-Oriented Computing with Modes. | Howard Foster, Sebastin Uchitel, Jeff Kramer, Jeff Magee |
| 2007 | IFM | Translating FSP into LOTOS and Networks of Automata. | Gwen Salan, Jeff Kramer, Frdric Lang, Jeff Magee |
| 2006 | CCGRID | Component-Based Modeling, Analysis and Animation. | Jeff Kramer |
| 2006 | Coordination | Synthesizing Concurrency Control Components from Process Algebraic Specifications. | Edoardo Bont, Marco Bernardo, Jeff Magee, Jeff Kramer |
| 2006 | ICSE | LTSA-WS: a tool for model-based verification of web service compositions and choreography. | Howard Foster, Sebastin Uchitel, Jeff Magee, Jeff Kramer |
| 2006 | ICSE | The role of abstraction in software engineering. | Jeff Kramer, Orit Hazzan |
| 2006 | ICSE | The role of abstraction in software engineering. | Jeff Kramer, Orit Hazzan |
| 2006 | MODELS | Model Extraction Using Context Information. | Lucio Mauro Duarte, Jeff Kramer, Sebastin Uchitel |
| 2005 | ICSE | Fluent-based web animation: exploring goals for requirements validation. | Robert Chatley, Sebastin Uchitel, Jeff Kramer, Jeff Magee |
| 2005 | ICSE | Monitoring and control in scenario-based requirements analysis. | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastin Uchitel |
| 2005 | ICWS | Tool Support for Model-Based Engineering of Web Service Compositions. | Howard Foster, Sebastin Uchitel, Jeff Magee, Jeff Kramer |
| 2004 | FASE | Predictable Dynamic Plugin Systems. | Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastin Uchitel |
| 2004 | ICWS | Compatibility Verification for Web Service Choreography. | Howard Foster, Sebastin Uchitel, Jeff Magee, Jeff Kramer |
| 2004 | RE | Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. | Sebastin Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
| 2003 | ICSE | Model-based Simulation of Web Applications for Usability Assessment. | Robert Chatley, Jeff Kramer, Jeff Magee, Sebastin Uchitel |
| 2003 | ICSE | ViewPoints: meaningful relationships are difficult! | Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein |
| 2003 | TACAS | LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. | Sebastin Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
| 2002 | ICLP | An Abductive Approach for Analysing Event-Based Requirements Specifications. | Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer |
| 2001 | ICSE | From Software Requirements to Architectures. | Jaelson Castro, Jeff Kramer |
| 2001 | ICSE | A Workbench for Synthesising Behaviour Models from Scenarios. | Sebastin Uchitel, Jeff Kramer |
| 2000 | ICSE | Software engineering: a roadmap. | Anthony Finkelstein, Jeff Kramer |
| 2000 | ICSE | Graphical animation of behavior models. | Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer |
| 2000 | ICSE | 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 |
| 1999 | TACAS | Modelling for Mere Mortals. | Jeff Kramer, Jeff Magee |
| 1998 | ARES | An Experiment in Distributed Software Architecture Recovery. | Nabor C. Mendona, Jeff Kramer |
| 1998 | ARES | Architectural Description. | Dewayne E. Perry, Jeff Kramer |
| 1997 | ADBIS | Supporting Interoperability of Autonomous Hospital Databases: A Case Study. | Andrea Zisman, Jeff Kramer |
| 1997 | Coordination | Exposing the Skeleton in the Coordination Closet. | Jeff Kramer, Jeff Magee |
| 1997 | ISADS | Composing distributed objects in CORBA. | Jeff Magee, Andrew Tseng, Jeff Kramer |
| 1997 | ICSE | Distributed Software Architectures (Tutorial). | Jeff Kramer, Jeff Magee |
| 1996 | ICSE | Checking Subsystem Safety Properties in Compositional Reachability Analysis. | Shing-Chi Cheung, Jeff Kramer |
| 1995 | IM | Configuration management for distributed software services. | Steve Crane, Naranker Dulay, Halldor Foss, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle |
| 1995 | ICSE | Decentralised Process Enactment in a Multi-Perspective Development Environment. | Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh |
| 1994 | HPDC | Providing High Performance Distributed Computing Through Scalable Computation Servers. | Orly Kremien, Jeff Kramer |
| 1994 | ICSE | An Integrated Method for Effective Behaviour Analysis of Distributed Systems. | Shing-Chi Cheung, Jeff Kramer |
| 1994 | ICSE | Distributed Software Engineering. | Jeff Kramer |
| 1994 | ICSE | Exoskeletal Software. | Jeff Kramer |
| 1993 | ICSE | Method Integration and Support for Distributed Software Development: An Overview. | Jeff Kramer, Anthony Finkelstein, Bashar Nuseibeh |
| 1993 | ICSE | Expressing the Relationships Between Multiple Views in Requirements Specification. | Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein |
| 1993 | RE | Should we specify systems or domain? | D. Partridge, David Garlan, David R. Barstow, Jeff Kramer |
| 1990 | ICDCS | A Constructive Approach to the Design of Distributed Systems. | Jeff Kramer, Jeff Magee, Anthony Finkelstein |
| 1981 | ICDCS | Intertask Communication Primitives for Distributed Computer Control Systems. | Jeff Kramer, Jeff Magee, Morris Sloman |
| 1979 | ICSE | Invariants for Specifications. | Jeff Kramer, Jim Cunningham |