Jeff Kramer

According to our database1, Jeff Kramer authored at least 205 papers between 1978 and 2017.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2001, "For his research contributions spanning theory and practice in distributed software engineering, including multiple viewpoint requirements analysis, software architectures specification and analysis, and distributed software configuration and evolution.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Using contexts to extract models from code.
Software and System Modeling, 2017

2016
Assessing abstraction skills.
Commun. ACM, 2016

Assured and correct dynamic update of controllers.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Logic-based learning in software engineering.
Proceedings of the 38th International Conference on Software Engineering, 2016

Risk-driven revision of requirements models.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation.
CoRR, 2015

Automated support for diagnosis and repair.
Commun. ACM, 2015

MORPH: a reference architecture for configuration and behaviour self-adaptation.
Proceedings of the 1st International Workshop on Control Theory for Software Engineering, 2015

On re-assembling self-managed components.
Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015

Compositional Reliability Analysis for Probabilistic Component Automata.
Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

Adventures in Adaptation: A Software Engineering Playground!
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.
Proceedings of the 36th International Conference on Software Engineering, 2014

Hope for the best, prepare for the worst: multi-tier control for adaptive systems.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Synthesizing Modal Transition Systems from Triggered Scenarios.
IEEE Trans. Software Eng., 2013

Elaborating Requirements Using Model Checking and Inductive Learning.
IEEE Trans. Software Eng., 2013

Supporting incremental behaviour model elaboration.
Computer Science - R&D, 2013

Learning revised models for planning in adaptive systems.
Proceedings of the 35th International Conference on Software Engineering, 2013

An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012
On accurate localization and uncertain sensors.
Int. J. Intell. Syst., 2012

Whither software architecture? (Keynote).
Proceedings of the 34th International Conference on Software Engineering, 2012

Generating obstacle conditions for requirements completeness.
Proceedings of the 34th International Conference on Software Engineering, 2012

Distribution of Modal Transition Systems.
Proceedings of the FM 2012: Formal Methods, 2012

Learning from Vacuously Satisfiable Scenario-Based Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Robust Small Robot Localization From Highly Uncertain Sensors.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2011

Integrating Model Checking and Inductive Logic Programming.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

FlashMob: distributed adaptive self-assembly.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Evolve: tool support for architecture evolution.
Proceedings of the 33rd International Conference on Software Engineering, 2011

An Inductive Approach for Modal Transition System Refinement.
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.
IEEE Trans. Software Eng., 2010

An Integrated Workbench for Model-Based Engineering of Service Compositions.
IEEE Trans. Services Computing, 2010

Translating FSP into LOTOS and networks of automata.
Formal Asp. Comput., 2010

Deriving non-Zeno behaviour models from goal models using ILP.
Formal Asp. Comput., 2010

Exploiting non-functional preferences in architectural adaptation for self-managed systems.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010



2009
Editorial: New Associate Editors Introduction.
IEEE Trans. Software Eng., 2009

A Rigorous Architectural Approach to Adaptive Software Engineering.
J. Comput. Sci. Technol., 2009

Abstraction and Modelling: A Complementary Partnership.
Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Towards accurate probabilistic models using state refinement.
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.
Proceedings of the 31st International Conference on Software Engineering, 2009

Fuzzy approaches to driven Kalman filtering for small robot localization.
Proceedings of the 14th International Conference on Advanced Robotics, 2009

A Case Study in Goal-Driven Architectural Adaptation.
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009


Domain concept-based queries for cancer research data sources.
Proceedings of the Twenty-Second IEEE International Symposium on Computer-Based Medical Systems, 2009

2008
Editorial: New Associate Editor Introduction.
IEEE Trans. Software Eng., 2008

State of the Journal Address.
IEEE Trans. Software Eng., 2008

Determining the Impact of Software Engineering Research on Practice.
IEEE Computer, 2008

Deriving event-based transition systems from goal-oriented requirements models.
Autom. Softw. Eng., 2008

Abstraction and Modelling - A Complementary Partnership.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Leveraging Modes and UML2 for Service Brokering Specifications.
Proceedings of the 4th International Workshop on Model-Driven Web Engineering, 2008

From goals to components: a combined approach to self-management.
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

The role of abstraction in software engineering.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Towards Faithful Model Extraction Based on Contexts.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
Editorial: State of the Journal.
IEEE Trans. Software Eng., 2007

Is abstraction the key to computing?
Commun. ACM, 2007

Detecting Implied Scenarios from Execution Traces.
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.
Proceedings of the Test and Analysis of Web Services, 2007

Plan-directed architectural change for autonomous systems.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

Model checking service compositions under resource constraints.
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.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Towards Self-management in Service-Oriented Computing with Modes.
Proceedings of the Service-Oriented Computing, 2007

Self-Managed Systems: an Architectural Challenge.
Proceedings of the International Conference on Software Engineering, 2007

2006
Editorial: New Associate Editors Introduction.
IEEE Trans. Software Eng., 2006

Editorial: New Associate Editors Introduction.
IEEE Trans. Software Eng., 2006

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

The Role of Abstraction in Software Engineering.
ACM SIGSOFT Software Engineering Notes, 2006

Preface.
Sci. Comput. Program., 2006

Goal and scenario validation: a fluent combination.
Requir. Eng., 2006

Distributed Software Engineering: a Rigorous Architectural Approach.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Model Extraction Using Context Information.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

The role of abstraction in software engineering.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

LTSA-WS: a tool for model-based verification of web service compositions and choreography.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Modes for Software Architectures.
Proceedings of the Software Architecture, Third European Workshop, 2006

Synthesizing Concurrency Control Components from Process Algebraic Specifications.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Component-Based Modeling, Analysis and Animation.
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.
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.).
Wiley, ISBN: 978-0-470-09355-9, 2006

2005
Editorial.
ACM Trans. Softw. Eng. Methodol., 2005

Fluent temporal logic for discrete-time event-based models.
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.
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.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Monitoring and control in scenario-based requirements analysis.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Fluent-based web animation: exploring goals for requirements validation.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Leveraging Eclipse for integrated model-based engineering of web service compositions.
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study.
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.
ACM Trans. Softw. Eng. Methodol., 2004

System architecture: the context for scenario-based model synthesis.
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.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Compatibility Verification for Web Service Choreography.
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Predictable Dynamic Plugin Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

Model-Based Design of Concurrent Programs.
Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003
Synthesis of Behavioral Models from Scenarios.
IEEE Trans. Software Eng., 2003

Combining abductive reasoning and inductive learning to evolve requirements specifications.
IEE Proceedings - Software, 2003

Visual methods for web application design.
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.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Behaviour model elaboration using partial labelled transition systems.
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.
Proceedings of the Formal Methods for Software Architectures, 2003

Model-based Verification of Web Service Compositions.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering, 2003

Model-based Simulation of Web Applications for Usability Assessment.
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.
Electr. Notes Theor. Comput. Sci., 2002

Self-organising software architectures for distributed systems.
Proceedings of the First Workshop on Self-Healing Systems, 2002

Negative scenarios for implied scenario elicitation.
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

An Abductive Approach for Analysing Event-Based Requirements Specifications.
Proceedings of the Logic Programming, 18th International Conference, 2002

2001
Guest Editors' Introduction: 1999 International Conference on Software Engineering.
IEEE Trans. Software Eng., 2001

From software requirements to architectures (STRAW01).
ACM SIGSOFT Software Engineering Notes, 2001

An Approach for Recovering Distributed System Architectures.
Autom. Softw. Eng., 2001

Detecting implied scenarios in message sequence chart specifications.
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.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

A Workbench for Synthesising Behaviour Models from Scenarios.
Proceedings of the 23rd International Conference on Software Engineering, 2001

From Software Requirements to Architectures.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Making Meaningful Models for Mere Mortal.
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.
IEEE Computer, 2000

The impact project: determining the impact of software engineering research upon practice (panel session).
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation.
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.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Graphical animation of behavior models.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Software engineering: a roadmap.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999
Checking Safety Properties Using Compositional Reachability Analysis.
ACM Trans. Softw. Eng. Methodol., 1999

Restructuring requirement specifications.
IEE Proceedings - Software, 1999

An approach to interoperation between autonomous database systems.
Distributed Systems Engineering, 1999

Behaviour Analysis of Distributed Systems Using the Tracta Approach.
Autom. Softw. Eng., 1999

Behaviour Analysis of Software Architectures.
Proceedings of the Software Architecture, 1999

Modelling for Mere Mortals.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Component Module Classification for Distributed Software Understanding.
Proceedings of the 1999 International Conference on Software Maintenance, 1999

Checking Progress with Action Priority: Is it Fair?
Proceedings of the Software Engineering, 1999

Concurrency - state models and Java programs.
Wiley, ISBN: 978-0-471-98710-9, 1999

1998
Analysing dynamic change in distributed software architectures.
IEE Proceedings - Software, 1998

Developing an Approach for the Recovery of Distributed Software Architectures.
Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998

Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study.
Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

Analysing dynamic change in software architectures: a case study.
Proceedings of the Fourth International Conference on Configurable Distributed Systems, 1998

Session 2: Architectural Description.
Proceedings of the Development and Evolution of Software Architectures for Product Families, 1998

An Experiment in Distributed Software Architecture Recovery.
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.
Simul. Pr. Theory, 1997

Software engineering for parallel and distributed systems.
IEEE Concurrency, 1997

Composing distributed objects in CORBA.
Proceedings of the Third International Symposium on Autonomous Decentralized Systems, 1997

Distributed Software Architectures (Tutorial).
Proceedings of the Pulling Together, 1997

Analysing the behaviour of distributed software architectures: a case study.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Verification of Liveness Properties Using Compositional Reachability Analysis.
Proceedings of the Software Engineering, 1997

A Quality-Based Analysis of Architecture Recovery Environments.
Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 1997

Exposing the Skeleton in the Coordination Closet.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

Supporting Interoperability of Autonomous Hospital Databases: A Case Study.
Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), 1997

1996
Context Constraints for Compositional Reachability Analysis.
ACM Trans. Softw. Eng. Methodol., 1996

Method engineering for multi-perspective software development.
Information & Software Technology, 1996

A CASE Tool for Software Architecture Design.
Autom. Softw. Eng., 1996

Dynamic Structure in Software Architectures.
Proceedings of the SIGSOFT '96, 1996

Checking Subsystem Safety Properties in Compositional Reachability Analysis.
Proceedings of the 18th International Conference on Software Engineering, 1996

Maintaining node consistency in the face of dynamic change.
Proceedings of the Third International Conference on Configurable Distributed Systems, 1996

1995
Contextual Local Analysis in the Design of Distributed Systems.
Autom. Softw. Eng., 1995

Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints.
Proceedings of the SIGSOFT '95, 1995

Configuration management for distributed software services.
Proceedings of the Integrated Network Management IV, 1995

Decentralised Process Enactment in a Multi-Perspective Development Environment.
Proceedings of the 17th International Conference on Software Engineering, 1995

The Software Architect's Assistant-a visual environment for distributed programming.
Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

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

Specifying Distributed Software Architectures.
Proceedings of the 5th European Software Engineering Conference, 1995

An implementation of a technique for sharing variables in Time Warp.
Proceedings of the Proceedings 28st Annual Simulation Symposium (SS '95), 1995

1994
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification.
IEEE Trans. Software Eng., 1994

Inconsistency Handling in Multperspective Specifications.
IEEE Trans. Software Eng., 1994

Tractable Dataflow Analysis for Distributed Systems.
IEEE Trans. Software Eng., 1994

Regis: a constructive development environment for distributed programs.
Distributed Systems Engineering, 1994

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

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

An Integrated Method for Effective Behaviour Analysis of Distributed Systems.
Proceedings of the 16th International Conference on Software Engineering, 1994

Providing High Performance Distributed Computing Through Scalable Computation Servers.
Proceedings of the Third International Symposium on High Performance Distributed Computing, 1994

Modelling Darwin in the Pi-Caculus.
Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

A constructive development environment for parallel and distributed programs.
Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

REGIS-DARWIN specified in the π-calculus.
Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

1993
Scalable, adaptive load sharing for distributed systems.
IEEE P&DT, 1993

Structuring parallel and distributed programs.
Software Engineering Journal, 1993

An Integrated Engineering Study Scheme in Computing.
Comput. J., 1993

Enhancing Compositional Reachability Analysis with Context Constraints.
Proceedings of the SIGSOFT '93, 1993

Should we specify systems or domain?
Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Fine-Grain Process Modelling.
Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Expressing the Relationships Between Multiple Views in Requirements Specification.
Proceedings of the 15th International Conference on Software Engineering, 1993

Method Integration and Support for Distributed Software Development: An Overview.
Proceedings of the Studies of Software Design, 1993

Inconsistency Handling in Multi-Perspective Specifications.
Proceedings of the Software Engineering, 1993

Tractable Flow Analysis for Anomaly Detection in Distributed Programs.
Proceedings of the Software Engineering, 1993

1992
Methodical Analysis of Adaptive Load Sharing Algorithms.
IEEE Trans. Parallel Distrib. Syst., 1992

Viewpoints: A Framework for Integrating Multiple Perspectives in System Development.
International Journal of Software Engineering and Knowledge Engineering, 1992

Configuring object-based distributed programs in REX.
Software Engineering Journal, 1992

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

Structuring parallel and distributed programs.
Proceedings of the First International Workshop on Configurable Distributed Systems, 1992

Flexible load-sharing in configurable distributed systems.
Proceedings of the First International Workshop on Configurable Distributed Systems, 1992

1991
A Configurable Framework for Method and Tool Integration.
Proceedings of the Software Development Environments and CASE Technology, 1991

CASE Support for the Software Process: A Research Viewpoint.
Proceedings of the ESEC '91, 1991

1990
The Evolving Philosophers Problem: Dynamic Change Management.
IEEE Trans. Software Eng., 1990

A Constructive Approach to the Design of Distributed Systems.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989
Constructing Distributed Systems in Conic.
IEEE Trans. Software Eng., 1989

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

Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering.
Proceedings of the Algebraic Methods II: Theory, 1989

Verteilte Systeme und Rechnernetze.
Hanser Studienbücher, Hanser, ISBN: 978-3-446-15346-2, 1989

1988
Animation of Requirements Specifications.
Softw., Pract. Exper., 1988

A distributed file server for embedded applications.
Software Engineering Journal, 1988

Tool support for requirements analysis.
Software Engineering Journal, 1988

Change management of distributed systems.
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.
Proceedings of the Experiences with Distributed Systems, 1987

Distributed systems and computer networks.
Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-215849-7, 1987

1985
Dynamic Configuration for Distributed Systems.
IEEE Trans. Software Eng., 1985

1984
A software architecture for distributed computer control systems.
Automatica, 1984

Environment requirements for system evolution.
Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

1982
Invariants in the application-oriented specification of control systems.
Automatica, 1982

Distributed computer systems: two views.
Proceedings of the Specification and Design of Software Systems, 1982

1981
Intertask Communication Primitives for Distributed Computer Control Systems.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1979
Invariants for Specifications.
Proceedings of the 4th International Conference on Software Engineering, 1979

1978
An Exercise in Program Design Using SIMULA Class Invariants.
Softw., Pract. Exper., 1978


  Loading...