Graeme Smith

According to our database, Graeme Smith authored at least 97 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Compositional Reasoning for Non-multicopy Atomic Architectures.

Nicholas Coughlin, Kirsten Winter, Graeme Smith

Formal Aspects Comput., June, 2023

A Dafny-based approach to thread-local information flow analysis.

Graeme Smith

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2022

Compositional noninterference on hardware weak memory models.

Nicholas Coughlin, Graeme Smith

Sci. Comput. Program., 2022

Declassification Predicates for Controlled Information Release.

Graeme Smith

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Information-flow control on ARM and POWER multicore processors.

Graeme Smith, Nicholas Coughlin, Toby Murray

Formal Methods Syst. Des., 2021

Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models.

Nicholas Coughlin, Kirsten Winter, Graeme Smith

Proceedings of the Formal Methods - 24th International Symposium, 2021

Backwards-directed information flow analysis for concurrent programs.

Kirsten Winter, Nicholas Coughlin, Graeme Smith

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Linearizability on hardware weak memory models.

Graeme Smith, Kirsten Winter, Robert J. Colvin

Formal Aspects Comput., 2020

Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms.

Nicholas Coughlin, Graeme Smith

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Modelling concurrent objects running on the TSO and ARMv8 memory models.

Kirsten Winter, Graeme Smith, John Derrick

Sci. Comput. Program., 2019

Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors.

Graeme Smith, Lindsay Groves

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Specification with Class: A Brief History of Object-Z.

Graeme Smith, David J. Duke

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Value-Dependent Information-Flow Security on Weak Memory Models.

Graeme Smith, Nicholas Coughlin, Toby Murray

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

A high-level operational semantics for hardware weak memory models.

Robert J. Colvin, Graeme Smith

CoRR, 2018

Correctness of Concurrent Objects under Weak Memory Models.

Graeme Smith, Kirsten Winter, Robert J. Colvin

Proceedings of the Proceedings 18th Refinement Workshop, 2018

A sound and complete definition of linearizability on weak memory models.

Graeme Smith, Kirsten Winter, Robert J. Colvin

CoRR, 2018

Observational Models for Linearizability Checking on Weak Memory Models.

Kirsten Winter, Graeme Smith, John Derrick

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

A Wide-Spectrum Language for Verification of Programs on Weak Memory Models.

Robert J. Colvin, Graeme Smith

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Relating trace refinement and linearizability.

Graeme Smith, Kirsten Winter

Formal Aspects Comput., 2017

Refining autonomous agents with declarative beliefs and desires.

Qin Li, Graeme Smith

Formal Aspects Comput., 2017

Improving the Scalability of Automatic Linearizability Checking in SPIN.

Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan

Proceedings of the Formal Methods and Software Engineering, 2017

An Observational Approach to Defining Linearizability on Weak Memory Models.

John Derrick, Graeme Smith

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

A Proof Method for Linearizability on TSO Architectures.

John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol

Proceedings of the Provably Correct Systems, 2017

2016

Formal development of multi-agent systems using MAZE.

Qin Li, Graeme Smith

Sci. Comput. Program., 2016

Model Checking Simulation Rules for Linearizability.

Graeme Smith

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Invariant generation for linearizability proofs.

Graeme Smith, John Derrick

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

A Framework for Correctness Criteria on Weak Memory Models.

John Derrick, Graeme Smith

Proceedings of the FM 2015: Formal Methods, 2015

Defining Correctness Conditions for Concurrent Objects in Multicore Architectures.

Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage.

Graeme Smith, Jeff W. Sanders, Qin Li

Proceedings of the 38th Australasian Computer Science Conference, 2015

2014

Designing Adaptive Systems Using Teleo-Reactive Agents.

Graeme Smith, Jeff W. Sanders, Kirsten Winter

Trans. Comput. Collect. Intell., 2014

A macro-level model for investigating the effect of directional bias on network coverage.

Graeme Smith, Jeff W. Sanders, Qin Li

CoRR, 2014

A Formal Development Approach for Self-Organising Systems.

Qin Li, Graeme Smith

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Using Z in the Development and Maintenance of Computational Models of Real-World Systems.

Shahrzad Moeiniyan Bagheri, Graeme Smith, Jim Hanan

Proceedings of the Software Engineering and Formal Methods, 2014

Verifying Linearizability on TSO Architectures.

John Derrick, Graeme Smith, Brijesh Dongol

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Reasoning Algebraically About Refinement on TSO Architectures.

Brijesh Dongol, John Derrick, Graeme Smith

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures.

John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol

Proceedings of the Hardware and Software: Verification and Testing, 2014

Admit Your Weakness: Verifying Correctness on TSO Architectures.

Graeme Smith, John Derrick, Brijesh Dongol

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

On Directional Bias for Network Coverage.

Graeme Smith, Jeff W. Sanders, Qin Li

Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014

MAZE: An Extension of Object-Z for Multi-Agent Systems.

Graeme Smith, Qin Li

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

A Refinement Framework for Autonomous Agents.

Qin Li, Graeme Smith

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems.

Qin Li, Graeme Smith

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012

Emergence and refinement.

Jeff W. Sanders, Graeme Smith

Formal Aspects Comput., 2012

Temporal-logic property preservation under Z refinement.

John Derrick, Graeme Smith

Formal Aspects Comput., 2012

Incremental Development of Multi-agent Systems in Object-Z.

Graeme Smith, Kirsten Winter

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Using conventional reasoning techniques for self-organising systems.

Graeme Smith, Jeff W. Sanders

Proceedings of the Tenth Annual International Conference on Privacy, Security and Trust, 2012

Reasoning About Adaptivity of Agents and Multi-agent Systems.

Graeme Smith, Jeffrey W. Sanders, Kirsten Winter

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Property transformation under specification change.

Zheng Fu, Graeme Smith

Frontiers Comput. Sci. China, 2011

Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism.

Graeme Smith, Steffen Helke

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2010

Editorial.

Eerke A. Boiten, Michael J. Butler, John Derrick, Graeme Smith

Formal Aspects Comput., 2010

Assuring Adaptive Behaviour in Self-Organising Systems.

Jeff W. Sanders, Graeme Smith

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Gravity Points in Potential-Field Approaches to Self Organisation.

Aaron Sampson, Graeme Smith

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

An Approach to Formal Verification of Free-Flight Separation.

Sebastian Eder, Graeme Smith

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

2009

Model checking action system refinements.

Graeme Smith, Kirsten Winter

Formal Aspects Comput., 2009

Refining Emergent Properties.

Jeff W. Sanders, Graeme Smith

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Formal Development of Self-organising Systems.

Graeme Smith, Jeffrey W. Sanders

Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009

2008

Formal Ensemble Engineering.

Jeffrey W. Sanders, Graeme Smith

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Refactoring Real-time Specifications.

Graeme Smith, Tim McComb

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

Towards More Flexible Development of Z Specifications.

Zheng Fu, Graeme Smith

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

A Minimal Set of Refactoring Rules for Object-Z.

Tim McComb, Graeme Smith

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Introducing Objects through Refinement.

Tim McComb, Graeme Smith

Proceedings of the FM 2008: Formal Methods, 2008

2007

Using Model Checking to Automatically Find Retrieve Relations.

John Derrick, Graeme Smith

Proceedings of the BCS-FACS Refinement Workshop, 2007

Preface.

Eerke A. Boiten, John Derrick, Graeme Smith

Proceedings of the BCS-FACS Refinement Workshop, 2007

A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems.

Larissa Meinicke, Graeme Smith

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Verifying data refinements using a model checker.

Graeme Smith, John Derrick

Formal Aspects Comput., 2006

Simulation Machines for Checking Action System Refinements.

Graeme Smith, Kirsten Winter

Proceedings of the 11th Refinement Workshop, 2006

Compositional Class Refinement in Object-Z.

Tim McComb, Graeme Smith

Proceedings of the FM 2006: Formal Methods, 2006

2005

Guest Editorial Integrated Formal Methods.

Eerke A. Boiten, John Derrick, Graeme Smith

Formal Aspects Comput., 2005

Model Checking Downward Simulations.

Graeme Smith, John Derrick

Proceedings of the REFINE 2005 Workshop, 2005

Preface.

Judi Romijn, Graeme Smith, Jaco van de Pol

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

Model Checking Z Specifications Using SAL.

Graeme Smith, Luke Wildman

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004

Architectural Design in Object-Z.

Tim McComb, Graeme Smith

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

Linear Temporal Logic and Z Refinement.

John Derrick, Graeme Smith

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Structural Refinement of Systems Specified in Object-Z and CSP.

John Derrick, Graeme Smith

Formal Aspects Comput., 2003

Compositional Verification for Object-Z.

Kirsten Winter, Graeme Smith

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Proving Temporal Properties of Z Specifications Using Abstraction.

Graeme Smith, Kirsten Winter

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Animation of Object-Z Specifications Using a Z Animator.

Tim McComb, Graeme Smith

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2002

An Introduction to Real-Time Object-Z.

Graeme Smith, Ian J. Hayes

Formal Aspects Comput., 2002

Encoding Object-Z in Isabelle/HOL.

Graeme Smith, Florian Kammüller, Thomas Santen

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Abstract Specification in Object-Z and CSP.

Graeme Smith, John Derrick

Proceedings of the Formal Methods and Software Engineering, 2002

2001

Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP.

Graeme Smith, John Derrick

Formal Methods Syst. Des., 2001

Model Checking Object-Z Classes: Some Experiments with FDR.

Geoff Kassel, Graeme Smith

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

Incremental Development of Real-Time Requirements: The Light Control Case Study.

Graeme Smith, Colin J. Fidge

J. Univers. Comput. Sci., 2000

Structuring Real-Time Object-Z Specifications.

Graeme Smith, Ian J. Hayes

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Structural Refinement in Object-Z/CSP.

John Derrick, Graeme Smith

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Stepwise Development from Ideal Specifications.

Graeme Smith

Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

1999

Towards Real-Time Object-Z.

Graeme Smith, Ian J. Hayes

Proceedings of the Integrated Formal Methods, 1999

1997

Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP.

Graeme Smith, John Derrick

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Combining CSP and Object-Z: Finite or Infinite Trace Semantics?

Clemens Fischer, Graeme Smith

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems.

Graeme Smith

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

A Blocking Model for Reactive Objects.

Roger Duke, Cecily Bailes, Graeme Smith

Formal Aspects Comput., 1996

1995

A Fully Abstract Semantics of Classes for Object-Z.

Graeme Smith

Formal Aspects Comput., 1995

1992

An object-oriented approach to formal specification

Graeme Smith

PhD thesis, 1992

1991

Associated Paper: The Object-Z Specification Language.

Roger Duke, Paul King, Gordon A. Rose, Graeme Smith

Proceedings of the TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, 1991

1990

Formalisation of behavioural and structural concepts for communication systems.

Paul King, Graeme Smith

Proceedings of the Protocol Specification, 1990

Transferring Formal Techniques to Industry.

Roger Duke, Gordon A. Rose, Graeme Smith

Proceedings of the Formal Description Techniques, 1990

1989

Temporal Logic and Z Specifications.

Roger Duke, Graeme Smith

Aust. Comput. J., 1989

Object-Z: An Object-Oriented Extension to Z.

David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith

Proceedings of the Formal Description Techniques, 1989