Jeff Kramer

According to our database, Jeff Kramer authored at least 213 papers between 1978 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Finding Failure-Inducing Test Cases with ChatGPT.

Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer

CoRR, 2023

Adapting Specifications for Reactive Controllers.

Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting.

Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

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

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

RE @ runtime : the challenge of change RE'20 Conference Keynote.

Jeff Kramer

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

2019

Acceptable Privacy for XAND Blockchain.

Debasish Ray Chawdhuri, Jeffrey Kramer, Spencer Judge

Proceedings of the Sixth International Conference on Internet of Things: Systems, 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, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Dynamic Reconfiguration of Business Processes.

Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel

Proceedings of the Business Process Management - 17th International Conference, 2019

2017

Using contexts to extract models from code.

Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel

Softw. Syst. Model., 2017

2016

Assessing abstraction skills.

Orit Hazzan, Jeff Kramer

Commun. ACM, 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

Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Logic-based learning in software engineering.

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer

Proceedings of the 38th International Conference on Software Engineering, 2016

Risk-driven revision of requirements models.

Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Automated support for diagnosis and repair.

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel

Commun. ACM, 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

Proceedings of the 1st International Workshop on Control Theory for Software Engineering, 2015

On re-assembling self-managed components.

Pedro Rodrigues, Jeff Kramer, Emil C. Lupu

Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015

Compositional Reliability Analysis for Probabilistic Component Automata.

Pedro Rodrigues, Emil Constantine Lupu, Jeffrey Kramer

Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

Adventures in Adaptation: A Software Engineering Playground!

Jeff Kramer

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

2014

LTSA-PCA: tool support for compositional reliability analysis.

Pedro Rodrigues, Emil Lupu, Jeff Kramer

Proceedings of the 36th International Conference on Software Engineering, 2014

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

Proceedings of the 36th International Conference on Software Engineering, 2014

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

Elaborating Requirements Using Model Checking and Inductive Learning.

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel

IEEE Trans. Software Eng., 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

Learning revised models for planning in adaptive systems.

Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue

Proceedings of the 35th International Conference on Software Engineering, 2013

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

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012

On accurate localization and uncertain sensors.

Jeffrey Kramer, Abraham Kandel

Int. J. Intell. Syst., 2012

Whither software architecture? (Keynote).

Jeff Kramer

Proceedings of the 34th International Conference on Software Engineering, 2012

Generating obstacle conditions for requirements completeness.

Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel

Proceedings of the 34th International Conference on Software Engineering, 2012

Distribution of Modal Transition Systems.

German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer

Proceedings of the FM 2012: Formal Methods, 2012

Learning from Vacuously Satisfiable Scenario-Based Specifications.

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Robust Small Robot Localization From Highly Uncertain Sensors.

Jeffrey Kramer, Abraham Kandel

IEEE Trans. Syst. Man Cybern. Part C, 2011

Sea Robot-Assisted Inspection.

Michael Lindemuth, Robin R. Murphy, Eric Steimle, William Armitage, Karen L. Dreger, Tim Elliot, Michael Hall, Dmitry Kalyadin, Jeffrey Kramer, Mayur Palankar, Kevin S. Pratt, Chandler Griffin

IEEE Robotics Autom. Mag., 2011

Integrating Model Checking and Inductive Logic Programming.

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer

Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

FlashMob: distributed adaptive self-assembly.

Daniel Sykes, Jeff Magee, Jeff Kramer

Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Evolve: tool support for architecture evolution.

Andrew McVeigh, Jeff Kramer, Jeff Magee

Proceedings of the 33rd International Conference on Software Engineering, 2011

An Inductive Approach for Modal Transition System Refinement.

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010

Editorial: A New Editor in Chief and the State of the Journal.

Jeff Kramer

IEEE Trans. Software Eng., 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

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

Deriving non-Zeno behaviour models from goal models using ILP.

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel

Formal Aspects Comput., 2010

Exploiting non-functional preferences in architectural adaptation for self-managed systems.

Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

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, 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

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

2009

Editorial: New Associate Editors Introduction.

Jeff Kramer

IEEE Trans. Software Eng., 2009

A Rigorous Architectural Approach to Adaptive Software Engineering.

Jeff Kramer, Jeff Magee

J. Comput. Sci. Technol., 2009

Abstraction and Modelling: A Complementary Partnership.

Jeffrey Kramer

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Towards accurate probabilistic models using state refinement.

Paulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Learning operational requirements from goal models.

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel

Proceedings of the 31st International Conference on Software Engineering, 2009

Fuzzy approaches to driven Kalman filtering for small robot localization.

Jeffrey Kramer, Abraham Kandel

Proceedings of the 14th International Conference on Advanced Robotics, 2009

A Case Study in Goal-Driven Architectural Adaptation.

William Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 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, 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

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

Domain concept-based queries for cancer research data sources.

Alejandra N. González-Beltrán, Anthony Finkelstein, J. Max Wilkinson, Jeff Kramer

Proceedings of the Twenty-Second IEEE International Symposium on Computer-Based Medical Systems, 2009

2008

Editorial: New Associate Editor Introduction.

Jeff Kramer

IEEE Trans. Software Eng., 2008

State of the Journal Address.

Jeff Kramer

IEEE Trans. Software Eng., 2008

Determining the Impact of Software Engineering Research on Practice.

Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf

Computer, 2008

Deriving event-based transition systems from goal-oriented requirements models.

Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel

Autom. Softw. Eng., 2008

Leveraging Modes and UML2 for Service Brokering Specifications.

Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee

Proceedings of the 4th International Workshop on Model-Driven Web Engineering, 2008

From goals to components: a combined approach to self-management.

Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer

Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

Towards Faithful Model Extraction Based on Contexts.

Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Editorial: State of the Journal.

Jeff Kramer

IEEE Trans. Software Eng., 2007

Is abstraction the key to computing?

Jeff Kramer

Commun. ACM, 2007

Detecting Implied Scenarios from Execution Traces.

Felipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the Test and Analysis of Web Services, 2007

Plan-directed architectural change for autonomous systems.

Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Model checking service compositions under resource constraints.

Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Translating FSP into LOTOS and Networks of Automata.

Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Towards Self-management in Service-Oriented Computing with Modes.

Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee

Proceedings of the Service-Oriented Computing, 2007

Self-Managed Systems: an Architectural Challenge.

Jeff Kramer, Jeff Magee

Proceedings of the International Conference on Software Engineering, 2007

2006

Editorial: A Message from the New Editor-in-Chief.

Jeff Kramer

IEEE Trans. Software Eng., 2006

The Role of Abstraction in Software Engineering.

Jeff Kramer, Orit Hazzan

ACM SIGSOFT Softw. Eng. Notes, 2006

Preface.

Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel

Sci. Comput. Program., 2006

Goal and scenario validation: a fluent combination.

Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee

Requir. Eng., 2006

Using resemblance to support component reuse and evolution.

Andrew McVeigh, Jeff Kramer, Jeff Magee

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Distributed Software Engineering: a Rigorous Architectural Approach.

Jeff Kramer

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Model Extraction Using Context Information.

Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel

Proceedings of the Model Driven Engineering Languages and Systems, 2006

LTSA-WS: a tool for model-based verification of web service compositions and choreography.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Modes for Software Architectures.

Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel

Proceedings of the Software Architecture, Third European Workshop, 2006

Synthesizing Concurrency Control Components from Process Algebraic Specifications.

Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Component-Based Modeling, Analysis and Animation.

Jeff Kramer

Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006

Model-Based Analysis of Obligations in Web Service Choreography.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

Concurrency - state models and Java programs (2. ed.).

Jeff Magee, Jeff Kramer

Wiley, ISBN: 978-0-470-09355-9, 2006

2005

Editorial.

Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf

ACM Trans. Softw. Eng. Methodol., 2005

Fluent temporal logic for discrete-time event-based models.

Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Engineering distributed software: a structural discipline.

Jeff Kramer, Jeff Magee

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Tool Support for Model-Based Engineering of Web Service Compositions.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Monitoring and control in scenario-based requirements analysis.

Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Fluent-based web animation: exploring goals for requirements validation.

Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Leveraging Eclipse for integrated model-based engineering of web service compositions.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu

Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

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

System architecture: the context for scenario-based model synthesis.

Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation.

Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Compatibility Verification for Web Service Choreography.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Predictable Dynamic Plugin Systems.

Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Model-Based Design of Concurrent Programs.

Jeff Magee, Jeff Kramer

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003

Synthesis of Behavioral Models from Scenarios.

Sebastián Uchitel, Jeff Kramer, Jeff Magee

IEEE Trans. Software Eng., 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

Visual methods for web application design.

Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel

Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.

Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Behaviour model elaboration using partial labelled transition systems.

Sebastián Uchitel, Jeff Kramer, Jeff Magee

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Software Architecture Modeling & Analysis: A Rigorous Approach.

Jeff Kramer, Jeff Magee, Sebastián Uchitel

Proceedings of the Formal Methods for Software Architectures, 2003

Model-based Verification of Web Service Compositions.

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

ViewPoints: meaningful relationships are difficult!

Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein

Proceedings of the 25th International Conference on Software Engineering, 2003

Model-based Simulation of Web Applications for Usability Assessment.

Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel

Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, 2003

2002

Implied Scenario Detection in the Presence of Behaviour Constraints.

Sebastián Uchitel, Jeff Kramer, Jeff Magee

Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002

Self-organising software architectures for distributed systems.

Ioannis Georgiadis, Jeff Magee, Jeff Kramer

Proceedings of the First Workshop on Self-Healing Systems, 2002

Negative scenarios for implied scenario elicitation.

Sebastián Uchitel, Jeff Kramer, Jeff Magee

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

An Abductive Approach for Analysing Event-Based Requirements Specifications.

Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

Guest Editors' Introduction: 1999 International Conference on Software Engineering.

Jeff Kramer, David Garlan, David S. Rosenblum

IEEE Trans. Software Eng., 2001

From software requirements to architectures (STRAW01).

Jaelson Castro, Jeff Kramer

ACM SIGSOFT Softw. Eng. Notes, 2001

An Approach for Recovering Distributed System Architectures.

Nabor C. Mendonça, Jeff Kramer

Autom. Softw. Eng., 2001

Detecting implied scenarios in message sequence chart specifications.

Sebastián Uchitel, Jeff Kramer, Jeff Magee

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

An Analysis-Revision Cycle to Evolve Requirements Specifications.

Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

A Workbench for Synthesising Behaviour Models from Scenarios.

Sebastián Uchitel, Jeff Kramer

Proceedings of the 23rd International Conference on Software Engineering, 2001

From Software Requirements to Architectures.

Jaelson Castro, Jeff Kramer

Proceedings of the 23rd International Conference on Software Engineering, 2001

Making Meaningful Models for Mere Mortal.

Jeff Kramer

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

2000

The Koala Component Model for Consumer Electronics Software.

Rob C. van Ommering, Frank van der Linden, Jeff Kramer, Jeff Magee

Computer, 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

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation.

Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander

Proceedings of the 10th International Workshop on Software Specification and Design, 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

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Graphical animation of behavior models.

Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Software engineering: a roadmap.

Anthony Finkelstein, Jeff Kramer

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Checking Safety Properties Using Compositional Reachability Analysis.

Shing-Chi Cheung, Jeff Kramer

ACM Trans. Softw. Eng. Methodol., 1999

Restructuring requirement specifications.

Alessandra Russo, Bashar Nuseibeh, Jeff Kramer

IEE Proc. Softw., 1999

An approach to interoperation between autonomous database systems.

Andrea Zisman, Jeff Kramer

Distributed Syst. Eng., 1999

Behaviour Analysis of Distributed Systems Using the Tracta Approach.

Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung

Autom. Softw. Eng., 1999

Behaviour Analysis of Software Architectures.

Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou

Proceedings of the Software Architecture, 1999

Modelling for Mere Mortals.

Jeff Kramer, Jeff Magee

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Component Module Classification for Distributed Software Understanding.

Nabor C. Mendonça, Jeff Kramer

Proceedings of the 1999 International Conference on Software Maintenance, 1999

Checking Progress with Action Priority: Is it Fair?

Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer

Proceedings of the Software Engineering, 1999

Concurrency - state models and Java programs.

Jeff Magee, Jeff Kramer

Wiley, ISBN: 978-0-471-98710-9, 1999

1998

Analysing dynamic change in distributed software architectures.

Jeff Kramer, Jeff Magee

IEE Proc. Softw., 1998

Software Architecture Directed Behaviour Analysis.

Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Developing an Approach for the Recovery of Distributed Software Architectures.

Nabor C. Mendonça, Jeff Kramer

Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998

Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study.

Alessandra Russo, Bashar Nuseibeh, Jeff Kramer

Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

Analysing dynamic change in software architectures: a case study.

Jeff Kramer, Jeff Magee

Proceedings of the Fourth International Conference on Configurable Distributed Systems, 1998

Architectural Description.

Dewayne E. Perry, Jeff Kramer

Proceedings of the Development and Evolution of Software Architectures for Product Families, 1998

An Experiment in Distributed Software Architecture Recovery.

Nabor C. Mendonça, Jeff Kramer

Proceedings of the Development and Evolution of Software Architectures for Product Families, 1998

1997

An investigation of the use of world views with shared variables in Time Warp.

Celso Massaki Hirata, Jeff Kramer

Simul. Pract. Theory, 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

Composing distributed objects in CORBA.

Jeff Magee, Andrew Tseng, Jeff Kramer

Proceedings of the Third International Symposium on Autonomous Decentralized Systems, 1997

Distributed Software Architectures (Tutorial).

Jeff Kramer, Jeff Magee

Proceedings of the Pulling Together, 1997

Analysing the behaviour of distributed software architectures: a case study.

Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Verification of Liveness Properties Using Compositional Reachability Analysis.

Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer

Proceedings of the Software Engineering, 1997

A Quality-Based Analysis of Architecture Recovery Environments.

Nabor C. Mendonça, Jeff Kramer

Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 1997

Exposing the Skeleton in the Coordination Closet.

Jeff Kramer, Jeff Magee

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

Supporting Interoperability of Autonomous Hospital Databases: A Case Study.

Andrea Zisman, Jeff Kramer

Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), 1997

1996

Context Constraints for Compositional Reachability Analysis.

Shing-Chi Cheung, Jeff Kramer

ACM Trans. Softw. Eng. Methodol., 1996

Succeedings of the 8th international workshop on software specification and design.

Jeff Kramer, Alexander L. Wolf

ACM SIGSOFT Softw. Eng. Notes, 1996

Method engineering for multi-perspective software development.

Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer

Inf. Softw. Technol., 1996

A CASE Tool for Software Architecture Design.

Keng Ng, Jeff Kramer, Jeff Magee

Autom. Softw. Eng., 1996

Requirements for an effective architecture recovery framework.

Nabor C. Mendonça, Jeff Kramer

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Self organising software architectures.

Jeff Magee, Jeff Kramer

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Dynamic Structure in Software Architectures.

Jeff Magee, Jeff Kramer

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

Checking Subsystem Safety Properties in Compositional Reachability Analysis.

Shing-Chi Cheung, Jeff Kramer

Proceedings of the 18th International Conference on Software Engineering, 1996

Maintaining node consistency in the face of dynamic change.

Kaveh M. Moazami-Goudarzi, Jeff Kramer

Proceedings of the Third International Conference on Configurable Distributed Systems, 1996

1995

Contextual Local Analysis in the Design of Distributed Systems.

Shing-Chi Cheung, Jeff Kramer

Autom. Softw. Eng., 1995

Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints.

Shing-Chi Cheung, Jeff Kramer

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Configuration management for distributed software services.

Steve Crane, Naranker Dulay, Halldor Fosså, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle

Proceedings of the Integrated Network Management IV, 1995

Decentralised Process Enactment in a Multi-Perspective Development Environment.

Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh

Proceedings of the 17th International Conference on Software Engineering, 1995

The Software Architect's Assistant-a visual environment for distributed programming.

Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Decentralised Process Modelling.

Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein, Ulf Leonhardt

Proceedings of the Software Process Technology, 4th European Workshop, 1995

Specifying Distributed Software Architectures.

Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer

Proceedings of the 5th European Software Engineering Conference, 1995

An implementation of a technique for sharing variables in Time Warp.

Celso Massaki Hirata, Jeff Kramer

Proceedings of the Proceedings 28st Annual Simulation Symposium (SS '95), 1995

1994

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification.

Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein

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

Tractable Dataflow Analysis for Distributed Systems.

Shing-Chi Cheung, Jeff Kramer

IEEE Trans. Software Eng., 1994

Regis: a constructive development environment for distributed programs.

Jeff Magee, Naranker Dulay, Jeff Kramer

Distributed Syst. Eng., 1994

Exoskeletal Software.

Jeff Kramer

Proceedings of the 16th International Conference on Software Engineering, 1994

Distributed Software Engineering.

Jeff Kramer

Proceedings of the 16th International Conference on Software Engineering, 1994

An Integrated Method for Effective Behaviour Analysis of Distributed Systems.

Shing-Chi Cheung, Jeff Kramer

Proceedings of the 16th International Conference on Software Engineering, 1994

Providing High Performance Distributed Computing Through Scalable Computation Servers.

Orly Kremien, Jeff Kramer

Proceedings of the Third International Symposium on High Performance Distributed Computing, 1994

Modelling Darwin in the Pi-Caculus.

Jeff Magee, Susan Eisenbach, Jeff Kramer

Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

A constructive development environment for parallel and distributed programs.

Jeff N. Magee, Naranker Dulay, Jeff Kramer

Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

REGIS-DARWIN specified in the π-calculus.

Susan Eisenbach, Jeff Kramer, Jeff N. Magee

Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

1993

Scalable, adaptive load sharing for distributed systems.

Orly Kremien, Jeff Kramer, Jeff Magee

IEEE Parallel Distributed Technol. Syst. Appl., 1993

Structuring parallel and distributed programs.

Jeff Magee, Naranker Dulay, Jeff Kramer

Softw. Eng. J., 1993

An Integrated Engineering Study Scheme in Computing.

Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach

Comput. J., 1993

Enhancing Compositional Reachability Analysis with Context Constraints.

Shing-Chi Cheung, Jeff Kramer

Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

Should we specify systems or domain?

D. Partridge, David Garlan, David R. Barstow, Jeff Kramer

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Fine-Grain Process Modelling.

Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Expressing the Relationships Between Multiple Views in Requirements Specification.

Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein

Proceedings of the 15th International Conference on Software Engineering, 1993

Method Integration and Support for Distributed Software Development: An Overview.

Jeff Kramer, Anthony Finkelstein, Bashar Nuseibeh

Proceedings of the Studies of Software Design, 1993

Inconsistency Handling in Multi-Perspective Specifications.

Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh

Proceedings of the Software Engineering, 1993

Tractable Flow Analysis for Anomaly Detection in Distributed Programs.

Shing-Chi Cheung, Jeff Kramer

Proceedings of the Software Engineering, 1993

1992

Methodical Analysis of Adaptive Load Sharing Algorithms.

Orly Kremien, Jeff Kramer

IEEE Trans. Parallel Distributed Syst., 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

Configuring object-based distributed programs in REX.

Jeff Kramer, Jeff Magee, Morris Sloman, Naranker Dulay

Softw. Eng. J., 1992

Configuring distributed systems.

Jeff Kramer, Jeff Magee, Morris Sloman

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

Flexible load-sharing in configurable distributed systems.

Orly Kremien, Jeff Kramer

Proceedings of the First International Workshop on Configurable Distributed Systems, 1992

1991

A Configurable Framework for Method and Tool Integration.

Jeff Kramer, Anthony Finkelstein

Proceedings of the Software Development Environments and CASE Technology, 1991

CASE Support for the Software Process: A Research Viewpoint.

Jeff Kramer

Proceedings of the ESEC '91, 1991

1990

The Evolving Philosophers Problem: Dynamic Change Management.

Jeff Kramer, Jeff Magee

IEEE Trans. Software Eng., 1990

A Constructive Approach to the Design of Distributed Systems.

Jeff Kramer, Jeff Magee, Anthony Finkelstein

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989

Constructing Distributed Systems in Conic.

Jeff Magee, Jeff Kramer, Morris Sloman

IEEE Trans. Software Eng., 1989

Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics.

Jeff Kramer, Jeff Magee, Keng Ng

Computer, 1989

Configuration support for system description, construction and evolution.

Jeff Kramer, Jeff Magee, Morris Sloman

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering.

Anthony Finkelstein, Michael Goedicke, Jeff Kramer, Celso Niskier

Proceedings of the Algebraic Methods II: Theory, 1989

Verteilte Systeme und Rechnernetze.

Morris Sloman, Jeff Kramer

Hanser Studienbücher, Hanser, ISBN: 978-3-446-15346-2, 1989

1988

Animation of Requirements Specifications.

Jeff Kramer, Nr Keng

Softw. Pract. Exp., 1988

A distributed file server for embedded applications.

Animesh Mukherjee, Jeff Kramer, Jeff Magee

Softw. Eng. J., 1988

Tool support for requirements analysis.

Jeff Kramer, Keng Ng, Colin Potts, Ken Whitehead

Softw. Eng. J., 1988

Change management of distributed systems.

Jeff Kramer, Jeff Magee

Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

1987

Distributed System Construction: Experience with the Conic Toolkit.

Naranker Dulay, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle

Proceedings of the Experiences with Distributed Systems, 1987

Distributed systems and computer networks.

Morris Sloman, Jeff Kramer

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-215849-7, 1987

1985

Dynamic Configuration for Distributed Systems.

Jeff Kramer, Jeff Magee

IEEE Trans. Software Eng., 1985

1984

A software architecture for distributed computer control systems.

Jeff Kramer, Jeff Magee, Morris Sloman

Autom., 1984

Environment requirements for system evolution.

Jeff Kramer, Jeff Magee

Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

1982

Invariants in the application-oriented specification of control systems.

Stephen J. Goldsack, Jeff Kramer

Autom., 1982

Distributed computer systems: two views.

Jeff Kramer

Proceedings of the Specification and Design of Software Systems, 1982

1981

Intertask Communication Primitives for Distributed Computer Control Systems.

Jeff Kramer, Jeff Magee, Morris Sloman

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1979

Invariants for Specifications.

Jeff Kramer, Jim Cunningham

Proceedings of the 4th International Conference on Software Engineering, 1979

1978

An Exercise in Program Design Using SIMULA Class Invariants.

Jim Cunningham, Jeff Kramer

Softw. Pract. Exp., 1978