Using a Software Testing Technique to Improve Theorem Proving. - Reiner Hähnle; Angela Wallenburg (FATES, 2003)

Customised Induction Rules for Proving Correctness of Imperative Programs. - Ola Olsson; Angela Wallenburg (SEFM, 2005)

Proving by Induction. - Angela Wallenburg (The KeY Approach, 2007)

Class-local object invariants. - K. Rustan M. Leino; Angela Wallenburg (ISEC, 2008)

Flexible Immutability with Frozen Objects. - K. Rustan M. Leino; Peter Müller 001; Angela Wallenburg (VSTTE, 2008)

Generalisation of Induction Formulae based on Proving by Symbolic Execution. - Angela Wallenburg (WING@ETAPS/IJCAR, 2010)

SPARKSkein: A Formal and Fast Reference Implementation of Skein. - Roderick Chapman; Eric Botcazou; Angela Wallenburg (SBMF, 2011)

Auditing User-Provided Axioms in Software Verification Conditions. - Paul B. Jackson; Florian Schanda; Angela Wallenburg (FMICS, 2013)

SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler. - Duc Hoang; Yannick Moy; Angela Wallenburg; Roderick Chapman (Int. J. Softw. Tools Technol. Transf., 2015)

ABZ Languages and Tools in Industrial-Scale Application. - Janet Barnes; Jonathan Hammond; Angela Wallenburg; Thomas Wilson (ABZ, 2018)