Graeme Smith

Citado por

	Total	Desde 2019
Citas	3727	314
Índice h	24	9
Índice i10	63	8

220

110

165

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 23 20 48 131 89 148 133 133 126 129 218 141 129 196 188 188 204 161 109 128 119 88 125 93 97 59 92 42 65 51 59 51 46

Acceso público

Ver todo

22 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

John DerrickUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
Kirsten WinterThe University of QueenslandDirección de correo verificada de itee.uq.edu.au
Brijesh DongolUniversity of SurreyDirección de correo verificada de surrey.ac.uk
Nicholas CoughlinThe University of QueenslandDirección de correo verificada de uqconnect.edu.au
Tim McCombQueenslandDirección de correo verificada de rgbassurance.com.au
Eerke BoitenSchool of Computer Science and Informatics, De Montfort University, UKDirección de correo verificada de dmu.ac.uk
Qin LiEast China Normal UniversityDirección de correo verificada de sei.ecnu.edu.cn
Ian James HayesProfessor of Software Engineering, The University of QueenslandDirección de correo verificada de uq.edu.au
Dr Luke WildmanQueenslandDirección de correo verificada de rgbassurance.com.au
Florian KammüllerAssociate Professor, Middlesex University London and Privatdozent TU BerlinDirección de correo verificada de mdx.ac.uk
Nicole LevyCEDRIC, CNAMDirección de correo verificada de cnam.fr
Toby MurraySchool of Computing and Information Systems, University of MelbourneDirección de correo verificada de unimelb.edu.au
Jaco van de PolProfessor of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
Colin FidgeQueensland University of TechnologyDirección de correo verificada de qut.edu.au
Luigia PetreAssociate Professor in Computer Science, Åbo Akademi University, FinlandDirección de correo verificada de abo.fi
Peter LindsayUniversity of QueenslandDirección de correo verificada de uq.edu.au
Padmanabhan krishnanOracle Labs, BrisbaneDirección de correo verificada de ieee.org
Chenyi ZhangOracle Labs AustraliaDirección de correo verificada de oracle.com
Sebastian EderTechnische Universität MünchenDirección de correo verificada de in.tum.de
Larissa MeinickeThe University of QueenslandDirección de correo verificada de uq.edu.au

Seguir

Graeme Smith

The University of Queensland

Dirección de correo verificada de itee.uq.edu.au - Página principal

Formal methods


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The Object-Z specification language G Smith Springer Science & Business Media, 2012	929	2012
Object-Z: A specification language advocated for the description of standards R Duke, G Rose, G Smith Computer Standards & Interfaces 17 (5-6), 511-533, 1995	535	1995
The Object-Z specification language: version 1 R Duke, P King, G Rose, G Smith SVRC, 1991	180	1991
A semantic integration of Object-Z and CSP for the specification of concurrent systems G Smith International Symposium of Formal Methods Europe, 62-81, 1997	158	1997
A fully abstract semantics of classes for Object-Z G Smith Formal Aspects of Computing 7, 289-313, 1995	118	1995
Specification, refinement and verification of concurrent systems—an integration of Object-Z and CSP G Smith, J Derrick Formal Methods in System Design 18, 249-284, 2001	108	2001
Object-Z: a specification language advocated for the description of standards R Duke, G Rose, G Smith Software Verification Research Centre TR94-45, The University of Queensland …, 1994	95	1994
An object-oriented approach to formal specification G Smith University of Queensland, 1992	80	1992
Refinement and verification of concurrent systems specified in Object-Z and CSP G Smith, J Derrick First IEEE international conference on Formal engineering methods, 293-302, 1997	77	1997
Temporal logic and Z specifications R Duke, G Smith Australian Computer Journal 21 (2), 62-66, 1989	77	1989
Model checking Z specifications using SAL G Smith, L Wildman ZB 2005: Formal Specification and Development in Z and B: 4th International …, 2005	72	2005
Extending W for Object-Z G Smith ZUM'95: The Z Formal Specification Notation: 9th International Conference of …, 1995	66	1995
Encoding object-z in isabelle/hol G Smith, F Kammüller, T Santen ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002	44	2002
Model checking Object-Z classes: Some experiments with FDR G Kassel, G Smith Proceedings Eighth Asia-Pacific Software Engineering Conference, 445-452, 2001	40	2001
Reasoning about Object-Z specifications G Smith Proceedings 1995 Asia Pacific Software Engineering Conference, 489-497, 1995	34	1995
Formal development of self-organising systems G Smith, JW Sanders International Conference on Autonomic and Trusted Computing, 90-104, 2009	30	2009
Combining CSP and Object-Z: Finite or infinite trace semantics? C Fischer, G Smith Formal Description Techniques and Protocol Specification, Testing and …, 1997	30	1997
Proving temporal properties of Z specifications using abstraction G Smith, K Winter International Conference of B and Z Users, 260-279, 2003	29	2003
Structural refinement in Object-Z/CSP J Derrick, G Smith International conference on integrated formal methods, 194-213, 2000	29	2000
A wide-spectrum language for verification of programs on weak memory models RJ Colvin, G Smith Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018	28	2018

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores