Angela Wallenburg

I am a Ph.D. student at the Department of Computer Science and Engineering at Chalmers University of Technology and Göteborg University. In January 2009 I joined the SPARK team at Praxis High Integrity Systems, Bath, U.K.

How to reach me

• Email: angelaw@chalmers.se
• Phone: +44 (0)1225 466991

Research

My interests are in software engineering and formal methods, in particular they include theorem proving (interactive and automated), induction, programming languages 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

• Angela Wallenburg: Generalisation of Induction Formulae based on Proving by Symbolic Execution, 2nd International Workshop on Invariant Generation (WING 2009), to appear.
• K. Rustan M. Leino, Peter Müller and Angela Wallenburg: Flexible Immutability with Frozen Objects, Verified Software: Theories, Tools, and Experiments (VSTTE 2008), Springer.
  [PDF] [BibTeX] [VSTTE 2008 at Springer]
• K. Rustan M. Leino and Angela Wallenburg: Class-local object invariants, 1st India Software Engineering Conference (ISEC 2008), ACM.
  [PDF] [BibTeX]
• 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]

Teaching

I have been involved in the following courses:

• Software Engineering Using Formal Methods
• Foundations of Object Oriented Programming, part 1 and part 2
• Objektorienterad systemutveckling (in Swedish)

Last modified: Tue Feb 24 12:24:39 GMTST 2009 by Angela Wallenburg
Disclaimer