@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

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

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

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

@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 
LibreCat: /record/16215
DOI: 10.1007/978-3-030-30942-8‑12

@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 
LibreCat: /record/16216
DOI: 10.1007/s00165-019-00495-y