Introducing usability to Telecom New Zealand. - Brian Norris; Jacqui Van Der Kaay (CHINZ, 2003)

CDSchecker: checking concurrent data structures written with C/C++ atomics. - Brian Norris; Brian Demsky (OOPSLA, 2013)

A Practical Approach for Model Checking C/C++11 Code. - Brian Norris; Brian Demsky (ACM Trans. Program. Lang. Syst., 2016)