Jakobs, M.-C., Platzner, M., Wiersema, T., &; Wehrheim, H. (2014). Integrating Software and Hardware Verification. In E. Albert &; E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (iFM) (pp. 307–322).https://doi.org/10.1007/978-3-319-10181-1_19 

Besova, G., Steenke, D., &; Wehrheim, H. (2014). Grammar-based model transformations. In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD) (pp. 1601–1610).https://doi.org/10.1016/j.cl.2015.05.003 

Pauck, F. (2014). Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn.

Isenberg, T., Steenken, D., &; Wehrheim, H. (2013). Bounded Model Checking of Graph Transformation Systems via SMT Solving. In D. Beyer &; M. Boreale (Eds.), Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings (pp. 178--192).https://doi.org/10.1007/978-3-642-38592-6_13 

Travkin, O., Mütze, A., &; Wehrheim, H. (2013). SPIN as a Linearizability Checker under Weak Memory Models. In V. Bertacco &; A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (pp. 311--326).https://doi.org/10.1007/978-3-319-03077-7_21 

Dongol, B., Travkin, O., Derrick, J., &; Wehrheim, H. (2013). A High-Level Semantics for Program Execution under Total Store Order Memory. In Z. Liu, J. Woodcock, &; H. Zhu (Eds.), Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings (pp. 177--194).https://doi.org/10.1007/978-3-642-39718-9_11 

Ziegert, S., &; Wehrheim, H. (2013). Temporal Reconfiguration Plans for Self-Adaptive Systems. In S. Kowalewski &; B. Rumpe (Eds.), Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen (pp. 271--284).

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2013). Zero Overhead Runtime Monitoring. In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM) (pp. 244–258).https://doi.org/10.1007/978-3-642-40561-7_17 

Timm, N. (2013). Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn.

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2013). Programs from Proofs – A PCC Alternative. In Proceedings of the 25th International Conference on Computer Aided Verification (CAV) (pp. 912–927).https://doi.org/10.1007/978-3-642-39799-8_65 

Walther, S., &; Wehrheim, H. (2013). Knowledge-Based Verification of Service Compositions - An SMT approach. In Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 24–32).https://doi.org/10.1109/ICECCS.2013.14 

Travkin, O., Wehrheim, H., &; Schellhorn, G. (2012). Proving Linearizability of Multiset with Local Proof Obligations. ECEASST.

Ruhroth, T., &; Wehrheim, H. (2012). Model evolution and refinement. Sci. Comput. Program., (3), 270--289.https://doi.org/10.1016/j.scico.2011.04.007 

Schellhorn, G., Wehrheim, H., &; Derrick, J. (2012). How to Prove Algorithms Linearisable. In P. Madhusudan &; S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (pp. 243--259).https://doi.org/10.1007/978-3-642-31424-7_21 

Wonisch, D., &; Wehrheim, H. (2012). Predicate Analysis with Block-Abstraction Memoization. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 332–347).https://doi.org/10.1007/978-3-642-34281-3_24 

Timm, N., Wehrheim, H., &; Czech, M. (2012). Heuristic-Guided Abstraction Refinement for Concurrent Systems. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 348–363).https://doi.org/10.1007/978-3-642-34281-3_25 

Wonisch, D. (2012). Block Abstraction Memoization for CPAchecker. In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (pp. 531–533).https://doi.org/10.1007/978-3-642-28756-5_41 

Besova, G., Walther, S., Wehrheim, H., &; Becker, S. (2012). Weaving-based configuration and modular transformation of multi-layer systems. In Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS) (pp. 776–792).https://doi.org/10.1007/978-3-642-33666-9_49 

Schneider, S., Treharne, H., &; Wehrheim, H. (2011). Bounded Retransmission in Event-B\'70arallelCSP: a Case Study. Electr. Notes Theor. Comput. Sci., 69--80.https://doi.org/10.1016/j.entcs.2011.11.019 

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2011). Mechanically verified proof obligations for linearizability. ACM Trans. Program. Lang. Syst., (1), 4:1--4:43.https://doi.org/10.1145/1889997.1890001