|
2026 Other Outputs A hybrid model for a concurrent refinement algebraHeiner, Scott (2026). A hybrid model for a concurrent refinement algebra. PhD Thesis, School of Electrical Engineering and Computer Science, The University of Queensland. doi: 10.14264/3b19946 |
|
2026 Book Chapter Rely-Guarantee Verification of Queue Locks with Proof Support in Isabelle/HOLColvin, Robert J., Heiner, Scott, Höfner, Peter and Su, Roger C. (2026). Rely-Guarantee Verification of Queue Locks with Proof Support in Isabelle/HOL. Lecture Notes in Computer Science. (pp. 1-19) Cham: Springer Nature Switzerland. doi: 10.1007/978-3-032-27340-6_1 |
|
2024 Book Chapter Practical rely/guarantee verification of an efficient lock for seL4 on multicore architecturesColvin, Robert J., Hayes, Ian J., Heiner, Scott, Höfner, Peter, Meinicke, Larissa and Su, Roger C. (2024). Practical rely/guarantee verification of an efficient lock for seL4 on multicore architectures. The practice of formal methods: essays in honour of Cliff Jones, Part I. (pp. 65-87) edited by Ana Cavalcanti and James Baxter. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-031-66676-6_4 |
|
2020 Conference Publication The politics of materiality: exploring participatory design methods, tools and practicesKhan, Awais Hameed, Snow, Stephen, Heiner, Scott, Hardgrove, Robert, Matthews, Sarah and Matthews, Ben (2020). The politics of materiality: exploring participatory design methods, tools and practices. DRS2020, Brisbane, QLD, Australia, 11 - 14 August, 2020. London, United Kingdom: Design Research Society. doi: 10.21606/drs.2020.246 |
|
2020 Conference Publication Disconnecting: towards a semiotic framework for personal data trailsKhan, Awais Hameed, Snow, Stephen, Heiner, Scott and Matthews, Ben (2020). Disconnecting: towards a semiotic framework for personal data trails. 2020 ACM Designing Interactive Systems Conference, Eindhoven, Netherlands, 6-10 July 2020. New York, United States: Association for Computing Machinery. doi: 10.1145/3357236.3395580 |
|
2020 Conference Publication Speculative designs for emergent personal data trails: signs, signals and signifiersSnow, Stephen, Khan, Awais Hameed, Viller, Stephen, Matthews, Ben, Heiner, Scott, Pierce, James, Luger, Ewa, Gomer, Richard and Filipczuk, Dorota (2020). Speculative designs for emergent personal data trails: signs, signals and signifiers. 2020 CHI Conference on Human Factors in Computing Systems, Honolulu, HI, United States, 25-30 April 2020. New York, United States: Association for Computing Machinery. doi: 10.1145/3334480.3375173 |
|
2019 Conference Publication Disconnect: a proposal for reclaiming control in HCIKhan, Awais Hameed, Heiner, Scott and Matthews, Ben (2019). Disconnect: a proposal for reclaiming control in HCI. 2019 CHI Conference on Human Factors in Computing Systems, Glasgow, Scotland, 4 May 2019. New York, NY, USA: ACM Press. doi: 10.1145/3290607.3313048 |
