Angela Wallenburg

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 2

Top Topics

Evolutionary Algorithm

International Competition

Environmental Conditions

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson
ABZ Languages and Tools in Industrial-Scale Application. ABZ (2018)
Duc Hoang, Yannick Moy, Angela Wallenburg, Roderick Chapman
SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Paul B. Jackson, Florian Schanda, Angela Wallenburg
Auditing User-Provided Axioms in Software Verification Conditions. FMICS (2013)
Roderick Chapman, Eric Botcazou, Angela Wallenburg
SPARKSkein: A Formal and Fast Reference Implementation of Skein. SBMF (2011)
Angela Wallenburg
Generalisation of Induction Formulae based on Proving by Symbolic Execution. WING@ETAPS/IJCAR (2010)
K. Rustan M. Leino, Peter Müller, Angela Wallenburg
Flexible Immutability with Frozen Objects. VSTTE (2008)
K. Rustan M. Leino, Angela Wallenburg
Class-local object invariants. ISEC (2008)
Ola Olsson, Angela Wallenburg
Customised Induction Rules for Proving Correctness of Imperative Programs. SEFM (2005)
Reiner Hähnle, Angela Wallenburg
Using a Software Testing Technique to Improve Theorem Proving. FATES (2003)