Angela Wallenburg

According to our database, Angela Wallenburg authored at least 10 papers between 2003 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

ABZ Languages and Tools in Industrial-Scale Application.

Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2015

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

2013

Auditing User-Provided Axioms in Software Verification Conditions.

Paul B. Jackson, Florian Schanda, Angela Wallenburg

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2011

SPARKSkein: A Formal and Fast Reference Implementation of Skein.

Roderick Chapman, Eric Botcazou, Angela Wallenburg

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010

Generalisation of Induction Formulae based on Proving by Symbolic Execution.

Angela Wallenburg

Proceedings of the Second International Workshop on Invariant Generation, 2010

2008

Flexible Immutability with Frozen Objects.

K. Rustan M. Leino, Peter Müller, Angela Wallenburg

Proceedings of the Verified Software: Theories, 2008

Class-local object invariants.

K. Rustan M. Leino, Angela Wallenburg

Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

2007

Proving by Induction.

Angela Wallenburg

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

2005

Customised Induction Rules for Proving Correctness of Imperative Programs.

Ola Olsson, Angela Wallenburg

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2003

Using a Software Testing Technique to Improve Theorem Proving.

Reiner Hähnle, Angela Wallenburg

Proceedings of the Formal Approaches to Software Testing, 2003