| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
Learning from Vacuously Satisfiable Scenario-Based Specifications.  |
FASE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Kramer, Abraham Kandel |
On accurate localization and uncertain sensors. |
Int. J. Intell. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
An Inductive Approach for Modal Transition System Refinement. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Sykes, Jeff Magee, Jeff Kramer |
FlashMob: distributed adaptive self-assembly. |
SEAMS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew McVeigh, Jeff Kramer, Jeff Magee |
Evolve: tool support for architecture evolution. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Kramer, Abraham Kandel |
Robust Small Robot Localization From Highly Uncertain Sensors. |
IEEE Transactions on Systems, Man, and Cybernetics, Part C |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer |
Editorial: A New Editor in Chief and the State of the Journal. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee |
Translating FSP into LOTOS and networks of automata. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
Deriving non-Zeno behaviour models from goal models using ILP. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
An Integrated Workbench for Model-Based Engineering of Service Compositions. |
IEEE T. Services Computing |
2010 |
DBLP DOI BibTeX RDF |
Service-oriented architecture, validation, analysis, services models, composite services, Web services modeling |
| 1 | Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer |
Exploiting non-functional preferences in architectural adaptation for self-managed systems. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
software architecture, dynamic reconfiguration, self-adaptive, autonomous systems, non-functional properties |
| 1 | Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel (eds.) |
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010 |
ICSE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel (eds.) |
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010 |
ICSE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jeff Kramer |
Editorial: New Associate Editors Introduction. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, Jeff Magee |
A Rigorous Architectural Approach to Adaptive Software Engineering. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
software architecture, adaptive systems, autonomic systems, self-managed systems |
| 1 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle |
Software Engineering for Self-Adaptive Systems: A Research Roadmap. |
Software Engineering for Self-Adaptive Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | William Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer |
A Case Study in Goal-Driven Architectural Adaptation. |
Software Engineering for Self-Adaptive Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandra González Beltrán, Anthony Finkelstein, J. Max Wilkinson, Jeff Kramer |
Domain concept-based queries for cancer research data sources. |
CBMS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
Learning operational requirements from goal models. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça |
Towards accurate probabilistic models using state refinement. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
refinement, accuracy, probabilistic model checking, behaviour model |
| 1 | Jeffrey Kramer |
Abstraction and Modelling: A Complementary Partnership. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer |
Editorial: New Associate Editor Introduction. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer |
State of the Journal Address. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Deriving event-based transition systems from goal-oriented requirements models. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Requirements animation, Requirements analysis, Labelled transition systems, Goal-oriented requirements engineering, Method integration |
| 1 | Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf |
Determining the Impact of Software Engineering Research on Practice. |
IEEE Computer |
2008 |
DBLP DOI BibTeX RDF |
software engineering research, Impact Project |
| 1 | Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel |
Towards Faithful Model Extraction Based on Contexts. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer |
Abstraction and Modelling - A Complementary Partnership. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Orit Hazzan, Jeff Kramer |
The role of abstraction in software engineering. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
organizational learning., management, abstraction, cognition, software engineering processes |
| 1 | Jeff Kramer |
Editorial: State of the Journal. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer |
Is abstraction the key to computing? |
Commun. ACM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. |
Test and Analysis of Web Services |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Towards Self-management in Service-Oriented Computing with Modes. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee |
Translating FSP into LOTOS and Networks of Automata. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer |
Detecting Implied Scenarios from Execution Traces. |
WCRE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, Jeff Magee |
Self-Managed Systems: an Architectural Challenge. |
FOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel |
Model checking service compositions under resource constraints. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
web services, validation, BPEL4WS, resource modelling |
| 1 | Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer |
Plan-directed architectural change for autonomous systems. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
software architecture, dynamic reconfiguration, self-adaptive, autonomous systems, self-healing |
| 1 | Jeff Kramer |
Editorial: New Associate Editors Introduction. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer |
Editorial: A Message from the New Editor-in-Chief. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer |
Editorial: New Associate Editors Introduction. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel |
Preface. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
Goal and scenario validation: a fluent combination. |
Requir. Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, Orit Hazzan |
The Role of Abstraction in Software Engineering. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Jeff Kramer |
Concurrency - state models and Java programs (2. ed.). |
|
2006 |
RDF |
|
| 1 | Jeff Kramer |
Component-Based Modeling, Analysis and Animation. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Model-Based Analysis of Obligations in Web Service Choreography. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer |
Synthesizing Concurrency Control Components from Process Algebraic Specifications. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Modes for Software Architectures. |
EWSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel |
Model Extraction Using Context Information. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer |
Distributed Software Engineering: a Rigorous Architectural Approach. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
LTSA-WS: a tool for model-based verification of web service compositions and choreography. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
model-checking, web service compositions, choreography, BPEL4WS, WS-CDL |
| 1 | Jeff Kramer, Orit Hazzan |
The role of abstraction in software engineering. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
management, abstraction, cognition, organizational learning, software engineering processes |
| 1 | Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu |
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. |
IEEE SCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Leveraging Eclipse for integrated model-based engineering of web service compositions. |
ETX |
2005 |
DBLP DOI BibTeX RDF |
web service choreography, web service composition and orchestration, model checking, verification, standards, validation, implementation, service design, Eclipse plug-in |
| 1 | Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Fluent-based web animation: exploring goals for requirements validation. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
modelling, design, animation, validation, requirements |
| 1 | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Monitoring and control in scenario-based requirements analysis. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
implied scenarios, scenario-based requirements elaboration, message sequence charts |
| 1 | Jeff Kramer, Jeff Magee |
Engineering distributed software: a structural discipline. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
configuration programming, software architecture, evolution, software components, structure, dynamic configuration, distributed software engineering |
| 1 | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Fluent temporal logic for discrete-time event-based models. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
discrete-time event-based models, fluent linear temporal logic, model-checking, software architecture analysis |
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Tool Support for Model-Based Engineering of Web Service Compositions. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. |
ACM Trans. Softw. Eng. Methodol. |
2004 |
DBLP DOI BibTeX RDF |
implied scenarios, negative scenarios, MSC, LTSA |
| 1 | Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Predictable Dynamic Plugin Systems. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Jeff Kramer, Alexander L. Wolf (eds.) |
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004 |
WOSS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Jeff Kramer |
Model-Based Design of Concurrent Programs. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
System architecture: the context for scenario-based model synthesis. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
architecture, synthesis, generalisation, MSCs |
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Compatibility Verification for Web Service Choreography. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Synthesis of Behavioral Models from Scenarios. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
scenario-based specification, sequence chart combination, requirements analysis, Requirements specification, Message Sequence Charts |
| 1 | Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
Combining abductive reasoning and inductive learning to evolve requirements specifications. |
IEE Proceedings - Software |
2003 |
DBLP BibTeX RDF |
|
| 1 | Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Visual methods for web application design. |
HCC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Model-based Verification of Web Service Compositions. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Software Architecture Modeling & Analysis: A Rigorous Approach. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein |
ViewPoints: meaningful relationships are difficult! (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Model-based Simulation of Web Applications for Usability Assessment. |
ICSE Workshop on SE-HCI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Behaviour model elaboration using partial labelled transition systems. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
model elaboration, partial LTS, synthesis, scenarios |
| 1 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Implied Scenario Detection in the Presence of Behaviour Constraints. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Russo, Rob Miller 0002, Bashar Nuseibeh, Jeff Kramer |
An Abductive Approach for Analysing Event-Based Requirements Specifications. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Jeff Kramer, Alexander L. Wolf (eds.) |
Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002 |
WOSS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ioannis Georgiadis, Jeff Magee, Jeff Kramer |
Self-organising software architectures for distributed systems. |
WOSS |
2002 |
DBLP DOI BibTeX RDF |
software architecture, constraints, self-configuring |
| 1 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Negative scenarios for implied scenario elicitation. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
implied scenarios, negative scenarios, MSC |
| 1 | Jeff Kramer, David Garlan, David S. Rosenblum |
Guest Editors' Introduction: 1999 International Conference on Software Engineering. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nabor C. Mendonça, Jeff Kramer |
An Approach for Recovering Distributed System Architectures. |
Autom. Softw. Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer |
Making Meaningful Models for Mere Mortal. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
An Analysis-Revision Cycle to Evolve Requirements Specifications. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaelson Castro, Jeff Kramer |
From Software Requirements to Architectures. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Jeff Kramer |
A Workbench for Synthesising Behaviour Models from Scenarios. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Detecting implied scenarios in message sequence chart specifications. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
FSP, implementability, synthesis, labelled transition systems, message sequence charts, LTSA |
| 1 | Rob C. van Ommering, Frank van der Linden, Jeff Kramer, Jeff Magee |
The Koala Component Model for Consumer Electronics Software. |
IEEE Computer |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander |
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. |
IWSSD |
2000 |
DBLP BibTeX RDF |
Graphic Animation, Labeled Transition System, Air Traffic Control, Hybrid Models |
| 1 | Anthony Finkelstein, Jeff Kramer |
Software engineering: a roadmap. |
ICSE - Future of SE Track |
2000 |
DBLP DOI BibTeX RDF |
software engineering, research, strategy, future, discipline |
| 1 | Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller |
Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer |
Graphical animation of behavior models. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
behvior analysis, graphic animation, labeled transition system |
| 1 | Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf |
The impact project: determining the impact of software engineering research upon practice (panel session). |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Zisman, Jeff Kramer |
An approach to interoperation between autonomous database systems. |
Distributed Systems Engineering |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung |
Behaviour Analysis of Distributed Systems Using the Tracta Approach. |
Autom. Softw. Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
Restructuring requirement specifications. |
IEE Proceedings - Software |
1999 |
DBLP BibTeX RDF |
|
| 1 | Shing-Chi Cheung, Jeff Kramer |
Checking Safety Properties Using Compositional Reachability Analysis. |
ACM Trans. Softw. Eng. Methodol. |
1999 |
DBLP DOI BibTeX RDF |
compositional reachability analysis, distributed systems, model checking, static analysis, safety properties |
| 1 | Jeff Magee, Jeff Kramer |
Concurrency - state models and Java programs. |
|
1999 |
RDF |
|
| 1 | Jeff Kramer, Jeff Magee |
Modelling for Mere Mortals. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")