Zhang, Guangli. Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.

Czech, Mike. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.

Dewender, Markus. Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.

Heinisch, Philipp. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.

Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.”10.1007/978-3-319-22969-0_12__Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174, doi:10.1007/978-3-319-22969-0_12.

Czech, Mike, et al. “Just Test What You Cannot Verify!”10.1007/978-3-662-46675-9_7__Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 2015, pp. 100–14, doi:10.1007/978-3-662-46675-9_7.

Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.”10.1109/ACSD.2015.13__Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9, doi:10.1109/ACSD.2015.13.

Besova, Galina. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.

Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.”10.1145/2695664.2695690__Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–36, doi:10.1145/2695664.2695690.

Besova, Galina, et al. “Grammar-Based Model Transformations: Definition, Execution, and Quality Properties.”10.1016/j.cl.2015.05.003__Computer Languages, Systems &; Structures, Elsevier, 2015, pp. 116–38, doi:10.1016/j.cl.2015.05.003.

Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.”10.1007/s00450-014-0259-7__Computer Science - R &; D, no. 3–4, 2015, pp. 303--320, 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.”10.1007/978-3-319-23506-6_1__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 et al., 2015, pp. 3--4, doi:10.1007/978-3-319-23506-6_1.

Derrick, John, et al. “Verifying Opacity of a Transactional Mutex Lock.”10.1007/978-3-319-19249-9_11__FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bjrner and Frank S. de Boer, 2015, pp. 161--177, doi:10.1007/978-3-319-19249-9_11.

Wehrheim, Heike, and Oleg Travkin. “TSO to SC via Symbolic Execution.”10.1007/978-3-319-26287-1_7__Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, 2015, pp. 104--119, doi:10.1007/978-3-319-26287-1_7.

Meyer, Roland, et al., editors. 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. 2015, doi:10.1007/978-3-319-23506-6.

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

Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.

Becker, Matthias, et al. “Towards Systematic Configuration for Architecture Validation.” Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.

Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”10.1007/978-3-319-14130-5_14__Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203, doi:10.1007/978-3-319-14130-5_14.

Wonisch, Daniel, et al. “Programs from Proofs -- Approach and Applications.” Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.

Schneider, Steve, et al. “The Behavioural Semantics of Event-B Refinement.”10.1007/s00165-012-0265-0__Formal Asp. Comput., no. 2, 2014, pp. 251--280, doi:10.1007/s00165-012-0265-0.

Tofan, Bogdan, et al. “Two Approaches for Proving Linearizability of Multiset.”10.1016/j.scico.2014.04.001__Sci. Comput. Program., 2014, pp. 297--314, doi:10.1016/j.scico.2014.04.001.

Schellhorn, Gerhard, et al. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.”10.1145/2629496__ACM Trans. Comput. Log., no. 4, 2014, pp. 31:1--31:37, doi:10.1145/2629496.

Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.”10.1007/978-3-319-06410-9_15__FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones et al., 2014, pp. 200--214, doi:10.1007/978-3-319-06410-9_15.

Travkin, Oleg, and Heike Wehrheim. “Handling TSO in Mechanized Linearizability Proofs.”10.1007/978-3-319-13338-6_11__Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 2014, pp. 132--147, doi:10.1007/978-3-319-13338-6_11.

Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via I with Zones.”10.1007/978-3-319-11737-9_14__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, 2014, pp. 203--218, doi:10.1007/978-3-319-11737-9_14.

A. Schneider, Steve, et al. “Managing LTL Properties in Event-B Refinement.”10.1007/978-3-319-10181-1_14__Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 221--237, doi:10.1007/978-3-319-10181-1_14.

Schneider, Steve, et al. “Managing LTL Properties in Event-B Refinement.” CoRR, 2014.

Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via I.” CoRR, 2014.

Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable Program Analysis.”10.1145/2632362.2632372__Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39, doi:10.1145/2632362.2632372.

Jakobs, Marie-Christine, et al. “Integrating Software and Hardware Verification.”10.1007/978-3-319-10181-1_19__Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 2014, pp. 307–22, doi:10.1007/978-3-319-10181-1_19.

Besova, Galina, et al. “Grammar-Based Model Transformations.”10.1016/j.cl.2015.05.003__Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–10, doi: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, et al. “Bounded Model Checking of Graph Transformation Systems via SMT Solving.”10.1007/978-3-642-38592-6_13__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, 2013, pp. 178--192, doi:10.1007/978-3-642-38592-6_13.

Travkin, Oleg, et al. “SPIN as a Linearizability Checker under Weak Memory Models.”10.1007/978-3-319-03077-7_21__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, 2013, pp. 311--326, doi:10.1007/978-3-319-03077-7_21.

Dongol, Brijesh, et al. “A High-Level Semantics for Program Execution under Total Store Order Memory.”10.1007/978-3-642-39718-9_11__Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu et al., 2013, pp. 177--194, doi:10.1007/978-3-642-39718-9_11.

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

Wonisch, Daniel, et al. “Zero Overhead Runtime Monitoring.”10.1007/978-3-642-40561-7_17__Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–58, 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.

Wonisch, Daniel, et al. “Programs from Proofs – A PCC Alternative.”10.1007/978-3-642-39799-8_65__Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–27, doi:10.1007/978-3-642-39799-8_65.

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

Travkin, Oleg, et al. “Proving Linearizability of Multiset with Local Proof Obligations.” ECEASST, 2012.

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

Schellhorn, Gerhard, et al. “How to Prove Algorithms Linearisable.”10.1007/978-3-642-31424-7_21__Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by P. Madhusudan and Sanjit A. Seshia, 2012, pp. 243--259, doi:10.1007/978-3-642-31424-7_21.

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

Timm, Nils, et al. “Heuristic-Guided Abstraction Refinement for Concurrent Systems.”10.1007/978-3-642-34281-3_25__Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–63, doi:10.1007/978-3-642-34281-3_25.

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

Besova, Galina, et al. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.”10.1007/978-3-642-33666-9_49__Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS), 2012, pp. 776–92, doi:10.1007/978-3-642-33666-9_49.

Schneider, Steve, et al. “Bounded Retransmission in Event-B\'70arallelCSP: A Case Study.”10.1016/j.entcs.2011.11.019__Electr. Notes Theor. Comput. Sci., 2011, pp. 69--80, doi:10.1016/j.entcs.2011.11.019.

Derrick, John, et al. “Mechanically Verified Proof Obligations for Linearizability.”10.1145/1889997.1890001__ACM Trans. Program. Lang. Syst., no. 1, 2011, pp. 4:1--4:43, doi:10.1145/1889997.1890001.