Zhang, G. (2016). Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn.
LibreCat: /record/162

Czech, M. (2016). Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn.
LibreCat: /record/164

Dewender, M. (2016). Verifikation von Service Kompositionen mit Spin. Universität Paderborn.
LibreCat: /record/133

Heinisch, P. (2016). Verifikation von Service Kompositionen mit Prolog. Universität Paderborn.
LibreCat: /record/134

Jakobs, M.-C. (2015). Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM) (pp. 159--174).https://doi.org/10.1007/978-3-319-22969-0_12 
LibreCat: /record/250
DOI: 10.1007/978-3-319-22969-0_12

Czech, M., Jakobs, M.-C., &; Wehrheim, H. (2015). Just test what you cannot verify! In A. Egyed &; I. Schaefer (Eds.), Fundamental Approaches to Software Engineering (pp. 100–114).https://doi.org/10.1007/978-3-662-46675-9_7 
LibreCat: /record/283
DOI: 10.1007/978-3-662-46675-9_7

Isenberg, T. (2015). Incremental Inductive Verification of Parameterized Timed Systems. In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD) (pp. 1–9).https://doi.org/10.1109/ACSD.2015.13 
LibreCat: /record/285
DOI: 10.1109/ACSD.2015.13

Besova, G. (2015). Systematic Development and Re-Use of Model Tranformations. Universität Paderborn.
LibreCat: /record/246

Jakobs, M.-C., &; Wehrheim, H. (2015). Programs from Proofs of Predicated Dataflow Analyses. In Proceedings of the 30th Annual ACM Symposium on Applied Computing (pp. 1729–1736).https://doi.org/10.1145/2695664.2695690 
LibreCat: /record/262
DOI: 10.1145/2695664.2695690

Besova, G., Steenken, D., &; Wehrheim, H. (2015). Grammar-based model transformations: Definition, execution, and quality properties. Computer Languages, Systems &; Structures, 116–138.https://doi.org/10.1016/j.cl.2015.05.003 
LibreCat: /record/290
DOI: 10.1016/j.cl.2015.05.003

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