Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. - Robert J. Colvin; Ian J. Hayes; Scott Heiner; Peter Höfner; Larissa Meinicke; Roger C. Su (CoRR, 2024)

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. - Robert J. Colvin; Ian J. Hayes; Scott Heiner; Peter Höfner; Larissa Meinicke; Roger C. Su (The Practice of Formal Methods (I), 2024)

Structural Operational Semantics for Functional and Security Verification of Pipelined Processors. - Robert J. Colvin; Roger C. Su (CAV (1), 2025)