Graeme Smith

Available identifiers

zbMath Open smith.graemeMaRDI QIDQ202498

List of research outcomes

Publication	Date of Publication	Type
Compositional reasoning for non-multicopy atomic architectures	2024-09-25	Paper
Value-dependent information-flow security on weak memory models	2024-03-14	Paper
An Observational Approach to Defining Linearizability on Weak Memory Models	2022-06-15	Paper
A wide-spectrum language for verification of programs on weak memory models	2021-05-04	Paper
Linearizability on hardware weak memory models	2020-07-27	Paper
A Framework for Correctness Criteria on Weak Memory Models	2019-12-19	Paper
Model Checking Simulation Rules for Linearizability	2018-07-06	Paper
Relating trace refinement and linearizability	2018-01-08	Paper
Refining autonomous agents with declarative beliefs and desires	2017-04-03	Paper
Reasoning Algebraically About Refinement on TSO Architectures	2015-01-13	Paper
A Refinement Framework for Autonomous Agents	2014-07-08	Paper
Model checking downward simulations	2013-12-04	Paper
Property transformation under specification change	2013-07-04	Paper
Temporal-logic property preservation under Z refinement	2013-03-22	Paper
State-bases approaches: from Z to Object-Z	2012-09-05	Paper
Emergence and refinement	2012-07-03	Paper
Model checking action system refinements	2009-05-27	Paper
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems	2009-03-06	Paper
Verifying data refinements using a model checker	2006-11-17	Paper
ZB 2005: Formal Specification and Development in Z and B	2005-11-10	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
Structural refinement of systems specified in Object-Z and CSP	2005-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4737564	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472177	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4471918	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4471913	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4436972	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4436973	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4412485	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4412557	2003-07-15	Paper
An introduction to Real-Time Object-Z.	2002-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4534707	2002-06-06	Paper
Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)	2001-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4494238	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4495073	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4940107	2000-03-02	Paper
A blocking model for reactive objects	1996-07-23	Paper

Research outcomes over time

This page was built for person: Graeme Smith