Artykuły udostępnione publicznie: - Graeme SmithWięcej informacji
Dostępne w jakimś miejscu: 21
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
Upoważnienia: Australian Research Council
Linearizability on hardware weak memory models
G Smith, K Winter, RJ Colvin
Formal Aspects of Computing 32, 1-32, 2020
Upoważnienia: Australian Research Council
Relating trace refinement and linearizability
G Smith, K Winter
Formal Aspects of Computing 29, 935-950, 2017
Upoważnienia: Australian Research Council
Rely/guarantee reasoning for noninterference in non-blocking algorithms
N Coughlin, G Smith
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 380-394, 2020
Upoważnienia: Australian Research Council
Model checking simulation rules for linearizability
G Smith
Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016
Upoważnienia: Australian Research Council
Maze: An extension of object-z for multi-agent systems
G Smith, Q Li
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
Upoważnienia: Australian Research Council
Observational models for linearizability checking on weak memory models
K Winter, G Smith, J Derrick
2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018
Upoważnienia: Australian Research Council
Improving the scalability of automatic linearizability checking in SPIN
P Doolan, G Smith, C Zhang, P Krishnan
Formal Methods and Software Engineering: 19th International Conference on …, 2017
Upoważnienia: Australian Research Council
Using bounded fairness to specify and verify ordered asynchronous multi-agent systems
Q Li, G Smith
2013 18th International Conference on Engineering of Complex Computer …, 2013
Upoważnienia: Australian Research Council
Formal development of multi-agent systems using MAZE
Q Li, G Smith
Science of Computer Programming 131, 126-150, 2016
Upoważnienia: Australian Research Council, National Natural Science Foundation of China
Compositional noninterference on hardware weak memory models
N Coughlin, G Smith
Science of Computer Programming 217, 102779, 2022
Upoważnienia: Australian Research Council
Modelling concurrent objects running on the TSO and ARMv8 memory models
K Winter, G Smith, J Derrick
Science of Computer Programming 184, 102308, 2019
Upoważnienia: Australian Research Council, UK Engineering and Physical Sciences Research …
Invariant generation for linearizability proofs
G Smith, J Derrick
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1694-1699, 2016
Upoważnienia: Australian Research Council
Information-flow control on ARM and POWER multicore processors
G Smith, N Coughlin, T Murray
Formal Methods in System Design 58 (1), 251-293, 2021
Upoważnienia: Australian Research Council
Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors
G Smith, L Groves
International Symposium on Formal Methods, 342-357, 2019
Upoważnienia: Australian Research Council
Using Z in the development and maintenance of computational models of real-world systems
S Moeiniyan Bagheri, G Smith, J Hanan
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops …, 2015
Upoważnienia: Australian Research Council
A formal development approach for self-organising systems
Q Li, G Smith
2014 Theoretical Aspects of Software Engineering Conference, 209-212, 2014
Upoważnienia: Australian Research Council
Designing adaptive systems using teleo-reactive agents
G Smith, JW Sanders, K Winter
Transactions on Computational Collective Intelligence XVI, 34-61, 2014
Upoważnienia: Australian Research Council
On directional bias for network coverage
G Smith, JW Sanders, Q Li
Bio-Inspired Computing-Theories and Applications: 9th International …, 2014
Upoważnienia: Australian Research Council
A refinement framework for autonomous agents
Q Li, G Smith
Brazilian Symposium on Formal Methods, 163-178, 2013
Upoważnienia: Australian Research Council
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy