|
2019 Journal Article Linearizability on hardware weak memory modelsSmith, Graeme, Winter, Kirsten and Colvin, Robert J. (2019). Linearizability on hardware weak memory models. Formal Aspects of Computing, 32 (1), 1-32. doi: 10.1007/s00165-019-00499-8 |
|
2017 Journal Article Relating trace refinement and linearizabilitySmith, Graeme and Winter, Kirsten (2017). Relating trace refinement and linearizability. Formal Aspects of Computing, 29 (6), 1-16. doi: 10.1007/s00165-017-0418-2 |
|
2016 Journal Article Formal development of multi-agent systems using MAZELi, Qin and Smith, Graeme (2016). Formal development of multi-agent systems using MAZE. Science of Computer Programming, 131, 126-150. doi: 10.1016/j.scico.2016.04.008 |
|
2012 Journal Article Emergence and refinementSanders, J. W. and Smith, Graeme (2012). Emergence and refinement. Formal Aspects of Computing, 24 (1), 45-65. doi: 10.1007/s00165-011-0190-7 |
|
2024 Journal Article On formal methods thinking in computer science educationDongol, Brijesh, Dubois, Catherine, Hallerstede, Stefan, Hehner, Eric, Morgan, Carroll, Müller, Peter, Ribeiro, Leila, Silva, Alexandra, Smith, Graeme and de Vink, Erik (2024). On formal methods thinking in computer science education. Formal Aspects of Computing, 37 (1) 8, 1-23. doi: 10.1145/3670419 |
|
2023 Journal Article Compositional reasoning for non-multicopy atomic architecturesCoughlin, Nicholas, Winter, Kirsten and Smith, Graeme (2023). Compositional reasoning for non-multicopy atomic architectures. Formal Aspects of Computing, 35 (2) 8, 1-30. doi: 10.1145/3574137 |
|
2022 Journal Article Compositional noninterference on hardware weak memory modelsCoughlin, Nicholas and Smith, Graeme (2022). Compositional noninterference on hardware weak memory models. Science of Computer Programming, 217 102779, 1-23. doi: 10.1016/j.scico.2022.102779 |
|
2021 Journal Article Information-flow control on ARM and POWER multicore processorsSmith, Graeme, Coughlin, Nicholas and Murray, Toby (2021). Information-flow control on ARM and POWER multicore processors. Formal Methods in System Design, 58 (1-2), 251-293. doi: 10.1007/s10703-021-00376-2 |
|
2019 Journal Article Modelling concurrent objects running on the TSO and ARMv8 memory modelsWinter, Kirsten, Smith, Graeme and Derrick, John (2019). Modelling concurrent objects running on the TSO and ARMv8 memory models. Science of Computer Programming, 184 102308, 102308. doi: 10.1016/j.scico.2019.102308 |
|
2016 Journal Article Refining autonomous agents with declarative beliefs and desiresLi, Qin and Smith, Graeme (2016). Refining autonomous agents with declarative beliefs and desires. Formal Aspects of Computing, 29 (2), 1-23. doi: 10.1007/s00165-016-0391-1 |
|
2012 Journal Article Temporal-logic property preservation under Z refinementDerrick, John and Smith, Graeme (2012). Temporal-logic property preservation under Z refinement. Formal Aspects of Computing, 24 (3), 393-416. doi: 10.1007/s00165-011-0177-4 |
|
2011 Journal Article Property transformation under specification changeFu, Zheng and Smith, Graeme (2011). Property transformation under specification change. Frontiers of Computer Science in China, 5 (1), 1-13. doi: 10.1007/s11704-010-0112-5 |
|
2010 Journal Article Formal Aspects of Computing: EditorialBoiten, Eerke, Butler, Michael, Derrick, John and Smith, Graeme (2010). Formal Aspects of Computing: Editorial. Formal Aspects of Computing, 22 (1), 1-1. doi: 10.1007/s00165-009-0147-2 |
|
2009 Journal Article Refining Emergent PropertiesSanders, J. W. and Smith, Graeme (2009). Refining Emergent Properties. Electronic Notes in Theoretical Computer Science, 259 (C), 207-223. doi: 10.1016/j.entcs.2009.12.026 |
|
2009 Journal Article Model checking action system refinementsSmith, Graeme and Winter, Kirsten (2009). Model checking action system refinements. Formal Aspects of Computing, 21 (1-2), 155-186. doi: 10.1007/s00165-007-0053-4 |
|
2008 Journal Article Refactoring Real-time SpecificationsSmith, Graeme and McComb, Tim (2008). Refactoring Real-time Specifications. Electronic Notes in Theoretical Computer Science, 214 (C), 359-380. doi: 10.1016/j.entcs.2008.06.016 |
|
2008 Journal Article Using Model Checking to Automatically Find Retrieve RelationsDerrick, John and Smith, Graeme (2008). Using Model Checking to Automatically Find Retrieve Relations. Electronic Notes in Theoretical Computer Science, 201 (C), 155-175. doi: 10.1016/j.entcs.2008.02.019 |
|
2008 Journal Article PrefaceBoiten, Eerke, Derrick, John and Smith, Graeme (2008). Preface. Electronic Notes in Theoretical Computer Science, 201 (C), 1. doi: 10.1016/j.entcs.2008.02.012 |
|
2007 Journal Article Simulation Machines for Checking Action System RefinementsSmith, Graeme and Winter, Kirsten (2007). Simulation Machines for Checking Action System Refinements. Electronic Notes in Theoretical Computer Science, 187, 75-90. doi: 10.1016/j.entcs.2006.08.045 |
|
2005 Journal Article Guest Editorial integrated formal methodsBoiten, E., Derrick, J. and Smith, G. (2005). Guest Editorial integrated formal methods. Formal Aspects of Computing, 17 (4), 389-389. doi: 10.1007/s00165-005-0078-5 |
