Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.”https://doi.org/10.1007/s00450-014-0259-7__Computer Science - R &; D, no. 3–4 (2015): 303--320.https://doi.org/10.1007/s00450-014-0259-7 .
LibreCat: /record/3162
DOI: 10.1007/s00450-014-0259-7

Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog.”https://doi.org/10.1007/978-3-319-23506-6_1__In Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, edited by Roland Meyer, Andr\rquote e Platzer, and Heike Wehrheim, 3--4. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-23506-6_1 .
LibreCat: /record/3163
DOI: 10.1007/978-3-319-23506-6_1

Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, and Heike Wehrheim. “Verifying Opacity of a Transactional Mutex Lock.”https://doi.org/10.1007/978-3-319-19249-9_11__In FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bjrner and Frank S. de Boer, 161--177. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-19249-9_11 .
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11

Wehrheim, Heike, and Oleg Travkin. “TSO to SC via Symbolic Execution.”https://doi.org/10.1007/978-3-319-26287-1_7__In Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, 104--119. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-26287-1_7 .
LibreCat: /record/3165
DOI: 10.1007/978-3-319-26287-1_7

Meyer, Roland, Andr\rquote e Platzer, and Heike Wehrheim, eds. Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-23506-6 .
LibreCat: /record/3166
DOI: 10.1007/978-3-319-23506-6

Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.”https://doi.org/10.1007/978-3-319-15317-9_3__In Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 31–48. LNCS, 2014.https://doi.org/10.1007/978-3-319-15317-9_3 .
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.
LibreCat: /record/340

Becker, Matthias, Steffen Becker, Galina Besova, Sven Walther, and Heike Wehrheim. “Towards Systematic Configuration for Architecture Validation.” In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat: /record/344

Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”https://doi.org/10.1007/978-3-319-14130-5_14__In Proceedings of the 14th International Conference on Software Reuse (ICSR), 188–203. LNCS, 2014.https://doi.org/10.1007/978-3-319-14130-5_14 .
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs -- Approach and Applications.” In Proceedings of the Software Engineering Conference (SE), 67–68. Lecture Notes in Informatics (LNI), 2014.
LibreCat: /record/383

Schneider, Steve, Helen Treharne, and Heike Wehrheim. “The Behavioural Semantics of Event-B Refinement.”https://doi.org/10.1007/s00165-012-0265-0__Formal Asp. Comput., no. 2 (2014): 251--280.https://doi.org/10.1007/s00165-012-0265-0 .
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

Tofan, Bogdan, Oleg Travkin, Gerhard Schellhorn, and Heike Wehrheim. “Two Approaches for Proving Linearizability of Multiset.”https://doi.org/10.1016/j.scico.2014.04.001__Sci. Comput. Program., 2014, 297--314.https://doi.org/10.1016/j.scico.2014.04.001 .
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

Schellhorn, Gerhard, John Derrick, and Heike Wehrheim. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.”https://doi.org/10.1145/2629496__ACM Trans. Comput. Log., no. 4 (2014): 31:1--31:37.https://doi.org/10.1145/2629496 .
LibreCat: /record/3169
DOI: 10.1145/2629496

Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, and Heike Wehrheim. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.”https://doi.org/10.1007/978-3-319-06410-9_15__In FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones, Pekka Pihlajasaari, and Jun Sun, 200--214. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-06410-9_15 .
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

Travkin, Oleg, and Heike Wehrheim. “Handling TSO in Mechanized Linearizability Proofs.”https://doi.org/10.1007/978-3-319-13338-6_11__In Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 132--147. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-13338-6_11 .
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via I with Zones.”https://doi.org/10.1007/978-3-319-11737-9_14__In Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 203--218. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-11737-9_14 .
LibreCat: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

A. Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing LTL Properties in Event-B Refinement.”https://doi.org/10.1007/978-3-319-10181-1_14__In Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 221--237. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-10181-1_14 .
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing LTL Properties in Event-B Refinement.” CoRR, 2014.
LibreCat: /record/3174

Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via I.” CoRR, 2014.
LibreCat: /record/3175

Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable Program Analysis.”https://doi.org/10.1145/2632362.2632372__In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 30–39. SPIN 2014, 2014.https://doi.org/10.1145/2632362.2632372 .
LibreCat: /record/450
DOI: 10.1145/2632362.2632372

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 .
LibreCat: /record/408
DOI: 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 .
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

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

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 .
LibreCat: /record/3176
DOI: 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 .
LibreCat: /record/3177
DOI: 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 .
LibreCat: /record/3178
DOI: 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.
LibreCat: /record/3179

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 .
LibreCat: /record/469
DOI: 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.
LibreCat: /record/478

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 .
LibreCat: /record/498
DOI: 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 .
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14

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

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 .
LibreCat: /record/3181
DOI: 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 .
LibreCat: /record/3182
DOI: 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 .
LibreCat: /record/590
DOI: 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 .
LibreCat: /record/608
DOI: 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 .
LibreCat: /record/627
DOI: 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 .
LibreCat: /record/565
DOI: 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 .
LibreCat: /record/3183
DOI: 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 .
LibreCat: /record/3184
DOI: 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 .
LibreCat: /record/3185
DOI: 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 .
LibreCat: /record/3186
DOI: 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 .
LibreCat: /record/3187
DOI: 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 .
LibreCat: /record/3188
DOI: 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 .
LibreCat: /record/647
DOI: 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 .
LibreCat: /record/649
DOI: 10.1016/j.entcs.2011.11.008

Schremmer, Alexander. Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.
LibreCat: /record/658

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 .
LibreCat: /record/3195
DOI: 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 .
LibreCat: /record/3196
DOI: 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.
LibreCat: /record/3198