Schellhorn, Gerhard, Oleg Travkin, and Heike Wehrheim. “Towards a Thread-Local Proof Technique for Starvation Freedom.”https://doi.org/10.1007/978-3-319-33693-0_13__In Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, edited by Marieke Huisman, 193--209. Lecture Notes in Computer Science, 2016.https://doi.org/10.1007/978-3-319-33693-0_13 .
LibreCat: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

Doherty, Simon, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. “Proving Opacity of a Pessimistic STM.”https://doi.org/10.4230/LIPIcs.OPODIS.2016.35__In 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, edited by Panagiota Fatourou, Ernesto Jim\rquote enez, and Fernando Pedone, 35:1--35:17. LIPIcs, 2016.https://doi.org/10.4230/LIPIcs.OPODIS.2016.35 .
LibreCat: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Deriving Approximation Tolerance Constraints from Verification Runs.” CoRR, 2016.
LibreCat: /record/3161

Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.”https://doi.org/10.1016/j.scico.2016.04.002__Science of Computer Programming, 2016, 2--23.https://doi.org/10.1016/j.scico.2016.04.002 .
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!” In Software Engineering 2016, edited by Uwe Zdun Jens Knoop, 17–18. Lecture Notes in Informatics, 2016.
LibreCat: /record/186

Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error Localization for Service Compositions.”https://doi.org/10.1007/978-3-319-44482-6_16__In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 248--262. LNCS, 2016.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, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization and Correction in Service Compositions.”https://doi.org/10.1007/978-3-319-50230-4_35__In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 445--457. LNCS, 2016.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, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.”https://doi.org/10.1007/978-3-319-47846-3_29__In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 466--483. LNCS, 2016.https://doi.org/10.1007/978-3-319-47846-3_29 .
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

Jakobs, Marie-Christine, Manuel Töws, and Felix Pauck. “PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper).” In Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, edited by Troubitsyna E Ishikawa F, Romanovsky A. School of Computing Science Technical Report Series, 2016.
LibreCat: /record/170

Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016.
LibreCat: /record/1190

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

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

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

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

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

Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!”https://doi.org/10.1007/978-3-662-46675-9_7__In Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 100–114. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-662-46675-9_7 .
LibreCat: /record/283
DOI: 10.1007/978-3-662-46675-9_7

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

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

Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.”https://doi.org/10.1145/2695664.2695690__In Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729–36. SAC ’15, 2015.https://doi.org/10.1145/2695664.2695690 .
LibreCat: /record/262
DOI: 10.1145/2695664.2695690

Besova, Galina, Dominik Steenken, and Heike Wehrheim. “Grammar-Based Model Transformations: Definition, Execution, and Quality Properties.”https://doi.org/10.1016/j.cl.2015.05.003__Computer Languages, Systems &; Structures, 2015, 116–38.https://doi.org/10.1016/j.cl.2015.05.003 .
LibreCat: /record/290
DOI: 10.1016/j.cl.2015.05.003