Angela Wallenburg

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
ABZ Languages and Tools in Industrial-Scale Application.
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.
Int. J. Softw. Tools Technol. Transf., 2015

2013
Auditing User-Provided Axioms in Software Verification Conditions.
Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2011
SPARKSkein: A Formal and Fast Reference Implementation of Skein.
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010
Generalisation of Induction Formulae based on Proving by Symbolic Execution.
Proceedings of the Second International Workshop on Invariant Generation, 2010

2008
Flexible Immutability with Frozen Objects.
Proceedings of the Verified Software: Theories, 2008

Class-local object invariants.
Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

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

2005
Customised Induction Rules for Proving Correctness of Imperative Programs.
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.
Proceedings of the Formal Approaches to Software Testing, 2003


  Loading...