Formal reasoning about runtime code update. - Nathaniel Charlton; Ben Horsfall; Bernhard Reus (ICDE Workshops, 2011)

Verifying the reflective visitor pattern. - Ben Horsfall; Nathaniel Charlton; Bernhard Reus (FTfJP@ECOOP, 2012)

Crowfoot: A Verifier for Higher-Order Store Programs. - Nathaniel Charlton; Ben Horsfall; Bernhard Reus (VMCAI, 2012)

Symbolic Execution Proofs for Higher Order Store Programs. - Bernhard Reus; Nathaniel Charlton; Ben Horsfall (J. Autom. Reason., 2015)