According to our database1, Angela Wallenburg authored at least 10 papers between 2003 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler.
Int. J. Softw. Tools Technol. Transf., 2015
Proceedings of the Formal Methods for Industrial Critical Systems, 2013
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011
Proceedings of the Second International Workshop on Invariant Generation, 2010
Proceedings of the Verified Software: Theories, 2008
Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008
Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Proceedings of the Formal Approaches to Software Testing, 2003