Ziegert, S., &; Wehrheim, H. (2015). Temporal plans for software architecture reconfiguration. Computer Science - R &; D, (3–4), 303--320.https://doi.org/10.1007/s00450-014-0259-7 
LibreCat: /record/3162
DOI: 10.1007/s00450-014-0259-7

Meyer, R., &; Wehrheim, H. (2015). From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog. In R. Meyer, A. Platzer, &; H. 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 (pp. 3--4).https://doi.org/10.1007/978-3-319-23506-6_1 
LibreCat: /record/3163
DOI: 10.1007/978-3-319-23506-6_1

Derrick, J., Dongol, B., Schellhorn, G., Travkin, O., &; Wehrheim, H. (2015). Verifying Opacity of a Transactional Mutex Lock. In N. Bjrner &; F. S. de Boer (Eds.), FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (pp. 161--177).https://doi.org/10.1007/978-3-319-19249-9_11 
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11

Wehrheim, H., &; Travkin, O. (2015). TSO to SC via Symbolic Execution. In N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (pp. 104--119).https://doi.org/10.1007/978-3-319-26287-1_7 
LibreCat: /record/3165
DOI: 10.1007/978-3-319-26287-1_7

Meyer, R., Platzer, A., &; Wehrheim, H. (Eds.). (2015). 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.https://doi.org/10.1007/978-3-319-23506-6 
LibreCat: /record/3166
DOI: 10.1007/978-3-319-23506-6

Walther, S., &; Wehrheim, H. (2014). Verified Service Compositions by Template-Based Construction. In I. Lanese &; E. Madelaine (Eds.), Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS) (pp. 31–48).https://doi.org/10.1007/978-3-319-15317-9_3 
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

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

Becker, M., Becker, S., Besova, G., Walther, S., &; Wehrheim, H. (2014). Towards Systematic Configuration for Architecture Validation. In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session).
LibreCat: /record/344

Mohr, F., &; Walther, S. (2014). Template-based Generation of Semantic Services. In Proceedings of the 14th International Conference on Software Reuse (ICSR) (pp. 188–203).https://doi.org/10.1007/978-3-319-14130-5_14 
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2014). Programs from Proofs -- Approach and Applications. In Proceedings of the Software Engineering Conference (SE) (pp. 67–68).
LibreCat: /record/383

Schneider, S., Treharne, H., &; Wehrheim, H. (2014). The behavioural semantics of Event-B refinement. Formal Asp. Comput., (2), 251--280.https://doi.org/10.1007/s00165-012-0265-0 
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

Tofan, B., Travkin, O., Schellhorn, G., &; Wehrheim, H. (2014). Two approaches for proving linearizability of multiset. Sci. Comput. Program., 297--314.https://doi.org/10.1016/j.scico.2014.04.001 
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

Schellhorn, G., Derrick, J., &; Wehrheim, H. (2014). A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. ACM Trans. Comput. Log., (4), 31:1--31:37.https://doi.org/10.1145/2629496 
LibreCat: /record/3169
DOI: 10.1145/2629496

Derrick, J., Dongol, B., Schellhorn, G., Tofan, B., Travkin, O., &; Wehrheim, H. (2014). Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In C. B. Jones, P. Pihlajasaari, &; J. Sun (Eds.), FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 200--214).https://doi.org/10.1007/978-3-319-06410-9_15 
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

Travkin, O., &; Wehrheim, H. (2014). Handling TSO in Mechanized Linearizability Proofs. In E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings (pp. 132--147).https://doi.org/10.1007/978-3-319-13338-6_11 
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

Isenberg, T., &; Wehrheim, H. (2014). Timed Automata Verification via I with Zones. In S. Merz &; J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings (pp. 203--218).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, S., Treharne, H., Wehrheim, H., &; M. Williams, D. (2014). Managing LTL Properties in Event-B Refinement. In E. Albert &; E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (pp. 221--237).https://doi.org/10.1007/978-3-319-10181-1_14 
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

Schneider, S., Treharne, H., Wehrheim, H., &; M. Williams, D. (2014). Managing LTL properties in Event-B refinement. CoRR.
LibreCat: /record/3174

Isenberg, T., &; Wehrheim, H. (2014). Proof-Carrying Hardware via I. CoRR.
LibreCat: /record/3175

Jakobs, M.-C., &; Wehrheim, H. (2014). Certification for Configurable Program Analysis. In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN) (pp. 30–39).https://doi.org/10.1145/2632362.2632372 
LibreCat: /record/450
DOI: 10.1145/2632362.2632372

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

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

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

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

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

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

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 
LibreCat: /record/3181
DOI: 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 
LibreCat: /record/3182
DOI: 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 
LibreCat: /record/590
DOI: 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 
LibreCat: /record/608
DOI: 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 
LibreCat: /record/627
DOI: 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 
LibreCat: /record/565
DOI: 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 
LibreCat: /record/3183
DOI: 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 
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

Ruhroth, T., Wehrheim, H., &; Ziegert, S. (2011). ReL: A Generic Refactoring Language for Specification and Execution. In 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011 (pp. 83--90).https://doi.org/10.1109/SEAA.2011.22 
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2011). Verifying Linearisability with Potential Linearisation Points. In M. J. Butler &; W. Schulte (Eds.), FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings (pp. 323--337).https://doi.org/10.1007/978-3-642-21437-0_25 
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

Steenken, D., Wehrheim, H., &; Wonisch, D. (2011). Sound and Complete Abstract Graph Transformation. In A. da Silva Sim\'7eao &; C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers (pp. 92--107).https://doi.org/10.1007/978-3-642-25032-3_7 
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

Schneider, S., Treharne, H., &; Wehrheim, H. (2011). A CSP Account of Event-B Refinement. In J. Derrick, E. A. Boiten, &; S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. (pp. 139--154).https://doi.org/10.4204/EPTCS.55.9 
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

Leuschel, M., &; Wehrheim, H. (2011). Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming, (10), 835--836.https://doi.org/10.1016/j.scico.2011.01.009 
LibreCat: /record/647
DOI: 10.1016/j.scico.2011.01.009

Besova, G., Wehrheim, H., &; Wagner, A. (2011). Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science, (2), 3–16.https://doi.org/10.1016/j.entcs.2011.11.008 
LibreCat: /record/649
DOI: 10.1016/j.entcs.2011.11.008

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

Schneider, S., Treharne, H., &; Wehrheim, H. (2010). A CSP Approach to Control in Event-B. In D. M\rquote ery &; S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 260--274).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, K., Kupriyanov, A., Finkbeiner, B., &; Wehrheim, H. (2010). SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza &; R. Majumdar (Eds.), 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 (pp. 271--274).https://doi.org/10.1007/978-3-642-12002-2_22 
LibreCat: /record/3196
DOI: 10.1007/978-3-642-12002-2_22

Steenken, D., Wehrheim, H., &; Wonisch, D. (2010). Towards A Shape Analysis for Graph Transformation Systems. CoRR.
LibreCat: /record/3198