Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6219 Publications
2020 | Conference Paper | LibreCat-ID: 20275
@inproceedings{Beringer_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
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
@inproceedings{Beyer_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
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
@book{Wehrheim_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
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
@book{Ahrendt_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
| DOI
2020 | Journal Article | LibreCat-ID: 20279
@article{Sharma_Wehrheim_2020, title={Testing Monotonicity of Machine Learning Models}, volume={abs/2002.12278}, journal={CoRR}, author={Sharma, Arnab and Wehrheim, Heike}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 3583
@inproceedings{ Guetttatfi_Kaufmann_Platzner_2020, title={Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices}, booktitle={Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC)}, author={ Guetttatfi, Zakarya and Kaufmann, Paul and Platzner, Marco}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 3800
@inproceedings{Wachsmuth_Werner_2020, title={Intrinsic Quality Assessment of Arguments}, booktitle={Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics}, author={Wachsmuth, Henning and Werner, Till}, year={2020}, pages={6739–6745} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 3878
@inproceedings{El Baff_Wachsmuth_Al-Khatib_Stein_2020, title={Analyzing the Persuasive Effect of Style in News Editorial Argumentation}, booktitle={Proceedings of 58th Annual Meeting of the Association for Computational Linguistics}, author={El Baff, Roxanne and Wachsmuth, Henning and Al-Khatib, Khalid and Stein, Benno}, editor={Tsujii, Junichi and Hajic, JanEditors}, year={2020}, pages={553–564} }
LibreCat
2020 | Journal Article | LibreCat-ID: 29045 | 
@article{Engels_2020, title={Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen}, DOI={10.1007/s11612-020-00527-9}, journal={Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO)}, author={Engels, Gregor}, year={2020}, pages={363–370} }
LibreCat
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 21016
@article{Dalvandi_Doherty_Dongol_Wehrheim_2020, title={Owicki-Gries Reasoning for C11 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
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
@inproceedings{Dalvandi_Doherty_Dongol_Wehrheim_2020, series={LIPIcs}, title={Owicki-Gries Reasoning for C11 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{\"{u}}r 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
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
@inproceedings{Richter_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
2020 | Conference (Editor) | LibreCat-ID: 21019
@book{Ahrendt_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
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 21117
@book{Manegold_2020, title={On Batch Proofs of Partial Knowledge}, author={Manegold, Philipp}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
@book{Anonymous_2020, title={Measuring the Performance of SNARK Libraries}, author={Anonymous, Anonymous}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
@book{Westerwelle_2020, title={Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions}, author={Westerwelle, Max}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
@book{Anonymous_2020, title={Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems}, author={Anonymous, Anonymous}, year={2020} }
LibreCat
2020 | Book Chapter | LibreCat-ID: 21268
@inbook{Huhmann_Eilterts_Schulte_Winkelnkemper_2020, title={Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken}, booktitle={Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis}, publisher={Waxmann Verlag}, author={Huhmann, Tobias and Eilterts, Katja and Schulte, Carsten and Winkelnkemper, Felix}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 21269
@article{Ködding_Reinhold_Scholtysik_Dumitrescu_2020, title={Consulting via Research in IMPRESS}, volume={18}, number={2}, journal={Journal of Systemics, Cybernetics and Informatics}, author={Ködding, Patrick and Reinhold, Jannik and Scholtysik, Michel and Dumitrescu, Roman}, year={2020}, pages={14–19} }
LibreCat
2020 | Journal Article | LibreCat-ID: 21281
@article{Drewel_Özcan_Koldewey_Gausemeier_2020, title={Pattern‐based development of digital platforms}, DOI={10.1111/caim.12415}, journal={Creativity and Innovation Management}, author={Drewel, Marvin and Özcan, Leon and Koldewey, Christian and Gausemeier, Jürgen}, year={2020} }
LibreCat
| DOI