@inproceedingsDerrick_Doherty_Dongol_Schellhorn_Wehrheim, series=Leibniz International Proceedings in Informatics, title=On Strong Observational Refinement and Forward Simulation, booktitle=Proceedings of the 35th International Symposium on Distributed Computing (DISC), publisher=Schloß Dagstuhl, author=Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike, collection=Leibniz International Proceedings in Informatics 
LibreCat: /record/22927

@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 
LibreCat: /record/28199
DOI: 10.1109/scam52516.2021.00031

@articleJakobs_Pauck_Platzner_Wehrheim_Wiersema_2021, title=Software/Hardware Co-Verification for Custom Instruction Set Processors, DOI=10.1109/ACCESS.2021.3131213, journal=IEEE Access, publisher=IEEE, author=Jakobs, Marie-Christine and Pauck, Felix and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias, year=2021 
LibreCat: /record/27841
DOI: 10.1109/ACCESS.2021.3131213

@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 
LibreCat: /record/21238
DOI: 10.18420/SE2021_30 

@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 
LibreCat: /record/19656

@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 
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

@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 
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

@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 
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

@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 
LibreCat: /record/20277
DOI: 10.1007/978-3-030-45234-6

@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 
LibreCat: /record/20278
DOI: 10.1007/978-3-030-50995-8

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

@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 
LibreCat: /record/21016
DOI: 10.4230/DARTS.6.2.15

@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 
LibreCat: /record/21017
DOI: 10.4230/LIPIcs.ECOOP.2020.11

@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 
LibreCat: /record/21018

@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 
LibreCat: /record/21019
DOI: 10.1007/978-3-030-50995-8

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

@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 
LibreCat: /record/16724

@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 
LibreCat: /record/16725

@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 
LibreCat: /record/13770
DOI: 10.1007/s12599-019-00627-x

@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 
LibreCat: /record/16214
DOI: 10.18420/SE2020_36