|
2026 Book Chapter Generating Rely-Guarantee Conditions with the Conditional-Writes DomainTobler, James and Smith, Graeme (2026). Generating Rely-Guarantee Conditions with the Conditional-Writes Domain. Lecture Notes in Computer Science. (pp. 378-396) Cham: Springer Nature Switzerland. doi: 10.1007/978-3-032-26204-2_20 |
|
2026 Book Chapter Autograding Weakest Precondition Proofs and Dafny SpecificationsSmith, Graeme and Whitlock, Hunter (2026). Autograding Weakest Precondition Proofs and Dafny Specifications. Lecture Notes in Computer Science. (pp. 31-49) Cham: Springer Nature Switzerland. doi: 10.1007/978-3-032-26743-6_3 |
|
2017 Book Chapter A proof method for linearizability on TSO architecturesDerrick, John, Smith, Graeme, Groves, Lindsay and Dongol, Brijesh (2017). A proof method for linearizability on TSO architectures. Provably correct systems. (pp. 61-91) edited by Mike Hinchey, Jonathan P. Bowen and Ernst-Rüdiger Olderog. Cham, Switzerland: Springer International Publishing. doi: 10.1007/978-3-319-48628-4 |
|
2014 Book Chapter Designing adaptive systems using teleo-reactive agentsSmith, Graeme, Sanders, J. W. and Winter, Kirsten (2014). Designing adaptive systems using teleo-reactive agents. Transactions on Computational Collective Intelligence XVI. (pp. 34-61) edited by Ryszard Kowalczyk and Ngoc Thanh Nguyen. Heidelberg, Germany: Springer. doi: 10.1007/978-3-662-44871-7_2 |
|
2008 Book Chapter Formal Ensemble EngineeringSanders, J.W. and Smith, G. (2008). Formal Ensemble Engineering. Software-Intensive Systems and New Computing Paradigms: Challenges and Visions. (pp. 132-138) edited by Wirsing, M., Banâtre, J.P., Hölzl, M. and Rauschmayer, A.. Heidelberg, Germany: Springer. doi: 10.1007/978-3-540-89437-7-8 |
|
2008 Book Chapter Extending Formal Methods for Software-Intensive SystemsSmith, G. (2008). Extending Formal Methods for Software-Intensive Systems. Software-Intensive Systems and New Computing Paradigms: Challenges and Visions. (pp. 146-161) edited by Wirsing, M., Banâtre, J.P., Hölzl, M. and Rauschmayer, A.. Heidleberg Berlin: Springer. doi: 10.1007/978-3-540-89437-7-10 |
|
2001 Book Chapter State-Based Approaches: From Z to Object-ZSmith, G. P. (2001). State-Based Approaches: From Z to Object-Z. Formal Methods for Distributed Processing: A Survey of Object-Orientated Approaches. (pp. 105-125) edited by H. Bowman and J. Derrick. Cambridge, UK: Cambridge University Press. |
