By Dr Roger Su

Book Chapters

Colvin RJ; Heiner S; Höfner P; Su RC, 2026, 'Rely-Guarantee Verification of Queue Locks with Proof Support in Isabelle/HOL', in , pp. 1 - 19, http://dx.doi.org/10.1007/978-3-032-27340-6_1

Colvin RJ; Su RC, 2025, 'Structural Operational Semantics for Functional and Security Verification of Pipelined Processors', in , pp. 363 - 388, http://dx.doi.org/10.1007/978-3-031-98668-0_18

Colvin RJ; Hayes IJ; Heiner S; Höfner P; Meinicke L; Su RC, 2024, 'Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures', in Lecture Notes in Computer Science, Springer Nature Switzerland, pp. 65 - 87, http://dx.doi.org/10.1007/978-3-031-66676-6_4

Back to profile page