Angela Wallenburg
Altran (United Kingdom)(GB)Chalmers University of Technology(SE)University of Gothenburg(SE)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Security and Verification in Computing
Most-Cited Works
- → Flexible Immutability with Frozen Objects(2008)34 cited
- → SPARK 2014 and GNATprove(2014)28 cited
- → Class-local object invariants(2008)12 cited
- → Customised induction rules for proving correctness of imperative programs(2005)10 cited
- → SPARKSkein: A Formal and Fast Reference Implementation of Skein(2011)7 cited
- → Using a Software Testing Technique to Improve Theorem Proving(2004)4 cited
- → Generalisation of Induction Formulae based on Proving by Symbolic Execution(2018)1 cited