Jeff Kramer

222 papers A* 28A 16B 10C 4Misc 1Journal 69Unranked 83
YearRankTypeTitle / Venue / Authors
2025 J jnl
Dynamic Change Management: Quiescence Revisited.
IEEE Trans. Software Eng.
Jeff Kramer, Jeff Magee
2025 J jnl
Reflections of a Former Editor-in-Chief of TSE.
IEEE Trans. Software Eng.
Jeff Kramer
2023 A conf
Adapting Specifications for Reactive Controllers.
SEAMS
Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel
2023 J jnl
Finding Failure-Inducing Test Cases with ChatGPT.
CoRR
Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer
2023 A* conf
Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting.
ASE
Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer
2022 J jnl
Assured automatic dynamic reconfiguration of business processes.
Inf. Syst.
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
2020 J jnl
Dynamic Update of Discrete Event Controllers.
IEEE Trans. Software Eng.
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
2020 A conf
RE @ runtime : the challenge of change RE'20 Conference Keynote.
RE
Jeff Kramer
2019 A conf
Dynamic Reconfiguration of Business Processes.
BPM
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel
2017 J jnl
Using contexts to extract models from code.
Softw. Syst. Model.
Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
2016 J jnl
Assessing abstraction skills.
Commun. ACM
Orit Hazzan, Jeff Kramer
2016 — conf
Assured and correct dynamic update of controllers.
SEAMS@ICSE
Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel
2016 — conf
Logic-based learning in software engineering.
ICSE (Companion Volume)
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
2016 A* conf
Risk-driven revision of requirements models.
ICSE
Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2015 — conf
Adventures in Adaptation: A Software Engineering Playground!
SEAMS@ICSE
Jeff Kramer
2015 J jnl
Automated support for diagnosis and repair.
Commun. ACM
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2015 J jnl
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation.
CoRR
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
2015 — conf
MORPH: a reference architecture for configuration and behaviour self-adaptation.
CTSE@SIGSOFT FSE
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
2015 B conf
On re-assembling self-managed components.
IM
Pedro Rodrigues, Jeff Kramer, Emil C. Lupu
2014 A* conf
Hope for the best, prepare for the worst: multi-tier control for adaptive systems.
ICSE
Nicolás D'Ippolito, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel
2014 — conf
LTSA-PCA: tool support for compositional reliability analysis.
ICSE Companion
Pedro Rodrigues, Emil Lupu, Jeff Kramer
2013 — conf
An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation.
Software Engineering for Self-Adaptive Systems
Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel
2013 J jnl
Elaborating Requirements Using Model Checking and Inductive Learning.
IEEE Trans. Software Eng.
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2013 A* conf
Learning revised models for planning in adaptive systems.
ICSE
Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue
2013 J jnl
Supporting incremental behaviour model elaboration.
Comput. Sci. Res. Dev.
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
2013 J jnl
Synthesizing Modal Transition Systems from Triggered Scenarios.
IEEE Trans. Software Eng.
German E. Sibay, Víctor A. Braberman, Sebastián Uchitel, Jeff Kramer
2012 B conf
Distribution of Modal Transition Systems.
FM
German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer
2012 A* conf
Generating obstacle conditions for requirements completeness.
ICSE
Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel
2012 B conf
Learning from Vacuously Satisfiable Scenario-Based Specifications.
FASE
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2012 A* conf
Whither software architecture? (Keynote).
ICSE
Jeff Kramer
2011 — conf
An Inductive Approach for Modal Transition System Refinement.
ICLP (Technical Communications)
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2011 A* conf
Evolve: tool support for architecture evolution.
ICSE
Andrew McVeigh, Jeff Kramer, Jeff Magee
2011 A conf
FlashMob: distributed adaptive self-assembly.
SEAMS
Daniel Sykes, Jeff Magee, Jeff Kramer
2011 B conf
Integrating Model Checking and Inductive Logic Programming.
ILP
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer
2010 J jnl
An Integrated Workbench for Model-Based Engineering of Service Compositions.
IEEE Trans. Serv. Comput.
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2010 J jnl
Deriving non-Zeno behaviour models from goal models using ILP.
Formal Aspects Comput.
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2010 J jnl
Editorial: A New Editor in Chief and the State of the Journal.
IEEE Trans. Software Eng.
Jeff Kramer
2010 Misc conf
Exploiting non-functional preferences in architectural adaptation for self-managed systems.
SAC
Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
2010 — ed.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010
ICSE (1)
Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel
2010 — ed.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010
ICSE (2)
Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel
2010 — conf
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.
Software Engineering for Self-Adaptive Systems
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
2010 — conf
Software Engineering for Self-Adaptive Systems: A second Research Roadmap.
Software Engineering for Self-Adaptive Systems
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
2010 J jnl
Translating FSP into LOTOS and networks of automata.
Formal Aspects Comput.
Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee
2009 — conf
A Case Study in Goal-Driven Architectural Adaptation.
Software Engineering for Self-Adaptive Systems
William Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer
2009 J jnl
A Rigorous Architectural Approach to Adaptive Software Engineering.
J. Comput. Sci. Technol.
Jeff Kramer, Jeff Magee
2009 B conf
Domain concept-based queries for cancer research data sources.
CBMS
Alejandra N. González-Beltrán, Anthony Finkelstein, J. Max Wilkinson, Jeff Kramer
2009 J jnl
Editorial: New Associate Editors Introduction.
IEEE Trans. Software Eng.
Jeff Kramer
2009 A* conf
Learning operational requirements from goal models.
ICSE
Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2009 — conf
Software Engineering for Self-Adaptive Systems: A Research Roadmap.
Software Engineering for Self-Adaptive Systems
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
2009 — conf
Towards accurate probabilistic models using state refinement.
ESEC/SIGSOFT FSE
Paulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça
2008 A conf
Abstraction and Modelling - A Complementary Partnership.
MoDELS
Jeff Kramer
2008 J jnl
Deriving event-based transition systems from goal-oriented requirements models.
Autom. Softw. Eng.
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2008 J jnl
Determining the Impact of Software Engineering Research on Practice.
Computer
Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf
2008 J jnl
Editorial: New Associate Editor Introduction.
IEEE Trans. Software Eng.
Jeff Kramer
2008 A conf
From goals to components: a combined approach to self-management.
SEAMS
Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
2008 — conf
Leveraging Modes and UML2 for Service Brokering Specifications.
MDWE@MoDELS
Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
2008 — ed.
Proceedings of the 2nd International Workshop on the Role of Abstraction in Software Engineering, ROA '08, Leipzig, Germany, May 11, 2008
ROA@ICSE
Orit Hazzan, Jeff Kramer
2008 J jnl
State of the Journal Address.
IEEE Trans. Software Eng.
Jeff Kramer
2008 — conf
The role of abstraction in software engineering.
ICSE Companion
Orit Hazzan, Jeff Kramer
2008 B conf
Towards Faithful Model Extraction Based on Contexts.
FASE
Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
2007 — conf
Detecting Implied Scenarios from Execution Traces.
WCRE
Felipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer
2007 J jnl
Editorial: State of the Journal.
IEEE Trans. Software Eng.
Jeff Kramer
2007 J jnl
Is abstraction the key to computing?
Commun. ACM
Jeff Kramer
2007 — conf
Model checking service compositions under resource constraints.
ESEC/SIGSOFT FSE
Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel
2007 — conf
Plan-directed architectural change for autonomous systems.
SAVCBS
Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer
2007 — conf
Self-Managed Systems: an Architectural Challenge.
FOSE
Jeff Kramer, Jeff Magee
2007 — conf
Towards Self-management in Service-Oriented Computing with Modes.
ICSOC Workshops
Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee
2007 B conf
Translating FSP into LOTOS and Networks of Automata.
IFM
Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee
2007 — ch.
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.
Test and Analysis of Web Services
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2006 B conf
Component-Based Modeling, Analysis and Animation.
CCGRID
Jeff Kramer
2006 — book
Concurrency - state models and Java programs (2. ed.).
Jeff Magee, Jeff Kramer
2006 — conf
Distributed Software Engineering: a Rigorous Architectural Approach.
QSIC
Jeff Kramer
2006 J jnl
Editorial: A Message from the New Editor-in-Chief.
IEEE Trans. Software Eng.
Jeff Kramer
2006 J jnl
Editorial: New Associate Editors Introduction.
IEEE Trans. Software Eng.
Jeff Kramer
2006 J jnl
Editorial: New Associate Editors Introduction.
IEEE Trans. Software Eng.
Jeff Kramer
2006 J jnl
Goal and scenario validation: a fluent combination.
Requir. Eng.
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2006 A* conf
LTSA-WS: a tool for model-based verification of web service compositions and choreography.
ICSE
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2006 A conf
Model Extraction Using Context Information.
MoDELS
Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
2006 — conf
Model-Based Analysis of Obligations in Web Service Choreography.
AICT/ICIW
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2006 — conf
Modes for Software Architectures.
EWSA
Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2006 J jnl
Preface.
Sci. Comput. Program.
Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel
2006 — ed.
Proceedings of the 2006 International Workshop on Role of Abstraction in Software Engineering, ROA '06, Shanghai, China, May 21, 2006
ROA@ICSE
Jeff Kramer, Orit Hazzan
2006 C conf
Synthesizing Concurrency Control Components from Process Algebraic Specifications.
COORDINATION
Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer
2006 J jnl
The Role of Abstraction in Software Engineering.
ACM SIGSOFT Softw. Eng. Notes
Jeff Kramer, Orit Hazzan
2006 A* conf
The role of abstraction in software engineering.
ICSE
Jeff Kramer, Orit Hazzan
2006 — conf
The role of abstraction in software engineering.
ROA@ICSE
Jeff Kramer, Orit Hazzan
2006 — conf
Using resemblance to support component reuse and evolution.
SAVCBS@FSE
Andrew McVeigh, Jeff Kramer, Jeff Magee
2005 J jnl
Editorial.
ACM Trans. Softw. Eng. Methodol.
Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf
2005 — conf
Engineering distributed software: a structural discipline.
ESEC/SIGSOFT FSE
Jeff Kramer, Jeff Magee
2005 — conf
Fluent temporal logic for discrete-time event-based models.
ESEC/SIGSOFT FSE
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2005 A* conf
Fluent-based web animation: exploring goals for requirements validation.
ICSE
Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee
2005 — conf
Leveraging Eclipse for integrated model-based engineering of web service compositions.
eTX
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2005 A* conf
Monitoring and control in scenario-based requirements analysis.
ICSE
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2005 A conf
Tool Support for Model-Based Engineering of Web Service Compositions.
ICWS
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2005 — conf
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study.
IEEE SCC
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu
2004 A conf
Compatibility Verification for Web Service Choreography.
ICWS
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2004 A conf
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation.
RE
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2004 J jnl
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios.
ACM Trans. Softw. Eng. Methodol.
Sebastián Uchitel, Jeff Kramer, Jeff Magee
2004 — conf
Model-Based Design of Concurrent Programs.
25 Years Communicating Sequential Processes
Jeff Magee, Jeff Kramer
2004 B conf
Predictable Dynamic Plugin Systems.
FASE
Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2004 — ed.
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004
WOSS
David Garlan, Jeff Kramer, Alexander L. Wolf
2004 — conf
System architecture: the context for scenario-based model synthesis.
SIGSOFT FSE
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2003 — conf
Behaviour model elaboration using partial labelled transition systems.
ESEC / SIGSOFT FSE
Sebastián Uchitel, Jeff Kramer, Jeff Magee
2003 J jnl
Combining abductive reasoning and inductive learning to evolve requirements specifications.
IEE Proc. Softw.
Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
2003 A conf
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.
TACAS
Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
2003 — conf
Model-based Simulation of Web Applications for Usability Assessment.
ICSE Workshop on SE-HCI
Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2003 A* conf
Model-based Verification of Web Service Compositions.
ASE
Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
2003 — conf
Software Architecture Modeling & Analysis: A Rigorous Approach.
SFM
Jeff Kramer, Jeff Magee, Sebastián Uchitel
2003 J jnl
Synthesis of Behavioral Models from Scenarios.
IEEE Trans. Software Eng.
Sebastián Uchitel, Jeff Kramer, Jeff Magee
2003 A* conf
ViewPoints: meaningful relationships are difficult!
ICSE
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
2003 — conf
Visual methods for web application design.
HCC
Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel
2002 B conf
An Abductive Approach for Analysing Event-Based Requirements Specifications.
ICLP
Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer
2002 — conf
Implied Scenario Detection in the Presence of Behaviour Constraints.
VISS@ETAPS
Sebastián Uchitel, Jeff Kramer, Jeff Magee
2002 — conf
Negative scenarios for implied scenario elicitation.
SIGSOFT FSE
Sebastián Uchitel, Jeff Kramer, Jeff Magee
2002 — ed.
Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002
WOSS
David Garlan, Jeff Kramer, Alexander L. Wolf
2002 — conf
Self-organising software architectures for distributed systems.
WOSS
Ioannis Georgiadis, Jeff Magee, Jeff Kramer
2001 A* conf
A Workbench for Synthesising Behaviour Models from Scenarios.
ICSE
Sebastián Uchitel, Jeff Kramer
2001 A* conf
An Analysis-Revision Cycle to Evolve Requirements Specifications.
ASE
Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
2001 J jnl
An Approach for Recovering Distributed System Architectures.
Autom. Softw. Eng.
Nabor C. Mendonça, Jeff Kramer
2001 — conf
Detecting implied scenarios in message sequence chart specifications.
ESEC / SIGSOFT FSE
Sebastián Uchitel, Jeff Kramer, Jeff Magee
2001 A* conf
From Software Requirements to Architectures.
ICSE
Jaelson Castro, Jeff Kramer
2001 J jnl
From software requirements to architectures (STRAW01).
ACM SIGSOFT Softw. Eng. Notes
Jaelson Castro, Jeff Kramer
2001 J jnl
Guest Editors' Introduction: 1999 International Conference on Software Engineering.
IEEE Trans. Software Eng.
Jeff Kramer, David Garlan, David S. Rosenblum
2001 — conf
Making Meaningful Models for Mere Mortal.
ACSD
Jeff Kramer
2000 A* conf
Graphical animation of behavior models.
ICSE
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer
2000 — conf
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation.
IWSSD
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander
2000 — conf
Software engineering: a roadmap.
ICSE - Future of SE Track
Anthony Finkelstein, Jeff Kramer
2000 J jnl
The Koala Component Model for Consumer Electronics Software.
Computer
Rob C. van Ommering, Frank van der Linden, Jeff Kramer, Jeff Magee
2000 — conf
The impact project: determining the impact of software engineering research upon practice (panel session).
SIGSOFT FSE
Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf
2000 A* conf
Why don't we get more (self?) respect: the positive impact of software engineering research upon practice.
ICSE
Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller
1999 J jnl
An approach to interoperation between autonomous database systems.
Distributed Syst. Eng.
Andrea Zisman, Jeff Kramer
1999 J jnl
Behaviour Analysis of Distributed Systems Using the Tracta Approach.
Autom. Softw. Eng.
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung
1999 — conf
Behaviour Analysis of Software Architectures.
WICSA
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
1999 — conf
Checking Progress with Action Priority: Is it Fair?
ESEC / SIGSOFT FSE
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer
1999 J jnl
Checking Safety Properties Using Compositional Reachability Analysis.
ACM Trans. Softw. Eng. Methodol.
Shing-Chi Cheung, Jeff Kramer
1999 — conf
Component Module Classification for Distributed Software Understanding.
ICSM
Nabor C. Mendonça, Jeff Kramer
1999 — book
Concurrency - state models and Java programs.
Jeff Magee, Jeff Kramer
1999 A conf
Modelling for Mere Mortals.
TACAS
Jeff Kramer, Jeff Magee
1999 A* ed.
Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999.
ICSE
Barry W. Boehm, David Garlan, Jeff Kramer
1999 J jnl
Restructuring requirement specifications.
IEE Proc. Softw.
Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
1998 — conf
An Experiment in Distributed Software Architecture Recovery.
ESPRIT ARES Workshop
Nabor C. Mendonça, Jeff Kramer
1998 J jnl
Analysing dynamic change in distributed software architectures.
IEE Proc. Softw.
Jeff Kramer, Jeff Magee
1998 — conf
Analysing dynamic change in software architectures: a case study.
CDS
Jeff Kramer, Jeff Magee
1998 — conf
Architectural Description.
ESPRIT ARES Workshop
Dewayne E. Perry, Jeff Kramer
1998 — conf
Developing an Approach for the Recovery of Distributed Software Architectures.
IWPC
Nabor C. Mendonça, Jeff Kramer
1998 — conf
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study.
ICRE
Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
1998 — conf
Software Architecture Directed Behaviour Analysis.
IWSSD
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
1997 — conf
A Quality-Based Analysis of Architecture Recovery Environments.
CSMR
Nabor C. Mendonça, Jeff Kramer
1997 J jnl
An investigation of the use of world views with shared variables in Time Warp.
Simul. Pract. Theory
Celso Massaki Hirata, Jeff Kramer
1997 — conf
Analysing the behaviour of distributed software architectures: a case study.
FTDCS
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
1997 C conf
Composing distributed objects in CORBA.
ISADS
Jeff Magee, Andrew Tseng, Jeff Kramer
1997 A* conf
Distributed Software Architectures (Tutorial).
ICSE
Jeff Kramer, Jeff Magee
1997 C conf
Exposing the Skeleton in the Coordination Closet.
COORDINATION
Jeff Kramer, Jeff Magee
1997 C conf
Supporting Interoperability of Autonomous Hospital Databases: A Case Study.
ADBIS
Andrea Zisman, Jeff Kramer
1997 — conf
Verification of Liveness Properties Using Compositional Reachability Analysis.
ESEC / SIGSOFT FSE
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer
1996 J jnl
A CASE Tool for Software Architecture Design.
Autom. Softw. Eng.
Keng Ng, Jeff Kramer, Jeff Magee
1996 A* conf
Checking Subsystem Safety Properties in Compositional Reachability Analysis.
ICSE
Shing-Chi Cheung, Jeff Kramer
1996 J jnl
Context Constraints for Compositional Reachability Analysis.
ACM Trans. Softw. Eng. Methodol.
Shing-Chi Cheung, Jeff Kramer
1996 — conf
Dynamic Structure in Software Architectures.
SIGSOFT FSE
Jeff Magee, Jeff Kramer
1996 — conf
Maintaining node consistency in the face of dynamic change.
CDS
Kaveh M. Moazami-Goudarzi, Jeff Kramer
1996 J jnl
Method engineering for multi-perspective software development.
Inf. Softw. Technol.
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
1996 — conf
Requirements for an effective architecture recovery framework.
ISAW/Viewpoints@FSE
Nabor C. Mendonça, Jeff Kramer
1996 — conf
Self organising software architectures.
ISAW/Viewpoints@FSE
Jeff Magee, Jeff Kramer
1996 J jnl
Succeedings of the 8th international workshop on software specification and design.
ACM SIGSOFT Softw. Eng. Notes
Jeff Kramer, Alexander L. Wolf
1995 — conf
An implementation of a technique for sharing variables in Time Warp.
Annual Simulation Symposium
Celso Massaki Hirata, Jeff Kramer
1995 — conf
Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints.
SIGSOFT FSE
Shing-Chi Cheung, Jeff Kramer
1995 — conf
Configuration management for distributed software services.
Integrated Network Management
Steve Crane, Naranker Dulay, Halldor Fosså, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle
1995 J jnl
Contextual Local Analysis in the Design of Distributed Systems.
Autom. Softw. Eng.
Shing-Chi Cheung, Jeff Kramer
1995 A* conf
Decentralised Process Enactment in a Multi-Perspective Development Environment.
ICSE
Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh
1995 — conf
Decentralised Process Modelling.
EWSPT
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein, Ulf Leonhardt
1995 — conf
Specifying Distributed Software Architectures.
ESEC
Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
1995 — conf
The Software Architect's Assistant-a visual environment for distributed programming.
HICSS (2)
Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay
1994 J jnl
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification.
IEEE Trans. Software Eng.
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
1994 — conf
A constructive development environment for parallel and distributed programs.
CDS
Jeff N. Magee, Naranker Dulay, Jeff Kramer
1994 A* conf
An Integrated Method for Effective Behaviour Analysis of Distributed Systems.
ICSE
Shing-Chi Cheung, Jeff Kramer
1994 A* conf
Distributed Software Engineering.
ICSE
Jeff Kramer
1994 A* conf
Exoskeletal Software.
ICSE
Jeff Kramer
1994 J jnl
Inconsistency Handling in Multperspective Specifications.
IEEE Trans. Software Eng.
Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh
1994 — conf
Modelling Darwin in the Pi-Caculus.
Dagstuhl Seminar on Distributed Systems
Jeff Magee, Susan Eisenbach, Jeff Kramer
1994 A conf
Providing High Performance Distributed Computing Through Scalable Computation Servers.
HPDC
Orly Kremien, Jeff Kramer
1994 — conf
REGIS-DARWIN specified in the π-calculus.
CDS
Susan Eisenbach, Jeff Kramer, Jeff N. Magee
1994 J jnl
Regis: a constructive development environment for distributed programs.
Distributed Syst. Eng.
Jeff Magee, Naranker Dulay, Jeff Kramer
1994 J jnl
Tractable Dataflow Analysis for Distributed Systems.
IEEE Trans. Software Eng.
Shing-Chi Cheung, Jeff Kramer
1993 J jnl
An Integrated Engineering Study Scheme in Computing.
Comput. J.
Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach
1993 — conf
Enhancing Compositional Reachability Analysis with Context Constraints.
SIGSOFT FSE
Shing-Chi Cheung, Jeff Kramer
1993 A* conf
Expressing the Relationships Between Multiple Views in Requirements Specification.
ICSE
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
1993 — conf
Fine-Grain Process Modelling.
IWSSD
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
1993 — conf
Inconsistency Handling in Multi-Perspective Specifications.
ESEC
Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh
1993 — conf
Method Integration and Support for Distributed Software Development: An Overview.
ICSE Workshop on Studies of Software Design
Jeff Kramer, Anthony Finkelstein, Bashar Nuseibeh
1993 J jnl
Scalable, adaptive load sharing for distributed systems.
IEEE Parallel Distributed Technol. Syst. Appl.
Orly Kremien, Jeff Kramer, Jeff Magee
1993 A conf
Should we specify systems or domain?
RE
D. Partridge, David Garlan, David R. Barstow, Jeff Kramer
1993 J jnl
Structuring parallel and distributed programs.
Softw. Eng. J.
Jeff Magee, Naranker Dulay, Jeff Kramer
1993 — conf
Tractable Flow Analysis for Anomaly Detection in Distributed Programs.
ESEC
Shing-Chi Cheung, Jeff Kramer
1992 — conf
Configuring distributed systems.
ACM SIGOPS European Workshop
Jeff Kramer, Jeff Magee, Morris Sloman
1992 J jnl
Configuring object-based distributed programs in REX.
Softw. Eng. J.
Jeff Kramer, Jeff Magee, Morris Sloman, Naranker Dulay
1992 — conf
Flexible load-sharing in configurable distributed systems.
CDS
Orly Kremien, Jeff Kramer
1992 J jnl
Methodical Analysis of Adaptive Load Sharing Algorithms.
IEEE Trans. Parallel Distributed Syst.
Orly Kremien, Jeff Kramer
1992 — conf
Structuring parallel and distributed programs.
CDS
Jeff N. Magee, Naranker Dulay, Jeff Kramer
1992 J jnl
Viewpoints: A Framework for Integrating Multiple Perspectives in System Development.
Int. J. Softw. Eng. Knowl. Eng.
Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh, L. Finkelstein, Michael Goedicke
1991 — conf
A Configurable Framework for Method and Tool Integration.
Software Development Environments and CASE Technology
Jeff Kramer, Anthony Finkelstein
1991 — conf
CASE Support for the Software Process: A Research Viewpoint.
ESEC
Jeff Kramer
1990 A conf
A Constructive Approach to the Design of Distributed Systems.
ICDCS
Jeff Kramer, Jeff Magee, Anthony Finkelstein
1990 J jnl
The Evolving Philosophers Problem: Dynamic Change Management.
IEEE Trans. Software Eng.
Jeff Kramer, Jeff Magee
1989 — conf
Configuration support for system description, construction and evolution.
IWSSD
Jeff Kramer, Jeff Magee, Morris Sloman
1989 J jnl
Constructing Distributed Systems in Conic.
IEEE Trans. Software Eng.
Jeff Magee, Jeff Kramer, Morris Sloman
1989 J jnl
Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics.
Computer
Jeff Kramer, Jeff Magee, Keng Ng
1989 — book
Verteilte Systeme und Rechnernetze.
Morris Sloman, Jeff Kramer
1989 — conf
Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering.
Algebraic Methods
Anthony Finkelstein, Michael Goedicke, Jeff Kramer, Celso Niskier
1988 J jnl
A distributed file server for embedded applications.
Softw. Eng. J.
Animesh Mukherjee, Jeff Kramer, Jeff Magee
1988 J jnl
Animation of Requirements Specifications.
Softw. Pract. Exp.
Jeff Kramer, Nr Keng
1988 — conf
Change management of distributed systems.
ACM SIGOPS European Workshop
Jeff Kramer, Jeff Magee
1988 J jnl
Tool support for requirements analysis.
Softw. Eng. J.
Jeff Kramer, Keng Ng, Colin Potts, Ken Whitehead
1987 — conf
Distributed System Construction: Experience with the Conic Toolkit.
Experiences with Distributed Systems
Naranker Dulay, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle
1987 — book
Distributed systems and computer networks.
Morris Sloman, Jeff Kramer
1985 J jnl
Dynamic Configuration for Distributed Systems.
IEEE Trans. Software Eng.
Jeff Kramer, Jeff Magee
1984 J jnl
A software architecture for distributed computer control systems.
Autom.
Jeff Kramer, Jeff Magee, Morris Sloman
1984 — conf
Environment requirements for system evolution.
ISPW
Jeff Kramer, Jeff Magee
1982 — conf
Distributed computer systems: two views.
Conference on Operating Systems
Jeff Kramer
1982 J jnl
Invariants in the application-oriented specification of control systems.
Autom.
Stephen J. Goldsack, Jeff Kramer
1981 A conf
Intertask Communication Primitives for Distributed Computer Control Systems.
ICDCS
Jeff Kramer, Jeff Magee, Morris Sloman
1979 A* conf
Invariants for Specifications.
ICSE
Jeff Kramer, Jim Cunningham
1978 J jnl
An Exercise in Program Design Using SIMULA Class Invariants.
Softw. Pract. Exp.
Jim Cunningham, Jeff Kramer