Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Angela Wallenburg home page
My interests are in software engineering and formal methods, in particular they include theorem proving (interactive and automated), induction and software testing.
I am a member of
the KeY project (in collaboration
with
Karlsruhe University and
Koblenz
University)
and also a member of
the
Formal Methods Group
at the department.
Reiner Hähnle is my Ph.D.
advisor.
Publications
K. Rustan M. Leino and Angela Wallenburg:
Class-local object invariants,
1st India Software Engineering Conference
(ISEC 2008), to appear.
[PDF]
Angela Wallenburg:
Proving by Induction,
book chapter in Verification of Object-Oriented Software: The KeY Approach, LNCS 4334, pages 453-479, Springer Verlag, 2007.
[Abstract]
[KeY Book at Springer]
[Chapter at Springer]
[BibTeX]
Angela Wallenburg:
Induction Rules for Proving Correctness of Imperative Programs,
Licentiate Thesis, Chalmers University of Technology and Göteborg
University, December 2004
[PDF]
[PostScript]
[BibTeX]
Ola Olsson and Angela Wallenburg:
Customised Induction Rules for Proving Correctness of Imperative Programs,
3rd International Conference on Software Engineering and Formal Methods
(SEFM'05),
Koblenz, Germany, September 5-9, 2005, IEEE Computer Society Press.
[Abstract]
[PDF]
[PostScript]
[BibTeX]
Reiner Hähnle and
Angela Wallenburg:
Using a Software Testing Technique to Improve Theorem Proving,
3rd International Workshop on Formal Approaches to Testing of Software
(FATES'03), LNCS 2931/2004,
pages 30-41,
Montreal, Canada, October 2003. Springer Verlag.
[Abstract]
[PDF]
[PostScript]
[BibTeX]
[FATES 2003 at Springer]