Walther, S. (2017). Knowledge-based Verification of Service Compositions. Universität Paderborn.https://doi.org/10.17619/UNIPB/1-307 
LibreCat: /record/707
DOI: 10.17619/UNIPB/1-307

Czech, M., Hüllermeier, E., Jakobs, M.-C., &; Wehrheim, H. (2017). Predicting Rankings of Software Verification Tools. In Proceedings of the 3rd International Workshop on Software Analytics (pp. 23–26).https://doi.org/10.1145/3121257.3121262 
LibreCat: /record/71
DOI: 10.1145/3121257.3121262

Czech, M., Hüllermeier, E., Jakobs, M.-C., &; Wehrheim, H. (2017). Predicting Rankings of Software Verification Competitions.
LibreCat: /record/72

Isenberg, T., Platzner, M., Wehrheim, H., &; Wiersema, T. (2017). Proof-Carrying Hardware via Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems, (4), 61:1--61:23.https://doi.org/10.1145/3054743 
LibreCat: /record/68
DOI: 10.1145/3054743

Jakobs, M.-C. (2017). On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn.https://doi.org/10.17619/UNIPB/1-104 
LibreCat: /record/685
DOI: 10.17619/UNIPB/1-104

Jakobs, M.-C., &; Wehrheim, H. (2017). Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Transactions on Programming Languages and Systems, (2), 7:1-7:56.https://doi.org/10.1145/3014427 
LibreCat: /record/69
DOI: 10.1145/3014427

Pauck, F. (2017). Cooperative static analysis of Android applications. Universität Paderborn.
LibreCat: /record/109

Bröcher, H. (2016). Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn.
LibreCat: /record/201

Beringer, S., &; Wehrheim, H. (2016). Verification of AUTOSAR Software Architectures with Timed Automata. In M. H. ter Beek, S. Gnesi, &; A. Knapp (Eds.), Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings (pp. 189--204).https://doi.org/10.1007/978-3-319-45943-1_13 
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

Travkin, O., &; Wehrheim, H. (2016). Verification of Concurrent Programs on Weak Memory Models. In A. Sampaio &; F. Wang (Eds.), Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings (pp. 3--24).https://doi.org/10.1007/978-3-319-46750-4_1 
LibreCat: /record/3158
DOI: 10.1007/978-3-319-46750-4_1

Schellhorn, G., Travkin, O., &; Wehrheim, H. (2016). Towards a Thread-Local Proof Technique for Starvation Freedom. In M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (pp. 193--209).https://doi.org/10.1007/978-3-319-33693-0_13 
LibreCat: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., &; Wehrheim, H. (2016). Proving Opacity of a Pessimistic STM. In P. Fatourou, E. Jim\rquote enez, &; F. Pedone (Eds.), 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain (pp. 35:1--35:17).https://doi.org/10.4230/LIPIcs.OPODIS.2016.35 
LibreCat: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

Isenberg, T., Jakobs, M.-Christine, Pauck, F., &; Wehrheim, H. (2016). Deriving approximation tolerance constraints from verification runs. CoRR.
LibreCat: /record/3161

Walther, S., &; Wehrheim, H. (2016). On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs. Science of Computer Programming, 2--23.https://doi.org/10.1016/j.scico.2016.04.002 
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

Czech, M., Jakobs, M.-C., &; Wehrheim, H. (2016). Just test what you cannot verify! In U. Z. Jens Knoop (Ed.), Software Engineering 2016 (pp. 17–18).
LibreCat: /record/186

Krämer, J., &; Wehrheim, H. (2016). A short survey on using software error localization for service compositions. In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016) (pp. 248--262).https://doi.org/10.1007/978-3-319-44482-6_16 
LibreCat: /record/224
DOI: 10.1007/978-3-319-44482-6_16

Krämer, J., &; Wehrheim, H. (2016). A Formal Approach to Error Localization and Correction in Service Compositions. In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) (pp. 445--457).https://doi.org/10.1007/978-3-319-50230-4_35 
LibreCat: /record/226
DOI: 10.1007/978-3-319-50230-4_35

Töws, M., &; Wehrheim, H. (2016). A CEGAR Scheme for Information Flow Analysis. In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016) (pp. 466--483).https://doi.org/10.1007/978-3-319-47846-3_29 
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

Jakobs, M.-C., Töws, M., &; Pauck, F. (2016). PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper). In T. E. Ishikawa F, Romanovsky A (Ed.), Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems.
LibreCat: /record/170

Isenberg, T. (2016). Induction-based Verification of Timed Systems. Universität Paderborn.
LibreCat: /record/1190

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

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