@inproceedingsSchneider_Sharma_Karl_Wehrheim_2019, place=Washington, DC, USA, title=Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets, booktitle=2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), publisher=IFIP, author=Schneider, Stefan Balthasar and Sharma, Arnab and Karl, Holger and Wehrheim, Heike, year=2019, pages=116--124 

@inproceedingsSharma_Wehrheim_2019, place=Stuttgart, series=Lecture Notes in Informatics (LNI), title=Testing Balancedness of ML Algorithms, volume=P-292, booktitle=Proceedings of the Software Engineering Conference (SE), publisher=Gesellschaft für Informatik e.V. (GI), author=Sharma, Arnab and Wehrheim, Heike, year=2019, pages=157–158, collection=Lecture Notes in Informatics (LNI) 

@bookZhang_2019, title=Combining Android Apps for Analysis Purposes, publisher=Universität Paderborn, author=Zhang, Shikun, year=2019 

@inproceedingsSharma_Wehrheim_2019, place=Xi’an, China, title=Testing Machine Learning Algorithms for Balanced Data Usage, booktitle=IEEE International Conference on Software Testing, Verification and Validation (ICST), publisher=IEEE, author=Sharma, Arnab and Wehrheim, Heike, year=2019, pages=125--135 

@bookHaltermann_2019, title=Analyzing Data Usage in Array Programs, author=Haltermann, Jan Frederik, year=2019 

@inproceedingsPauck_Zhang_2019, title=Android App Merging for Benchmark Speed-Up and Analysis Lift-Up, DOI=10.1109/asew.2019.00019, booktitle=2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), author=Pauck, Felix and Zhang, Shikun, year=2019 

@inproceedingsDerrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, series=Lecture Notes in Computer Science, title=Verifying Correctness of Persistent Concurrent Data Structures, volume=11800, DOI=10.1007/978-3-030-30942-8‑12, booktitle=Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, publisher=Springer, author=Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike, editor=H. ter Beek, Maurice and McIver, Annabelle and N. Oliveira, Jos\rquote eEditors, year=2019, pages=179–195, collection=Lecture Notes in Computer Science 

@articleRusso_Schürr_Wehrheim_2019, title=Editorial, volume=31, DOI=10.1007/s00165-019-00495-y, number=5, journal=Formal Asp. Comput., author=Russo, Alessandra and Schürr, Andy and Wehrheim, Heike, year=2019, pages=457–458 

@articleFränzle_Kapur_Wehrheim_Zhan_2019, title=Editorial, volume=31, DOI=10.1007/s00165-018-00477-6, number=1, journal=Formal Asp. Comput., author=Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun, year=2019, pages=1 

@inbookBeyer_Jakobs_2019, place=Cham, title=CoVeriTest: Cooperative Verifier-Based Testing, DOI=10.1007/978-3-030-16722-6_23, booktitle=Fundamental Approaches to Software Engineering, author=Beyer, Dirk and Jakobs, Marie-Christine, year=2019 

@inproceedingsDerrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, title=Verifying Correctness of Persistent Concurrent Data Structures, DOI=10.1007/978-3-030-30942-8‑12, booktitle=Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, author=Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike, year=2019, pages=179–195 

@articleFränzle_Kapur_Wehrheim_Zhan_2019, title=Editorial, volume=31, DOI=10.1007/s00165-018-00477-6, number=1, journal=Formal Asp. Comput., author=Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun, year=2019, pages=1 

@inproceedingsKönig_Wehrheim_2019, series=Lecture Notes in Computer Science, title=Data Independence for Software Transactional Memory, volume=11460, DOI=10.1007/978-3-030-20652-9‑18, booktitle=NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, publisher=Springer, author=König, Jürgen and Wehrheim, Heike, editor=M. Badger, Julia and Yvonne Rozier, KristinEditors, year=2019, pages=263–279, collection=Lecture Notes in Computer Science 

@inproceedingsDoherty_Dongol_Wehrheim_Derrick_2019, title=Verifying10.1145/3293883.3295702__programs operationally, DOI=10.1145/3293883.3295702, booktitle=Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, publisher=ACM, author=Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John, editor=K. Hollingsworth, Jeffrey and Keidar, IditEditors, year=2019, pages=355–365 

@inproceedingsBeyer_Jakobs_Lemberger_Wehrheim_2019, series=LNI, title=Combining Verifiers in Conditional Model Checking via Reducers, volume=P-292, DOI=10.18420/se2019-46, booktitle=Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, publisher=GI, author=Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike, editor=Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors, year=2019, pages=151--152, collection=LNI 

@inproceedingsSharma_Wehrheim_2019, series=LNI, title=Testing Balancedness of ML Algorithms, volume=P-292, DOI=10.18420/se2019-48, booktitle=Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, publisher=GI, author=Sharma, Arnab and Wehrheim, Heike, editor=Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors, year=2019, pages=157–158, collection=LNI 

@inproceedingsRichter_Wehrheim_2019, series=Lecture Notes in Computer Science, title=PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution), volume=11429, DOI=10.1007/978-3-030-17502-3_19, booktitle=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, publisher=Springer, author=Richter, Cedric and Wehrheim, Heike, editor=Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, BernhardEditors, year=2019, pages=229–233, collection=Lecture Notes in Computer Science 

@bookHaltermann_2019, title=Analyzing Data Usage in Array Programs, publisher=Universität Paderborn, author=Haltermann, Jan, year=2019 

@inproceedingsPauck_Wehrheim_2019, title=Together Strong: Cooperative Android App Analysis, DOI=10.1145/3338906.3338915, booktitle=Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, author=Pauck, Felix and Wehrheim, Heike, year=2019, pages=374–384 

@inproceedingsIsenberg_Jakobs_Pauck_Wehrheim_2019, title=When Are Software Verification Results Valid for Approximate Hardware?, DOI=10.1007/978-3-030-31157-5_1, booktitle=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, author=Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike, year=2019, pages=3–20