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