@bookSchott_2021, place=Paderborn, title=Android App Analysis Benchmark Case Generation, author=Schott, Stefan, year=2021 

@inproceedingsPauck_Wehrheim_2021, title=Jicer: Simplifying Cooperative Android App Analysis Tasks, DOI=10.1109/scam52516.2021.00031, booktitle=2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), author=Pauck, Felix and Wehrheim, Heike, year=2021 

@inproceedingsPauck_Wehrheim_2021, place=Bonn, title=Cooperative Android App Analysis with CoDiDroid, DOI=10.18420/SE2021_30 , booktitle=Software Engineering 2021, publisher=Gesellschaft für Informatik e.V., author=Pauck, Felix and Wehrheim, Heike, editor=Koziolek, Anne and Schaefer, Ina and Seidl, Christoph, year=2021, pages=83–84 

@inproceedingsSharma_Wehrheim, series=LNCS, title=Automatic Fairness Testing of Machine Learning Models, booktitle=Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), publisher=Springer, author=Sharma, Arnab and Wehrheim, Heike, collection=LNCS 

@bookMayer_2020, title=Optimierung von JMCTest beim Testen von Inter Method Contracts, publisher=Universität Paderborn, author=Mayer, Stefan, year=2020 

@inproceedingsBila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory, volume=12136, DOI=10.1007/978-3-030-50086-3‑3, booktitle=Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, publisher=Springer, author=Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Gotsman, Alexey and Sokolova, AnaEditors, year=2020, pages=39–58, collection=Lecture Notes in Computer Science 

@inproceedingsBeringer_Wehrheim_2020, title=Consistency Analysis of AUTOSAR Timing Requirements, DOI=10.5220/0009766600150026, booktitle=Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, publisher=ScitePress, author=Beringer, Steffen and Wehrheim, Heike, editor=van Sinderen, Marten and Fill, Hans-Georg and A. Maciaszek, LeszekEditors, year=2020, pages=15–26 

@inproceedingsBeyer_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework, volume=12476, DOI=10.1007/978-3-030-61362-4‑8, booktitle=Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, publisher=Springer, author=Beyer, Dirk and Wehrheim, Heike, editor=Margaria, Tiziana and Steffen, BernhardEditors, year=2020, pages=143–167, collection=Lecture Notes in Computer Science 

@bookWehrheim_Cabot_2020, series=Lecture Notes in Computer Science, title=Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, volume=12076, DOI=10.1007/978-3-030-45234-6, publisher=Springer, year=2020, collection=Lecture Notes in Computer Science 

@bookAhrendt_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], volume=12165, DOI=10.1007/978-3-030-50995-8, publisher=Springer, year=2020, collection=Lecture Notes in Computer Science 

@articleSharma_Wehrheim_2020, title=Testing Monotonicity of Machine Learning Models, volume=abs/2002.12278, journal=CoRR, author=Sharma, Arnab and Wehrheim, Heike, year=2020 

@articleDalvandi_Doherty_Dongol_Wehrheim_2020, title=Owicki-Gries Reasoning for10.4230/DARTS.6.2.15__RAR (Artifact), volume=6, DOI=10.4230/DARTS.6.2.15, number=2, journal=Dagstuhl Artifacts Ser., author=Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike, year=2020, pages=15:1-15:2 

@inproceedingsDalvandi_Doherty_Dongol_Wehrheim_2020, series=LIPIcs, title=Owicki-Gries Reasoning for10.4230/LIPIcs.ECOOP.2020.11__RAR, volume=166, DOI=10.4230/LIPIcs.ECOOP.2020.11, booktitle=34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), publisher=Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik, author=Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike, editor=Hirschfeld, Robert and Pape, TobiasEditors, year=2020, pages=11:1-11:26, collection=LIPIcs 

@inproceedingsRichter_Wehrheim_2020, title=Attend and Represent: A Novel View on Algorithm Selection for Software Verification, booktitle=35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, publisher=IEEE, author=Richter, Cedric and Wehrheim, Heike, year=2020, pages=1016–1028 

@bookAhrendt_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], volume=12165, DOI=10.1007/978-3-030-50995-8, publisher=Springer, year=2020, collection=Lecture Notes in Computer Science 

@articleHaltermann_Wehrheim_2020, title=Cooperative Verification via Collective Invariant Generation, journal=arXiv:2008.04551, author=Haltermann, Jan Frederik and Wehrheim, Heike, year=2020 

@inproceedingsSharma_Wehrheim, title=Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models, booktitle=Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., publisher=ACM, author=Sharma, Arnab and Wehrheim, Heike 

@articleRichter_Hüllermeier_Jakobs_Wehrheim, title=Algorithm Selection for Software Validation Based on Graph Kernels, journal=Journal of Automated Software Engineering, publisher=Springer, author=Richter, Cedric and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike 

@articleKarl_Kundisch_Meyer auf der Heide_Wehrheim_2020, title=A Case for a New IT Ecosystem: On-The-Fly Computing, volume=62, DOI=10.1007/s12599-019-00627-x, number=6, journal=Business &; Information Systems Engineering, publisher=Springer, author=Karl, Holger and Kundisch, Dennis and Meyer auf der Heide, Friedhelm and Wehrheim, Heike, year=2020, pages=467–481 

@inproceedingsPauck_Bodden_Wehrheim_2020, series=LNI, title=Reproducing Taint-Analysis Results with ReproDroid, DOI=10.18420/SE2020_36, booktitle=Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, publisher=Gesellschaft f\'22ur Informatik e.V., author=Pauck, Felix and Bodden, Eric and Wehrheim, Heike, editor=Felderer, Michael and Hasselbring, Wilhelm and Rabiser, Rick and Jung, Reiner, year=2020, pages=123–124, collection=LNI 

@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 

@bookRautenberg_2018, title=Korrektheitsbeweise für Muster von Servicekompositionen, publisher=Universität Paderborn, author=Rautenberg, Kai, year=2018 

@inproceedingsBörding_Haltermann_Jakobs_Wehrheim_2018, series=Lecture Notes in Computer Science, title=JMCTest: Automatically Testing Inter-Method Contracts in Java, volume=11146, booktitle=Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), publisher=Springer, author=Börding, Paul and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Wehrheim, Heike, year=2018, pages=39--55, collection=Lecture Notes in Computer Science 

@inbookSchellhorn_Wedel_Travkin_König_Wehrheim_2018, place=Cham, title=FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity, DOI=10.1007/978-3-319-92970-5_7, booktitle=Software Engineering and Formal Methods, publisher=Springer International Publishing, author=Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and König, Jürgen and Wehrheim, Heike, year=2018, pages=105–120 

@articleDoherty_Derrick_Dongol_Wehrheim_2018, title=Causal Linearizability: Compositionality for Partially Ordered Executions, journal=CoRR, author=Doherty, Simon and Derrick, John and Dongol, Brijesh and Wehrheim, Heike, year=2018 

@articlePauck_Bodden_Wehrheim_2018, title=Do Android Taint Analysis Tools Keep their Promises?, journal=arXiv:1804.02903, author=Pauck, Felix and Bodden, Eric and Wehrheim, Heike, year=2018 

@inproceedingsTöws_Wehrheim_2018, place=Cham, title=Information Flow Certificates, DOI=10.1007/978-3-030-02508-3_23, booktitle=Theoretical Aspects of Computing – ICTAC 2018, publisher=Springer International Publishing, author=Töws, Manuel and Wehrheim, Heike, year=2018, pages=435–454 

@inproceedingsPauck_Bodden_Wehrheim_2018, title=Do Android taint analysis tools keep their promises?, DOI=10.1145/3236024.3236029, booktitle=Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018, publisher=ACM Press, author=Pauck, Felix and Bodden, Eric and Wehrheim, Heike, year=2018 

@articleDerrick_Doherty_Dongol_Schellhorn_Travkin_Wehrheim_2018, title=Mechanized proofs of opacity: a comparison of two techniques, volume=30, DOI=10.1007/s00165-017-0433-3, number=5, journal=Formal Asp. Comput., author=Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike, year=2018, pages=597–625 

@inproceedingsDoherty_Dongol_Wehrheim_Derrick_2018, title=Making Linearizability Compositional for Partially Ordered Executions, DOI=10.1007/978-3-319-98938-9‑7, booktitle=Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, author=Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John, year=2018, pages=110–129 

@inproceedingsDoherty_Dongol_Wehrheim_Derrick_2018, title=Making Linearizability Compositional for Partially Ordered Executions, DOI=10.1007/978-3-319-98938-9‑7, booktitle=Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, author=Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John, year=2018, pages=110–129