Schellhorn, G., Travkin, O., &; Wehrheim, H. (2016). Towards a Thread-Local Proof Technique for Starvation Freedom. In M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (pp. 193--209).https://doi.org/10.1007/978-3-319-33693-0_13 
LibreCat: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., &; Wehrheim, H. (2016). Proving Opacity of a Pessimistic STM. In P. Fatourou, E. Jim\rquote enez, &; F. Pedone (Eds.), 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain (pp. 35:1--35:17).https://doi.org/10.4230/LIPIcs.OPODIS.2016.35 
LibreCat: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

Isenberg, T., Jakobs, M.-Christine, Pauck, F., &; Wehrheim, H. (2016). Deriving approximation tolerance constraints from verification runs. CoRR.
LibreCat: /record/3161

Walther, S., &; Wehrheim, H. (2016). On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs. Science of Computer Programming, 2--23.https://doi.org/10.1016/j.scico.2016.04.002 
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

Czech, M., Jakobs, M.-C., &; Wehrheim, H. (2016). Just test what you cannot verify! In U. Z. Jens Knoop (Ed.), Software Engineering 2016 (pp. 17–18).
LibreCat: /record/186

Krämer, J., &; Wehrheim, H. (2016). A short survey on using software error localization for service compositions. In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016) (pp. 248--262).https://doi.org/10.1007/978-3-319-44482-6_16 
LibreCat: /record/224
DOI: 10.1007/978-3-319-44482-6_16

Krämer, J., &; Wehrheim, H. (2016). A Formal Approach to Error Localization and Correction in Service Compositions. In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) (pp. 445--457).https://doi.org/10.1007/978-3-319-50230-4_35 
LibreCat: /record/226
DOI: 10.1007/978-3-319-50230-4_35

Töws, M., &; Wehrheim, H. (2016). A CEGAR Scheme for Information Flow Analysis. In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016) (pp. 466--483).https://doi.org/10.1007/978-3-319-47846-3_29 
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

Jakobs, M.-C., Töws, M., &; Pauck, F. (2016). PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper). In T. E. Ishikawa F, Romanovsky A (Ed.), Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems.
LibreCat: /record/170

Isenberg, T. (2016). Induction-based Verification of Timed Systems. Universität Paderborn.
LibreCat: /record/1190