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

@inproceedings{20276,
  author       = {{Beyer, Dirk and Wehrheim, Heike}},
  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}}},
  editor       = {{Margaria, Tiziana and Steffen, Bernhard}},
  pages        = {{143--167}},
  publisher    = {{Springer}},
  title        = {{{Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}}},
  doi          = {{10.1007/978-3-030-61362-4\_8}},
  volume       = {{12476}},
  year         = {{2020}},
}

@proceedings{20277,
  editor       = {{Wehrheim, Heike and Cabot, Jordi}},
  isbn         = {{978-3-030-45233-9}},
  publisher    = {{Springer}},
  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}}},
  doi          = {{10.1007/978-3-030-45234-6}},
  volume       = {{12076}},
  year         = {{2020}},
}

@proceedings{20278,
  editor       = {{Ahrendt, Wolfgang and Wehrheim, Heike}},
  isbn         = {{978-3-030-50994-1}},
  publisher    = {{Springer}},
  title        = {{{Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}}},
  doi          = {{10.1007/978-3-030-50995-8}},
  volume       = {{12165}},
  year         = {{2020}},
}

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

@inproceedings{3583,
  author       = {{ Guetttatfi, Zakarya and Kaufmann, Paul and Platzner, Marco}},
  booktitle    = {{Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC)}},
  title        = {{{Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices}}},
  year         = {{2020}},
}

@inproceedings{3800,
  author       = {{Wachsmuth, Henning and Werner, Till}},
  booktitle    = {{Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics}},
  pages        = {{6739--6745}},
  title        = {{{Intrinsic Quality Assessment of Arguments}}},
  year         = {{2020}},
}

@inproceedings{3878,
  author       = {{El Baff, Roxanne and Wachsmuth, Henning and Al-Khatib, Khalid and Stein, Benno}},
  booktitle    = {{Proceedings of 58th Annual Meeting of the Association for Computational Linguistics}},
  editor       = {{Tsujii, Junichi and Hajic, Jan}},
  pages        = {{553--564}},
  title        = {{{Analyzing the Persuasive Effect of Style in News Editorial Argumentation}}},
  year         = {{2020}},
}

@article{29045,
  author       = {{Engels, Gregor}},
  issn         = {{2366-6145}},
  journal      = {{Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO)}},
  pages        = {{363--370}},
  title        = {{{Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen}}},
  doi          = {{10.1007/s11612-020-00527-9}},
  year         = {{2020}},
}

@article{21016,
  author       = {{Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}},
  journal      = {{Dagstuhl Artifacts Ser.}},
  number       = {{2}},
  pages        = {{15:1--15:2}},
  title        = {{{Owicki-Gries Reasoning for C11 RAR (Artifact)}}},
  doi          = {{10.4230/DARTS.6.2.15}},
  volume       = {{6}},
  year         = {{2020}},
}

@inproceedings{21017,
  author       = {{Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}},
  booktitle    = {{34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)}},
  editor       = {{Hirschfeld, Robert and Pape, Tobias}},
  pages        = {{11:1--11:26}},
  publisher    = {{Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}},
  title        = {{{Owicki-Gries Reasoning for C11 RAR}}},
  doi          = {{10.4230/LIPIcs.ECOOP.2020.11}},
  volume       = {{166}},
  year         = {{2020}},
}

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

@proceedings{21019,
  editor       = {{Ahrendt, Wolfgang and Wehrheim, Heike}},
  isbn         = {{978-3-030-50994-1}},
  publisher    = {{Springer}},
  title        = {{{Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}}},
  doi          = {{10.1007/978-3-030-50995-8}},
  volume       = {{12165}},
  year         = {{2020}},
}

@misc{21117,
  author       = {{Manegold, Philipp}},
  title        = {{{On Batch Proofs of Partial Knowledge}}},
  year         = {{2020}},
}

@misc{21118,
  author       = {{Anonymous, Anonymous}},
  title        = {{{Measuring the Performance of SNARK Libraries}}},
  year         = {{2020}},
}

@misc{21119,
  author       = {{Westerwelle, Max}},
  title        = {{{Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions}}},
  year         = {{2020}},
}

@misc{21121,
  author       = {{Anonymous, Anonymous}},
  title        = {{{Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems}}},
  year         = {{2020}},
}

@inbook{21268,
  author       = {{Huhmann, Tobias and Eilterts, Katja and Schulte, Carsten and Winkelnkemper, Felix}},
  booktitle    = {{Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis}},
  publisher    = {{Waxmann Verlag}},
  title        = {{{Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken}}},
  year         = {{2020}},
}

@article{21269,
  author       = {{Ködding, Patrick and Reinhold, Jannik and Scholtysik, Michel and Dumitrescu, Roman}},
  issn         = {{1690-4524}},
  journal      = {{Journal of Systemics, Cybernetics and Informatics}},
  number       = {{2}},
  pages        = {{pp. 14--19}},
  title        = {{{Consulting via Research in IMPRESS}}},
  volume       = {{18}},
  year         = {{2020}},
}

@article{21281,
  author       = {{Drewel, Marvin and Özcan, Leon and Koldewey, Christian and Gausemeier, Jürgen}},
  issn         = {{0963-1690}},
  journal      = {{Creativity and Innovation Management}},
  title        = {{{Pattern‐based development of digital platforms}}},
  doi          = {{10.1111/caim.12415}},
  year         = {{2020}},
}