| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | John Derrick, Graeme Smith |
Temporal-logic property preservation under Z refinement.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff W. Sanders, Graeme Smith |
Emergence and refinement. |
Formal Asp. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Toby S. Cubitt, Graeme Smith |
An Extreme Form of Superactivation for Quantum Zero-Error Capacities. |
IEEE Transactions on Information Theory |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Fu, Graeme Smith |
Property transformation under specification change. |
Frontiers of Computer Science in China |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, John A. Smolin, Jon Yard |
Gaussian bosonic synergy: quantum communication via realistic channels of zero quantum capacity |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Peter W. Shor, Graeme Smith, John A. Smolin, Bei Zeng |
High Performance Single-Error-Correcting Quantum Codes for Amplitude Damping. |
IEEE Transactions on Information Theory |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Gary Marsden |
Providing media download services in African taxis. |
SAICSIT Conf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Steffen Helke |
Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Michael Butler, John Derrick, Graeme Smith |
Editorial. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith |
Quantum Channel Capacities |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jeff W. Sanders, Graeme Smith |
Assuring Adaptive Behaviour in Self-Organising Systems. |
SASO Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Eder, Graeme Smith |
An Approach to Formal Verification of Free-Flight Separation. |
SASO Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Sampson, Graeme Smith |
Gravity Points in Potential-Field Approaches to Self Organisation. |
SASO Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianxin Chen, Toby S. Cubitt, Aram Wettroth Harrow, Graeme Smith |
Super-duper-activation of the zero-error quantum capacity. |
ISIT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Kirsten Winter |
Model checking action system refinements. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
model checking, Refinement, CTL, action systems |
| 1 | Jeff W. Sanders, Graeme Smith |
Refining Emergent Properties. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew W. Cross, Graeme Smith, John A. Smolin, Bei Zeng |
Codeword Stabilized Quantum Codes. |
IEEE Transactions on Information Theory |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Jeffrey W. Sanders |
Formal Development of Self-organising Systems. |
ATC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Graeme Smith |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Graeme Smith |
Using Model Checking to Automatically Find Retrieve Relations. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Tim McComb |
Refactoring Real-time Specifications. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, John A. Smolin, Andreas Winter |
The Quantum Capacity With Symmetric Side Channels. |
IEEE Transactions on Information Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Debbie W. Leung, Graeme Smith |
Communicating Over Adversarial Quantum Channels Using Quantum List Codes. |
IEEE Transactions on Information Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith |
Extending Formal Methods for Software-Intensive Systems. |
Software-Intensive Systems and New Computing Paradigms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey W. Sanders, Graeme Smith |
Formal Ensemble Engineering. |
Software-Intensive Systems and New Computing Paradigms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim McComb, Graeme Smith |
A Minimal Set of Refactoring Rules for Object-Z. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew W. Cross, Graeme Smith, John A. Smolin, Bei Zeng |
Codeword stabilized quantum codes. |
ISIT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith |
Private classical capacity with symmetric assistance. |
ISIT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim McComb, Graeme Smith |
Introducing Objects through Refinement. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Fu, Graeme Smith |
Towards More Flexible Development of Z Specifications. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Judi Romijn, Graeme Smith, Jaco van de Pol |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Kirsten Winter |
Simulation Machines for Checking Action System Refinements. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Larissa Meinicke, Graeme Smith |
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
reliability, real-time, probability, refinement, action systems |
| 1 | Graeme Smith, John Derrick |
Verifying data refinements using a model checker. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL |
| 1 | Tim McComb, Graeme Smith |
Compositional Class Refinement in Object-Z. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Graeme Smith |
Guest Editorial Integrated Formal Methods. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, John Derrick |
Model Checking Downward Simulations. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Judi Romijn, Graeme Smith, Jaco van de Pol (eds.) |
Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings |
IFM |
2005 |
DBLP BibTeX RDF |
|
| 1 | Graeme Smith, Luke Wildman |
Model Checking Z Specifications Using SAL. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
model checking, tool support, Z, SAL |
| 1 | Tim McComb, Graeme Smith |
Architectural Design in Object-Z. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Graeme Smith |
Linear Temporal Logic and Z Refinement. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Graeme Smith (eds.) |
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings |
IFM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Graeme Smith |
A Framework for Modelling and Analysing Mobile Systems. |
ACSC |
2004 |
DBLP BibTeX RDF |
|
| 1 | John Derrick, Graeme Smith |
Structural Refinement of Systems Specified in Object-Z and CSP. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
ensp, Integrated formal methods, Refinement, CSP, Object-Z |
| 1 | Tim McComb, Graeme Smith |
Animation of Object-Z Specifications Using a Z Animator. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Kirsten Winter |
Proving Temporal Properties of Z Specifications Using Abstraction. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirsten Winter, Graeme Smith |
Compositional Verification for Object-Z. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Ian J. Hayes |
An Introduction to Real-Time Object-Z. |
Formal Asp. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Real-time refinement, Timed refinement calculus, Object-Z, Real-time specification |
| 1 | Graeme Smith, John Derrick |
Abstract Specification in Object-Z and CSP. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith |
Introducing Reference Semantics via Refinement. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith |
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Florian Kammüller, Thomas Santen |
Encoding Object-Z in Isabelle/HOL. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
reference semantics, Object-Z, higher-order logic, Isabelle |
| 1 | Graeme Smith, John Derrick |
Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. |
Formal Methods in System Design |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff Kassel, Graeme Smith |
Model Checking Object-Z Classes: Some Experiments with FDR. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Colin J. Fidge |
Incremental Development of Real-Time Requirements: The Light Control Case Study. |
J. UCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | John Derrick, Graeme Smith |
Structural Refinement in Object-Z/CSP. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith, Ian J. Hayes |
Structuring Real-Time Object-Z Specifications. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith |
Recursive Schema Definitions in Object-Z. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith |
Stepwise Development from Ideal Specifications. |
ACSC |
2000 |
DBLP DOI BibTeX RDF |
formal specification, refinement, stepwise development |
| 1 | Graeme Smith, Ian J. Hayes |
Towards Real-Time Object-Z. |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Clemens Fischer, Graeme Smith |
Combining CSP and Object-Z: Finite or Infinite Trace Semantics? |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Graeme Smith, John Derrick |
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. |
ICFEM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Graeme Smith |
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith |
The Second ISEW Cleanroom Workshop. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
software reliability certification, statistical usage testing, verification, formal specification, software process improvement, technology transfer, stepwise refinement, cleanroom software engineering |
| 1 | Roger Duke, Cecily Bailes, Graeme Smith |
A Blocking Model for Reactive Objects. |
Formal Asp. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith |
A Fully Abstract Semantics of Classes for Object-Z. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith |
Reasoning about Object-Z Specifications. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
object orientation, Object-Z, proof systems, formal reasoning |
| 1 | Graeme Smith |
Extending W for Object-Z. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith |
A Development Framework for Object-Oriented Specification and Refinement. |
TOOLS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Graeme Smith |
An Object-Oriented Development Framework for Z. |
Z User Workshop |
1994 |
DBLP BibTeX RDF |
|
| 1 | Roger Duke, Paul King, Gordon A. Rose, Graeme Smith |
Associated Paper: The Object-Z Specification Language. |
TOOLS |
1991 |
DBLP BibTeX RDF |
|
| 1 | Roger Duke, Gordon A. Rose, Graeme Smith |
Transferring Formal Techniques to Industry. |
FORTE |
1990 |
DBLP BibTeX RDF |
|
| 1 | Paul King, Graeme Smith |
Formalisation of behavioural and structural concepts for communication systems. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
| 1 | Roger Duke, Graeme Smith |
Temporal Logic and Z Specifications. |
Australian Computer Journal |
1989 |
DBLP BibTeX RDF |
|
| 1 | David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith |
Object-Z: An Object-Oriented Extension to Z. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")