Graeme Smith

Available identifiers

zbMath Open smith.graemeMaRDI QIDQ202498

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2863839	2013-12-04	Paper
Property transformation under specification change	2013-07-04	Paper
Temporal-logic property preservation under Z refinement	2013-03-22	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/Q4471913	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4471918	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Graeme Smith