Jakobs, Marie-Christine, Marco Platzner, Tobias Wiersema, and Heike Wehrheim. “Integrating Software and Hardware Verification.”https://doi.org/10.1007/978-3-319-10181-1_19__In Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 307–22. LNCS, 2014.https://doi.org/10.1007/978-3-319-10181-1_19 .

Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model Transformations.”https://doi.org/10.1016/j.cl.2015.05.003__In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 1601–10, 2014.https://doi.org/10.1016/j.cl.2015.05.003 .

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

Isenberg, Tobias, Dominik Steenken, and Heike Wehrheim. “Bounded Model Checking of Graph Transformation Systems via SMT Solving.”https://doi.org/10.1007/978-3-642-38592-6_13__In 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, edited by Dirk Beyer and Michele Boreale, 178--192. Lecture Notes in Computer Science, 2013.https://doi.org/10.1007/978-3-642-38592-6_13 .

Travkin, Oleg, Annika Mütze, and Heike Wehrheim. “SPIN as a Linearizability Checker under Weak Memory Models.”https://doi.org/10.1007/978-3-319-03077-7_21__In Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, edited by Valeria Bertacco and Axel Legay, 311--326. Lecture Notes in Computer Science, 2013.https://doi.org/10.1007/978-3-319-03077-7_21 .

Dongol, Brijesh, Oleg Travkin, John Derrick, and Heike Wehrheim. “A High-Level Semantics for Program Execution under Total Store Order Memory.”https://doi.org/10.1007/978-3-642-39718-9_11__In Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu, Jim Woodcock, and Huibiao Zhu, 177--194. Lecture Notes in Computer Science, 2013.https://doi.org/10.1007/978-3-642-39718-9_11 .

Ziegert, Steffen, and Heike Wehrheim. “Temporal Reconfiguration Plans for Self-Adaptive Systems.” In Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen, edited by Stefan Kowalewski and Bernhard Rumpe, 271--284. LNI, 2013.

Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Zero Overhead Runtime Monitoring.”https://doi.org/10.1007/978-3-642-40561-7_17__In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 244–58. LNCS, 2013.https://doi.org/10.1007/978-3-642-40561-7_17 .

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

Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs – A PCC Alternative.”https://doi.org/10.1007/978-3-642-39799-8_65__In Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 912–27. LNCS, 2013.https://doi.org/10.1007/978-3-642-39799-8_65 .

Walther, Sven, and Heike Wehrheim. “Knowledge-Based Verification of Service Compositions - An SMT Approach.”https://doi.org/10.1109/ICECCS.2013.14__In Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 24–32, 2013.https://doi.org/10.1109/ICECCS.2013.14 .

Travkin, Oleg, Heike Wehrheim, and Gerhard Schellhorn. “Proving Linearizability of Multiset with Local Proof Obligations.” ECEASST, 2012.

Ruhroth, Thomas, and Heike Wehrheim. “Model Evolution and Refinement.”https://doi.org/10.1016/j.scico.2011.04.007__Sci. Comput. Program., no. 3 (2012): 270--289.https://doi.org/10.1016/j.scico.2011.04.007 .

Schellhorn, Gerhard, Heike Wehrheim, and John Derrick. “How to Prove Algorithms Linearisable.”https://doi.org/10.1007/978-3-642-31424-7_21__In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by P. Madhusudan and Sanjit A. Seshia, 243--259. Lecture Notes in Computer Science, 2012.https://doi.org/10.1007/978-3-642-31424-7_21 .

Wonisch, Daniel, and Heike Wehrheim. “Predicate Analysis with Block-Abstraction Memoization.”https://doi.org/10.1007/978-3-642-34281-3_24__In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 332–47. LNCS, 2012.https://doi.org/10.1007/978-3-642-34281-3_24 .

Timm, Nils, Heike Wehrheim, and Mike Czech. “Heuristic-Guided Abstraction Refinement for Concurrent Systems.”https://doi.org/10.1007/978-3-642-34281-3_25__In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 348–63. LNCS, 2012.https://doi.org/10.1007/978-3-642-34281-3_25 .

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

Besova, Galina, Sven Walther, Heike Wehrheim, and Steffen Becker. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.”https://doi.org/10.1007/978-3-642-33666-9_49__In Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS), 776–92. LNCS, 2012.https://doi.org/10.1007/978-3-642-33666-9_49 .

Schneider, Steve, Helen Treharne, and Heike Wehrheim. “Bounded Retransmission in Event-B\'70arallelCSP: A Case Study.”https://doi.org/10.1016/j.entcs.2011.11.019__Electr. Notes Theor. Comput. Sci., 2011, 69--80.https://doi.org/10.1016/j.entcs.2011.11.019 .

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanically Verified Proof Obligations for Linearizability.”https://doi.org/10.1145/1889997.1890001__ACM Trans. Program. Lang. Syst., no. 1 (2011): 4:1--4:43.https://doi.org/10.1145/1889997.1890001 .

Ruhroth, Thomas, Heike Wehrheim, and Steffen Ziegert. “ReL: A Generic Refactoring Language for Specification and Execution.”https://doi.org/10.1109/SEAA.2011.22__In 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 83--90, 2011.https://doi.org/10.1109/SEAA.2011.22 .

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Linearisability with Potential Linearisation Points.”https://doi.org/10.1007/978-3-642-21437-0_25__In FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer Science, 2011.https://doi.org/10.1007/978-3-642-21437-0_25 .

Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Sound and Complete Abstract Graph Transformation.”https://doi.org/10.1007/978-3-642-25032-3_7__In Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim\'7eao and Carroll Morgan, 92--107. Lecture Notes in Computer Science, 2011.https://doi.org/10.1007/978-3-642-25032-3_7 .

Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A CSP Account of Event-B Refinement.”https://doi.org/10.4204/EPTCS.55.9__In Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick, Eerke A. Boiten, and Steve Reeves, 139--154. EPTCS, 2011.https://doi.org/10.4204/EPTCS.55.9 .

Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).”https://doi.org/10.1016/j.scico.2011.01.009__Science of Computer Programming, no. 10 (2011): 835--836.https://doi.org/10.1016/j.scico.2011.01.009 .

Besova, Galina, Heike Wehrheim, and Annika Wagner. “Reputation-Based Reliability Prediction of Service Compositions.”https://doi.org/10.1016/j.entcs.2011.11.008__Electronic Notes in Theoretical Computer Science, no. 2 (2011): 3–16.https://doi.org/10.1016/j.entcs.2011.11.008 .

Schremmer, Alexander. Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.

Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A CSP Approach to Control in Event-B.”https://doi.org/10.1007/978-3-642-16265-7_19__In Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M\rquote ery and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-16265-7_19 .

Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim. “SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.”https://doi.org/10.1007/978-3-642-12002-2_22__In Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, edited by Javier Esparza and Rupak Majumdar, 271--274. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-12002-2_22 .

Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Towards A Shape Analysis for Graph Transformation Systems.” CoRR, 2010.

Derrick, John, and Heike Wehrheim. “Model Transformations across Views.”https://doi.org/10.1016/j.scico.2009.11.004__Sci. Comput. Program., no. 3 (2010): 192--210.https://doi.org/10.1016/j.scico.2009.11.004 .

Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic UML.”https://doi.org/10.1007/978-3-642-17322-6_23__In Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels, Claus Lewerentz, Wilhelm Sch\'22afer, Andy Sch\'22urr, and Bernhard Westfechtel, 533--554. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-17322-6_23 .

Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.”https://doi.org/10.1007/978-3-642-16901-4_35__In Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-16901-4_35 .

Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.”https://doi.org/10.1007/978-3-642-16265-7_14__In Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M\rquote ery and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-16265-7_14 .

Wehrheim, Heike, and Daniel Wonisch. “Compositional CSP Traces Refinement Checking.”https://doi.org/10.1016/j.entcs.2009.08.022__Electr. Notes Theor. Comput. Sci., no. 2 (2009): 135--151.https://doi.org/10.1016/j.entcs.2009.08.022 .

Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.”https://doi.org/10.1016/j.entcs.2009.12.025__Electr. Notes Theor. Comput. Sci., 2009, 193--205.https://doi.org/10.1016/j.entcs.2009.12.025 .

Ruhroth, Thomas, Hendrik Voigt, and Heike Wehrheim. “Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.”https://doi.org/10.1109/SEAA.2009.39__In 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, 360--367, 2009.https://doi.org/10.1109/SEAA.2009.39 .

Leuschel, Michael, and Heike Wehrheim, eds. Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings. Lecture Notes in Computer Science, 2009.https://doi.org/10.1007/978-3-642-00255-7 .

Wehrheim, Heike. “Refinement in the Presence of Unknowns.”https://doi.org/10.1016/j.entcs.2008.02.023__Electr. Notes Theor. Comput. Sci., 2008, 255--264.https://doi.org/10.1016/j.entcs.2008.02.023 .

Estler, H.-Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?”https://doi.org/10.1016/j.entcs.2008.06.015__Electr. Notes Theor. Comput. Sci., 2008, 331--357.https://doi.org/10.1016/j.entcs.2008.06.015 .

Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Integrating a Formal Method into a Software Engineering Process with UML and Java.”https://doi.org/10.1007/s00165-007-0042-7__Formal Asp. Comput., no. 2 (2008): 161--204.https://doi.org/10.1007/s00165-007-0042-7 .

Brückner, Ingo, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. “Slicing Abstractions.” Fundam. Inform., no. 4 (2008): 369--392.

Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.”https://doi.org/10.1007/978-3-540-69100-6_7__In Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-69100-6_7 .

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.”https://doi.org/10.1007/978-3-540-68863-1_6__In Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 78--95. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-68863-1_6 .

Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for Compositional Verification.”https://doi.org/10.1007/978-3-540-88194-0_9__In Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-88194-0_9 .

Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”https://doi.org/10.1007/978-3-540-85762-4_26__In Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald, Anne Elisabeth Haxthausen, and H\'22usn\'22u Yenig\'22un, 380--394. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-85762-4_26 .

Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.”https://doi.org/10.1007/s00236-007-0042-3__Acta Inf., no. 1 (2007): 41--71.https://doi.org/10.1007/s00236-007-0042-3 .

Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.”https://doi.org/10.1016/j.entcs.2006.02.031__Electr. Notes Theor. Comput. Sci., no. 2 (2007): 47--67.https://doi.org/10.1016/j.entcs.2006.02.031 .

Estler, H.-Christian, Thomas Ruhroth, and Heike Wehrheim. “Modelchecking Correctness of Refactorings - Some Experiments.”https://doi.org/10.1016/j.entcs.2006.08.041__Electr. Notes Theor. Comput. Sci., 2007, 3--17.https://doi.org/10.1016/j.entcs.2006.08.041 .

Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.”https://doi.org/10.1007/978-3-540-89020-1_2__In Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch\'22urr, Manfred Nagl, and Albert Z\'22undorf, 17--31. Lecture Notes in Computer Science, 2007.https://doi.org/10.1007/978-3-540-89020-1_2 .