# Graeme Smith

According to our database

Collaborative distances:

^{1}, Graeme Smith authored at least 120 papers between 1989 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Useful States and Entanglement Distillation.

IEEE Trans. Information Theory, 2018

Correctness of Concurrent Objects under Weak Memory Models.

Proceedings of the Proceedings 18th Refinement Workshop, 2018

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

CoRR, 2018

A wide-spectrum language for verification of programs on weak memory models.

CoRR, 2018

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

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

2017

Relating trace refinement and linearizability.

Formal Asp. Comput., 2017

Refining autonomous agents with declarative beliefs and desires.

Formal Asp. Comput., 2017

Quantum and private capacities of low-noise channels.

Proceedings of the 2017 IEEE Information Theory Workshop, 2017

Degradable states and one-way entanglement distillation.

Proceedings of the 2017 IEEE International Symposium on Information Theory, 2017

Improving the Scalability of Automatic Linearizability Checking in SPIN.

Proceedings of the Formal Methods and Software Engineering, 2017

An Observational Approach to Defining Linearizability on Weak Memory Models.

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

A Proof Method for Linearizability on TSO Architectures.

Proceedings of the Provably Correct Systems, 2017

2016

Corrections to "The Entropy Power Inequality for Quantum Systems".

IEEE Trans. Information Theory, 2016

Formal development of multi-agent systems using MAZE.

Sci. Comput. Program., 2016

Uniform Additivity in Classical and Quantum Information.

CoRR, 2016

Model Checking Simulation Rules for Linearizability.

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

Invariant generation for linearizability proofs.

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

2015

New Constructions of Codes for Asymmetric Channels via Concatenation.

IEEE Trans. Information Theory, 2015

A Framework for Correctness Criteria on Weak Memory Models.

Proceedings of the FM 2015: Formal Methods, 2015

Defining Correctness Conditions for Concurrent Objects in Multicore Architectures.

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.

Proceedings of the 38th Australasian Computer Science Conference, 2015

2014

Designing Adaptive Systems Using Teleo-Reactive Agents.

Trans. Computational Collective Intelligence, 2014

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

CoRR, 2014

Quantum de Finetti theorem measured with fully one-way LOCC norm.

CoRR, 2014

A Formal Development Approach for Self-Organising Systems.

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.

Proceedings of the Software Engineering and Formal Methods, 2014

Verifying Linearizability on TSO Architectures.

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

Reasoning Algebraically About Refinement on TSO Architectures.

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

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

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

Admit Your Weakness: Verifying Correctness on TSO Architectures.

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

On Directional Bias for Network Coverage.

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

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

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

2013

Entanglement distillation by extendible maps.

Quantum Information & Computation, 2013

Oversimplifying quantum factoring.

Nature, 2013

Bound entangled states with secret key and their classical counterpart

CoRR, 2013

New Constructions of Codes for Asymmetric Channels via Concatenation.

CoRR, 2013

A Refinement Framework for Autonomous Agents.

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

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

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

2012

An Extreme Form of Superactivation for Quantum Zero-Error Capacities.

IEEE Trans. Information Theory, 2012

Emergence and refinement.

Formal Asp. Comput., 2012

Temporal-logic property preservation under Z refinement.

Formal Asp. Comput., 2012

The entropy power inequality for quantum systems

CoRR, 2012

Limits on classical communication from quantum entropy power inequalities

CoRR, 2012

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

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

Using conventional reasoning techniques for self-organising systems.

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

New constructions of codes for asymmetric channels via concatenation.

Proceedings of the 2012 IEEE International Symposium on Information Theory, 2012

Reasoning About Adaptivity of Agents and Multi-agent Systems.

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

2011

High Performance Single-Error-Correcting Quantum Codes for Amplitude Damping.

IEEE Trans. Information Theory, 2011

Property transformation under specification change.

Frontiers Comput. Sci. China, 2011

Gaussian bosonic synergy: quantum communication via realistic channels of zero quantum capacity

CoRR, 2011

Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism.

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

Providing media download services in African taxis.

Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

2010

Editorial.

Formal Asp. Comput., 2010

Quantum Channel Capacities

CoRR, 2010

Assuring Adaptive Behaviour in Self-Organising Systems.

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

Gravity Points in Potential-Field Approaches to Self Organisation.

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

An Approach to Formal Verification of Free-Flight Separation.

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

Super-duper-activation of the zero-error quantum capacity.

Proceedings of the IEEE International Symposium on Information Theory, 2010

2009

Codeword Stabilized Quantum Codes.

IEEE Trans. Information Theory, 2009

Model checking action system refinements.

Formal Asp. Comput., 2009

Refining Emergent Properties.

Electr. Notes Theor. Comput. Sci., 2009

An Extreme form of Superactivation for Quantum Zero-Error Capacities.

CoRR, 2009

Formal Development of Self-organising Systems.

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

2008

Extending Formal Methods for Software-Intensive Systems.

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

Formal Ensemble Engineering.

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

The Quantum Capacity With Symmetric Side Channels.

IEEE Trans. Information Theory, 2008

Communicating Over Adversarial Quantum Channels Using Quantum List Codes.

IEEE Trans. Information Theory, 2008

Refactoring Real-time Specifications.

Electr. Notes Theor. Comput. Sci., 2008

Using Model Checking to Automatically Find Retrieve Relations.

Electr. Notes Theor. Comput. Sci., 2008

Preface.

Electr. Notes Theor. Comput. Sci., 2008

Towards More Flexible Development of Z Specifications.

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

Private classical capacity with symmetric assistance.

Proceedings of the 2008 IEEE International Symposium on Information Theory, 2008

Codeword stabilized quantum codes.

Proceedings of the 2008 IEEE International Symposium on Information Theory, 2008

A Minimal Set of Refactoring Rules for Object-Z.

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

Introducing Objects through Refinement.

Proceedings of the FM 2008: Formal Methods, 2008

2007

Simulation Machines for Checking Action System Refinements.

Electr. Notes Theor. Comput. Sci., 2007

Preface.

Electr. Notes Theor. Comput. Sci., 2007

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

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

2006

Optimal Superdense Coding of Entangled States.

IEEE Trans. Information Theory, 2006

Verifying data refinements using a model checker.

Formal Asp. Comput., 2006

Compositional Class Refinement in Object-Z.

Proceedings of the FM 2006: Formal Methods, 2006

2005

Guest Editorial Integrated Formal Methods.

Formal Asp. Comput., 2005

Model Checking Downward Simulations.

Electr. Notes Theor. Comput. Sci., 2005

Model Checking Z Specifications Using SAL.

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

2004

Architectural Design in Object-Z.

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

Linear Temporal Logic and Z Refinement.

Proceedings of the Algebraic Methodology and Software Technology, 2004

A Framework for Modelling and Analysing Mobile Systems.

Proceedings of the Computer Science 2004, 2004

2003

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

Formal Asp. Comput., 2003

Compositional Verification for Object-Z.

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

Proving Temporal Properties of Z Specifications Using Abstraction.

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

Animation of Object-Z Specifications Using a Z Animator.

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

2002

An Introduction to Real-Time Object-Z.

Formal Asp. Comput., 2002

Encoding Object-Z in Isabelle/HOL.

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

An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems.

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Abstract Specification in Object-Z and CSP.

Proceedings of the Formal Methods and Software Engineering, 2002

Introducing Reference Semantics via Refinement.

Proceedings of the Formal Methods and Software Engineering, 2002

2001

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

Formal Methods in System Design, 2001

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

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

2000

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

J. UCS, 2000

Recursive Schema Definitions in Object-Z.

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Structuring Real-Time Object-Z Specifications.

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

Structural Refinement in Object-Z/CSP.

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

Stepwise Development from Ideal Specifications.

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

1999

Towards Real-Time Object-Z.

Proceedings of the Integrated Formal Methods, 1999

1997

The Second ISEW Cleanroom Workshop.

Proceedings of the Pulling Together, 1997

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

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

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

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

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

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

1996

A Blocking Model for Reactive Objects.

Formal Asp. Comput., 1996

1995

A Fully Abstract Semantics of Classes for Object-Z.

Formal Asp. Comput., 1995

Extending

*W*for Object-Z.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Reasoning about Object-Z Specifications.

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994

An Object-Oriented Development Framework for Z.

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

A Development Framework for Object-Oriented Specification and Refinement.

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

Formal definitions of behavioural compatibility for active and passive objects.

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1991

Associated Paper: The Object-Z Specification Language.

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.

Proceedings of the Protocol Specification, 1990

Transferring Formal Techniques to Industry.

Proceedings of the Formal Description Techniques, 1990

1989

Temporal Logic and Z Specifications.

Australian Computer Journal, 1989

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

Proceedings of the Formal Description Techniques, 1989