Schellhorn, Gerhard, Oleg Travkin, and Heike Wehrheim. “Towards a Thread-Local Proof Technique for Starvation Freedom.”https://doi.org/10.1007/978-3-319-33693-0_13__In Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, edited by Marieke Huisman, 193--209. Lecture Notes in Computer Science, 2016.https://doi.org/10.1007/978-3-319-33693-0_13 .

Doherty, Simon, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. “Proving Opacity of a Pessimistic STM.”https://doi.org/10.4230/LIPIcs.OPODIS.2016.35__In 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, edited by Panagiota Fatourou, Ernesto Jim\rquote enez, and Fernando Pedone, 35:1--35:17. LIPIcs, 2016.https://doi.org/10.4230/LIPIcs.OPODIS.2016.35 .

Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Deriving Approximation Tolerance Constraints from Verification Runs.” CoRR, 2016.

Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.”https://doi.org/10.1016/j.scico.2016.04.002__Science of Computer Programming, 2016, 2--23.https://doi.org/10.1016/j.scico.2016.04.002 .

Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!” In Software Engineering 2016, edited by Uwe Zdun Jens Knoop, 17–18. Lecture Notes in Informatics, 2016.

Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error Localization for Service Compositions.”https://doi.org/10.1007/978-3-319-44482-6_16__In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 248--262. LNCS, 2016.https://doi.org/10.1007/978-3-319-44482-6_16 .

Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization and Correction in Service Compositions.”https://doi.org/10.1007/978-3-319-50230-4_35__In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 445--457. LNCS, 2016.https://doi.org/10.1007/978-3-319-50230-4_35 .

Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.”https://doi.org/10.1007/978-3-319-47846-3_29__In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 466--483. LNCS, 2016.https://doi.org/10.1007/978-3-319-47846-3_29 .

Jakobs, Marie-Christine, Manuel Töws, and Felix Pauck. “PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper).” In Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, edited by Troubitsyna E Ishikawa F, Romanovsky A. School of Computing Science Technical Report Series, 2016.

Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016.