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

A. Sharma and H. Wehrheim, “Testing Balancedness of ML Algorithms,” in Proceedings of the Software Engineering Conference (SE), Stuttgart, 2019, vol. P-292, pp. 157–158.
LibreCat: /record/7752

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

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

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

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

J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “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, 2019, vol. 11800, pp. 179–195.
LibreCat: /record/16215
DOI: 10.1007/978-3-030-30942-8‑12

A. Russo, A. Schürr, and H. Wehrheim, “Editorial,” Formal Asp. Comput., vol. 31, no. 5, pp. 457–458, 2019.
LibreCat: /record/16216
DOI: 10.1007/s00165-019-00495-y

M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp. Comput., vol. 31, no. 1, p. 1, 2019.
LibreCat: /record/16217
DOI: 10.1007/s00165-018-00477-6

D. Beyer and M.-C. Jakobs, “CoVeriTest: Cooperative Verifier-Based Testing,” in Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “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, 2019, pp. 179–195.
LibreCat: /record/13993
DOI: 10.1007/978-3-030-30942-8‑12

M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp. Comput., vol. 31, no. 1, p. 1, 2019.
LibreCat: /record/10011
DOI: 10.1007/s00165-018-00477-6

J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,” in NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, 2019, vol. 11460, pp. 263–279.
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying  programs operationally,” in Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, 2019, pp. 355–365.
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers in Conditional Model Checking via Reducers,” in Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 151--152.
LibreCat: /record/10093
DOI: 10.18420/se2019-46

A. Sharma and H. Wehrheim, “Testing Balancedness of ML Algorithms,” in Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 157–158.
LibreCat: /record/10094
DOI: 10.18420/se2019-48

C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in 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, 2019, vol. 11429, pp. 229–233.
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19

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

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

T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “When Are Software Verification Results Valid for Approximate Hardware?,”10.1007/978-3-030-31157-5_1__in 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, 2019, pp. 3–20, doi:10.1007/978-3-030-31157-5_1 .
LibreCat: /record/13874
DOI: 10.1007/978-3-030-31157-5_1