Doherty, Simon, et al. “Brief Announcement: Generalising Concurrent Correctness to Weak Memory.”10.4230/LIPIcs.DISC.2018.45__32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3, doi:10.4230/LIPIcs.DISC.2018.45.
LibreCat: /record/6839
DOI: 10.4230/LIPIcs.DISC.2018.45

Isenberg, Tobias, et al. “Validity of Software Verification Results on Approximate Hardware.”10.1109/LES.2017.2758200__IEEE Embedded Systems Letters, Institute of Electrical and Electronics Engineers (IEEE), 2018, pp. 22–25, doi:10.1109/LES.2017.2758200.
LibreCat: /record/1043
DOI: 10.1109/LES.2017.2758200

Beyer, Dirk, et al. “Reducer-Based Construction of Conditional Verifiers.” Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.
LibreCat: /record/1096

Börding, Paul. Testing Java Method Contracts. Universität Paderborn, 2017.
LibreCat: /record/3512

Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.”10.1007/978-3-319-68690-5_22__Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings, edited by Zhenhua Duan and Luke Ong, 2017, pp. 362--378, doi:10.1007/978-3-319-68690-5_22.
LibreCat: /record/3155
DOI: 10.1007/978-3-319-68690-5_22

König, Jürgen, and Heike Wehrheim. “Value-Based or Conflict-Based? Opacity Definitions for STMs.”10.1007/978-3-319-67729-3_8__Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, edited by Dang Van Hung and Deepak Kapur, 2017, pp. 118--135, doi:10.1007/978-3-319-67729-3_8.
LibreCat: /record/3156
DOI: 10.1007/978-3-319-67729-3_8

Jakobs, Marie-Christine, and Heike Wehrheim. “Compact Proof Witnesses.”10.1007/978-3-319-57288-8_28__NASA Formal Methods: 9th International Symposium, edited by Clark Barrett et al., 2017, pp. 389–403, doi:10.1007/978-3-319-57288-8_28.
LibreCat: /record/114
DOI: 10.1007/978-3-319-57288-8_28

Jakobs, Marie-Christine, et al. “Certiû01cation Matters for Service Markets.” The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), edited by Thomas Prinz Marcelo De Barros, Janusz Klink,Tadeus Uhl, 2017, pp. 7–12.
LibreCat: /record/115

Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.”10.1145/2984640__ACM Transactions on Embedded Computing Systems, no. 2, ACM, 2017, pp. 47:1-47:24, doi:10.1145/2984640.
LibreCat: /record/90
DOI: 10.1145/2984640

Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.”10.1007/978-3-319-68690-5_22__Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–78, doi:10.1007/978-3-319-68690-5_22.
LibreCat: /record/5769
DOI: 10.1007/978-3-319-68690-5_22

Walther, Sven. Knowledge-Based Verification of Service Compositions. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-307.
LibreCat: /record/707
DOI: 10.17619/UNIPB/1-307

Czech, Mike, et al. “Predicting Rankings of Software Verification Tools.”10.1145/3121257.3121262__Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26, doi:10.1145/3121257.3121262.
LibreCat: /record/71
DOI: 10.1145/3121257.3121262

Czech, Mike, et al. Predicting Rankings of Software Verification Competitions. 2017.
LibreCat: /record/72

Isenberg, Tobias, et al. “Proof-Carrying Hardware via Inductive Invariants.”10.1145/3054743__ACM Transactions on Design Automation of Electronic Systems, no. 4, ACM, 2017, pp. 61:1--61:23, doi:10.1145/3054743.
LibreCat: /record/68
DOI: 10.1145/3054743

Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-104.
LibreCat: /record/685
DOI: 10.17619/UNIPB/1-104

Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.”10.1145/3014427__ACM Transactions on Programming Languages and Systems, no. 2, ACM, 2017, pp. 7:1-7:56, doi:10.1145/3014427.
LibreCat: /record/69
DOI: 10.1145/3014427

Pauck, Felix. Cooperative Static Analysis of Android Applications. Universität Paderborn, 2017.
LibreCat: /record/109

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

Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.”10.1007/978-3-319-45943-1_13__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, edited by Maurice H. ter Beek et al., 2016, pp. 189--204, doi:10.1007/978-3-319-45943-1_13.
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

Travkin, Oleg, and Heike Wehrheim. “Verification of Concurrent Programs on Weak Memory Models.”10.1007/978-3-319-46750-4_1__Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, edited by Augusto Sampaio and Farn Wang, 2016, pp. 3--24, doi:10.1007/978-3-319-46750-4_1.
LibreCat: /record/3158
DOI: 10.1007/978-3-319-46750-4_1