Schneider, S. B., Sharma, A., Karl, H., &; Wehrheim, H. (2019). Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM) (pp. 116--124). Washington, DC, USA: IFIP.
LibreCat: /record/3287

Sharma, A., &; Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In Proceedings of the Software Engineering Conference (SE) (Vol. P-292, pp. 157–158). Stuttgart: Gesellschaft für Informatik e.V. (GI).
LibreCat: /record/7752

Zhang, S. (2019). Combining Android Apps for Analysis Purposes. Universität Paderborn.
LibreCat: /record/7623

Sharma, A., &; Wehrheim, H. (2019). Testing Machine Learning Algorithms for Balanced Data Usage. In IEEE International Conference on Software Testing, Verification and Validation (ICST) (pp. 125--135). Xi’an, China: IEEE.
LibreCat: /record/7635

Haltermann, J. F. (2019). Analyzing Data Usage in Array Programs.
LibreCat: /record/12885

Pauck, F., &; Zhang, S. (2019). Android App Merging for Benchmark Speed-Up and Analysis Lift-Up. In 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW).https://doi.org/10.1109/asew.2019.00019 
LibreCat: /record/15838
DOI: 10.1109/asew.2019.00019

Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., &; Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In M. H. ter Beek, A. McIver, &; J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Vol. 11800, pp. 179–195). Springer.https://doi.org/10.1007/978-3-030-30942-8‑12 
LibreCat: /record/16215
DOI: 10.1007/978-3-030-30942-8‑12

Russo, A., Schürr, A., &; Wehrheim, H. (2019). Editorial. Formal Asp. Comput., 31(5), 457–458.https://doi.org/10.1007/s00165-019-00495-y 
LibreCat: /record/16216
DOI: 10.1007/s00165-019-00495-y

Fränzle, M., Kapur, D., Wehrheim, H., &; Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1.https://doi.org/10.1007/s00165-018-00477-6 
LibreCat: /record/16217
DOI: 10.1007/s00165-018-00477-6

Beyer, D., &; Jakobs, M.-C. (2019). CoVeriTest: Cooperative Verifier-Based Testing. In Fundamental Approaches to Software Engineering. Cham.https://doi.org/10.1007/978-3-030-16722-6_23 
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., &; Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (pp. 179–195).https://doi.org/10.1007/978-3-030-30942-8‑12 
LibreCat: /record/13993
DOI: 10.1007/978-3-030-30942-8‑12

Fränzle, M., Kapur, D., Wehrheim, H., &; Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1.https://doi.org/10.1007/s00165-018-00477-6 
LibreCat: /record/10011
DOI: 10.1007/s00165-018-00477-6

König, J., &; Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger &; K. Yvonne Rozier (Eds.), NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Vol. 11460, pp. 263–279). Springer.https://doi.org/10.1007/978-3-030-20652-9‑18 
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

Doherty, S., Dongol, B., Wehrheim, H., &; Derrick, J. (2019). Verifyinghttps://doi.org/10.1145/3293883.3295702__programs operationally. In J. K. Hollingsworth &; I. Keidar (Eds.), Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019 (pp. 355–365). ACM.https://doi.org/10.1145/3293883.3295702 
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

Beyer, D., Jakobs, M.-C., Lemberger, T., &; Wehrheim, H. (2019). Combining Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic, G. Herzwurm, &; S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 151--152). GI.https://doi.org/10.18420/se2019-46 
LibreCat: /record/10093
DOI: 10.18420/se2019-46

Sharma, A., &; Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In S. Becker, I. Bogicevic, G. Herzwurm, &; S. Wagner (Eds.), Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 157–158). GI.https://doi.org/10.18420/se2019-48 
LibreCat: /record/10094
DOI: 10.18420/se2019-48

Richter, C., &; Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In D. Beyer, M. Huisman, F. Kordon, &; B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Vol. 11429, pp. 229–233). Springer.https://doi.org/10.1007/978-3-030-17502-3_19 
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19

Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn.
LibreCat: /record/10105

Pauck, F., &; Wehrheim, H. (2019). Together Strong: Cooperative Android App Analysis. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 374–384.https://doi.org/10.1145/3338906.3338915 
LibreCat: /record/10108
DOI: 10.1145/3338906.3338915

Isenberg, T., Jakobs, M.-C., Pauck, F., &; Wehrheim, H. (2019). When Are Software Verification Results Valid for Approximate Hardware? Tests and Proofs - 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 3–20.https://doi.org/10.1007/978-3-030-31157-5_1 
LibreCat: /record/13874
DOI: 10.1007/978-3-030-31157-5_1

Rautenberg, K. (2018). Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn.
LibreCat: /record/3320

Börding, P., Haltermann, J. F., Jakobs, M.-C., &; Wehrheim, H. (2018). JMCTest: Automatically Testing Inter-Method Contracts in Java. In Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018) (Vol. 11146, pp. 39--55). Cádiz, Spain: Springer.
LibreCat: /record/3414

Schellhorn, G., Wedel, M., Travkin, O., König, J., &; Wehrheim, H. (2018). FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In Software Engineering and Formal Methods (pp. 105–120). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-92970-5_7 
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7

Doherty, S., Derrick, J., Dongol, B., &; Wehrheim, H. (2018). Causal Linearizability: Compositionality for Partially Ordered Executions. CoRR.
LibreCat: /record/3153

Pauck, F., Bodden, E., &; Wehrheim, H. (2018). Do Android Taint Analysis Tools Keep their Promises? ArXiv:1804.02903.
LibreCat: /record/2711

Töws, M., &; Wehrheim, H. (2018). Information Flow Certificates. In Theoretical Aspects of Computing – ICTAC 2018 (pp. 435–454). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-030-02508-3_23 
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

Pauck, F., Bodden, E., &; Wehrheim, H. (2018). Do Android taint analysis tools keep their promises? In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018. ACM Press.https://doi.org/10.1145/3236024.3236029 
LibreCat: /record/4999
DOI: 10.1145/3236024.3236029

Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., Travkin, O., &; Wehrheim, H. (2018). Mechanized proofs of opacity: a comparison of two techniques. Formal Asp. Comput., 30(5), 597–625.https://doi.org/10.1007/s00165-017-0433-3 
LibreCat: /record/6828
DOI: 10.1007/s00165-017-0433-3

Doherty, S., Dongol, B., Wehrheim, H., &; Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129).https://doi.org/10.1007/978-3-319-98938-9‑7 
LibreCat: /record/6836
DOI: 10.1007/978-3-319-98938-9‑7

Doherty, S., Dongol, B., Wehrheim, H., &; Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129).https://doi.org/10.1007/978-3-319-98938-9‑7 
LibreCat: /record/6838
DOI: 10.1007/978-3-319-98938-9‑7

Doherty, S., Dongol, B., Wehrheim, H., &; Derrick, J. (2018). Brief Announcement: Generalising Concurrent Correctness to Weak Memory. In 32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018 (pp. 45:1-45:3).https://doi.org/10.4230/LIPIcs.DISC.2018.45 
LibreCat: /record/6839
DOI: 10.4230/LIPIcs.DISC.2018.45

Isenberg, T., Jakobs, M.-C., Pauck, F., &; Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters, 22–25.https://doi.org/10.1109/LES.2017.2758200 
LibreCat: /record/1043
DOI: 10.1109/LES.2017.2758200

Beyer, D., Jakobs, M.-C., Lemberger, T., &; Wehrheim, H. (2018). Reducer-Based Construction of Conditional Verifiers. In Proceedings of the 40th International Conference on Software Engineering (ICSE) (pp. 1182--1193). Gothenburg, Sweden: ACM.
LibreCat: /record/1096

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

Töws, M., &; Wehrheim, H. (2017). Policy Dependent and Independent Information Flow Analyses. In Z. Duan &; L. Ong (Eds.), Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings (pp. 362--378).https://doi.org/10.1007/978-3-319-68690-5_22 
LibreCat: /record/3155
DOI: 10.1007/978-3-319-68690-5_22

König, J., &; Wehrheim, H. (2017). Value-Based or Conflict-Based? Opacity Definitions for STMs. In D. Van Hung &; D. Kapur (Eds.), Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (pp. 118--135).https://doi.org/10.1007/978-3-319-67729-3_8 
LibreCat: /record/3156
DOI: 10.1007/978-3-319-67729-3_8

Jakobs, M.-C., &; Wehrheim, H. (2017). Compact Proof Witnesses. In C. Barrett, M. Davies, &; T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium (pp. 389–403).https://doi.org/10.1007/978-3-319-57288-8_28 
LibreCat: /record/114
DOI: 10.1007/978-3-319-57288-8_28

Jakobs, M.-C., Krämer, J., van Straaten, D., &; Lettmann, T. (2017). Certiû01cation Matters for Service Markets. In T. P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION) (pp. 7–12).
LibreCat: /record/115

Isenberg, T. (2017). Incremental Inductive Verification of Parameterized Timed Systems. ACM Transactions on Embedded Computing Systems, (2), 47:1-47:24.https://doi.org/10.1145/2984640 
LibreCat: /record/90
DOI: 10.1145/2984640

Töws, M., &; Wehrheim, H. (2017). Policy Dependent and Independent Information Flow Analyses. In Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017) (pp. 362–378). Springer International Publishing.https://doi.org/10.1007/978-3-319-68690-5_22 
LibreCat: /record/5769
DOI: 10.1007/978-3-319-68690-5_22

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