Jeff Kramer

ORCID

Publication Activity (10 Years)

Years Active: 1978-2023
Publications (10 Years): 12

Top Venues

ICSE

IEEE Trans. Software Eng.

CoRR

SEAMS@ICSE

Publications

Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer
Finding Failure-Inducing Test Cases with ChatGPT. CoRR (2023)
Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel
Adapting Specifications for Reactive Controllers. SEAMS (2023)
Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer
Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting. ASE (2023)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
Assured automatic dynamic reconfiguration of business processes. Inf. Syst. 104 (2022)
Jeff Kramer
RE @ runtime : the challenge of change RE'20 Conference Keynote. RE (2020)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
Dynamic Update of Discrete Event Controllers. IEEE Trans. Software Eng. 46 (11) (2020)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
Dynamic Reconfiguration of Business Processes. BPM (2019)
Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
Using contexts to extract models from code. Softw. Syst. Model. 16 (2) (2017)
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
Logic-based learning in software engineering. ICSE (Companion Volume) (2016)
Orit Hazzan, Jeff Kramer
Assessing abstraction skills. Commun. ACM 59 (12) (2016)
Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Risk-driven revision of requirements models. ICSE (2016)
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
Assured and correct dynamic update of controllers. SEAMS@ICSE (2016)
Pedro Rodrigues, Jeff Kramer, Emil C. Lupu
On re-assembling self-managed components. IM (2015)
Jeff Kramer
Adventures in Adaptation: A Software Engineering Playground! SEAMS@ICSE (2015)
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
MORPH: a reference architecture for configuration and behaviour self-adaptation. CTSE@SIGSOFT FSE (2015)
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. CoRR (2015)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Automated support for diagnosis and repair. Commun. ACM 58 (2) (2015)
Nicolás D'Ippolito, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel
Hope for the best, prepare for the worst: multi-tier control for adaptive systems. ICSE (2014)
Pedro Rodrigues, Emil Lupu, Jeff Kramer
LTSA-PCA: tool support for compositional reliability analysis. ICSE Companion (2014)
Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue
Learning revised models for planning in adaptive systems. ICSE (2013)
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. Software Engineering for Self-Adaptive Systems (2013)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Elaborating Requirements Using Model Checking and Inductive Learning. IEEE Trans. Software Eng. 39 (3) (2013)
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
Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 28 (4) (2013)
German E. Sibay, Víctor A. Braberman, Sebastián Uchitel, Jeff Kramer
Synthesizing Modal Transition Systems from Triggered Scenarios. IEEE Trans. Software Eng. 39 (7) (2013)
Jeff Kramer
Whither software architecture? (Keynote). ICSE (2012)
Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel
Generating obstacle conditions for requirements completeness. ICSE (2012)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Learning from Vacuously Satisfiable Scenario-Based Specifications. FASE (2012)
German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer
Distribution of Modal Transition Systems. FM (2012)
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
Integrating Model Checking and Inductive Logic Programming. ILP (2011)
Andrew McVeigh, Jeff Kramer, Jeff Magee
Evolve: tool support for architecture evolution. ICSE (2011)
Daniel Sykes, Jeff Magee, Jeff Kramer
FlashMob: distributed adaptive self-assembly. SEAMS (2011)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
An Inductive Approach for Modal Transition System Refinement. ICLP (Technical Communications) (2011)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Deriving non-Zeno behaviour models from goal models using ILP. Formal Aspects Comput. 22 (3-4) (2010)
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, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems (2010)
Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
Exploiting non-functional preferences in architectural adaptation for self-managed systems. SAC (2010)
Jeff Kramer
Editorial: A New Editor in Chief and the State of the Journal. IEEE Trans. Software Eng. 36 (1) (2010)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
An Integrated Workbench for Model-Based Engineering of Service Compositions. IEEE Trans. Serv. Comput. 3 (2) (2010)
Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems (2010)
Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee
Translating FSP into LOTOS and networks of automata. Formal Aspects Comput. 22 (6) (2010)
Paulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça
Towards accurate probabilistic models using state refinement. ESEC/SIGSOFT FSE (2009)
Jeff Kramer, Jeff Magee
A Rigorous Architectural Approach to Adaptive Software Engineering. J. Comput. Sci. Technol. 24 (2) (2009)
Alejandra N. González-Beltrán, Anthony Finkelstein, J. Max Wilkinson, Jeff Kramer
Domain concept-based queries for cancer research data sources. CBMS (2009)
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, 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)
William Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer
A Case Study in Goal-Driven Architectural Adaptation. Software Engineering for Self-Adaptive Systems (2009)
Jeff Kramer
Editorial: New Associate Editors Introduction. IEEE Trans. Software Eng. 35 (4) (2009)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Learning operational requirements from goal models. ICSE (2009)
Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
Leveraging Modes and UML2 for Service Brokering Specifications. MDWE@MoDELS (2008)
Jeff Kramer
Editorial: New Associate Editor Introduction. IEEE Trans. Software Eng. 34 (2) (2008)
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Deriving event-based transition systems from goal-oriented requirements models. Autom. Softw. Eng. 15 (2) (2008)
Jeff Kramer
Abstraction and Modelling - A Complementary Partnership. MoDELS (2008)
Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
Towards Faithful Model Extraction Based on Contexts. FASE (2008)
Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf
Determining the Impact of Software Engineering Research on Practice. Computer 41 (3) (2008)
Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
From goals to components: a combined approach to self-management. SEAMS (2008)
Jeff Kramer
State of the Journal Address. IEEE Trans. Software Eng. 34 (1) (2008)
Orit Hazzan, Jeff Kramer
The role of abstraction in software engineering. ICSE Companion (2008)
Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
Plan-directed architectural change for autonomous systems. SAVCBS (2007)
Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops (2007)
Jeff Kramer, Jeff Magee
Self-Managed Systems: an Architectural Challenge. FOSE (2007)
Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee
Translating FSP into LOTOS and Networks of Automata. IFM (2007)
Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel
Model checking service compositions under resource constraints. ESEC/SIGSOFT FSE (2007)
Jeff Kramer
Is abstraction the key to computing? Commun. ACM 50 (4) (2007)
Jeff Kramer
Editorial: State of the Journal. IEEE Trans. Software Eng. 33 (1) (2007)
Felipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer
Detecting Implied Scenarios from Execution Traces. WCRE (2007)
Andrew McVeigh, Jeff Kramer, Jeff Magee
Using resemblance to support component reuse and evolution. SAVCBS@FSE (2006)
Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Modes for Software Architectures. EWSA (2006)
Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer
Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION (2006)
Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
Model Extraction Using Context Information. MoDELS (2006)
Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel
Preface. Sci. Comput. Program. 61 (2) (2006)
Jeff Kramer
Editorial: A Message from the New Editor-in-Chief. IEEE Trans. Software Eng. 32 (1) (2006)
Jeff Kramer
Distributed Software Engineering: a Rigorous Architectural Approach. QSIC (2006)
Jeff Kramer
Component-Based Modeling, Analysis and Animation. CCGRID (2006)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
LTSA-WS: a tool for model-based verification of web service compositions and choreography. ICSE (2006)
Jeff Kramer, Orit Hazzan
The role of abstraction in software engineering. ICSE (2006)
Jeff Kramer, Orit Hazzan
The Role of Abstraction in Software Engineering. ACM SIGSOFT Softw. Eng. Notes 31 (6) (2006)
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
Goal and scenario validation: a fluent combination. Requir. Eng. 11 (2) (2006)
Jeff Kramer
Editorial: New Associate Editors Introduction. IEEE Trans. Software Eng. 32 (10) (2006)
Jeff Kramer
Editorial: New Associate Editors Introduction. IEEE Trans. Software Eng. 32 (3) (2006)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW (2006)
Jeff Kramer, Orit Hazzan
The role of abstraction in software engineering. ROA@ICSE (2006)
Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee
Fluent-based web animation: exploring goals for requirements validation. ICSE (2005)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Leveraging Eclipse for integrated model-based engineering of web service compositions. eTX (2005)
Jeff Kramer, Jeff Magee
Engineering distributed software: a structural discipline. ESEC/SIGSOFT FSE (2005)
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Monitoring and control in scenario-based requirements analysis. ICSE (2005)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Tool Support for Model-Based Engineering of Web Service Compositions. ICWS (2005)
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Fluent temporal logic for discrete-time event-based models. ESEC/SIGSOFT FSE (2005)
Howard 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)
Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf
Editorial. ACM Trans. Softw. Eng. Methodol. 14 (4) (2005)
Jeff Magee, Jeff Kramer
Model-Based Design of Concurrent Programs. 25 Years Communicating Sequential Processes (2004)
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
System architecture: the context for scenario-based model synthesis. SIGSOFT FSE (2004)
Sebastiá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) (2004)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Compatibility Verification for Web Service Choreography. ICWS (2004)
Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Predictable Dynamic Plugin Systems. FASE (2004)
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. RE (2004)
Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proc. Softw. 150 (1) (2003)
Jeff Kramer, Jeff Magee, Sebastián Uchitel
Software Architecture Modeling & Analysis: A Rigorous Approach. SFM (2003)
Sebastián Uchitel, Jeff Kramer, Jeff Magee
Synthesis of Behavioral Models from Scenarios. IEEE Trans. Software Eng. 29 (2) (2003)
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. TACAS (2003)
Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Visual methods for web application design. HCC (2003)
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
Model-based Verification of Web Service Compositions. ASE (2003)
Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
Model-based Simulation of Web Applications for Usability Assessment. ICSE Workshop on SE-HCI (2003)

Jeff Kramer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jeff Kramer