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.
9820 Publications
2020 | Conference Paper | LibreCat-ID: 20276
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), 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}, Springer, 2020, pp. 143–167.
LibreCat
| DOI
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), 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}, Springer, 2020, pp. 143–167.
2020 | Conference (Editor) | LibreCat-ID: 20277
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
H. Wehrheim, J. Cabot, eds., 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, Springer, 2020.
LibreCat
| DOI
H. Wehrheim, J. Cabot, eds., 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, Springer, 2020.
2020 | Conference (Editor) | LibreCat-ID: 20278
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
LibreCat
| DOI
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
2020 | Journal Article | LibreCat-ID: 20279
Testing Monotonicity of Machine Learning Models
A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).
LibreCat
A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).
2020 | Conference Paper | LibreCat-ID: 24021
Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology
L. Wu, M. Weizel, C. Scheytt, in: 2020 IEEE International Symposium on Circuits and Systems (ISCAS), IEEE, Sevilla, Spain, 2020.
LibreCat
| Files available
| DOI
L. Wu, M. Weizel, C. Scheytt, in: 2020 IEEE International Symposium on Circuits and Systems (ISCAS), IEEE, Sevilla, Spain, 2020.
2020 | Conference Paper | LibreCat-ID: 24022
Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator
S. Abughannam, C. Scheytt, in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) , IEEE, Virtuelle Konferenz, 2020.
LibreCat
| Files available
| DOI
S. Abughannam, C. Scheytt, in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) , IEEE, Virtuelle Konferenz, 2020.
2020 | Conference Paper | LibreCat-ID: 24027
A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures
P. Adelt, B. Koppelmann, W. Müller, C. Scheytt, in: MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop, Stuttgart, DE, 2020.
LibreCat
| Files available
P. Adelt, B. Koppelmann, W. Müller, C. Scheytt, in: MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop, Stuttgart, DE, 2020.
2020 | Journal Article | LibreCat-ID: 24029
Analysis, Design and Implementation of a Fully Integrated Analog Front-End for Microwave RFIDs at 5.8 GHz to be Used with Compact MIMO Readers
S. Haddadian, C. Scheytt, IEEE Journal of Radio Frequency Identification (2020) 1–1.
LibreCat
| Files available
| DOI
S. Haddadian, C. Scheytt, IEEE Journal of Radio Frequency Identification (2020) 1–1.
2020 | Conference Paper | LibreCat-ID: 24030
Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers
S. Ballandras, S. Abughannam, E. Courjon, C. Scheytt, in: GeMiC 2020 - German Microwave Conference, 2020.
LibreCat
| Files available
S. Ballandras, S. Abughannam, E. Courjon, C. Scheytt, in: GeMiC 2020 - German Microwave Conference, 2020.
2020 | Conference Paper | LibreCat-ID: 3583
Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices
Z. Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 2020.
LibreCat
Z. Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 2020.
2020 | Conference Paper | LibreCat-ID: 3800
Intrinsic Quality Assessment of Arguments
H. Wachsmuth, T. Werner, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, 2020, pp. 6739–6745.
LibreCat
| Download (ext.)
H. Wachsmuth, T. Werner, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, 2020, pp. 6739–6745.
2020 | Conference Paper | LibreCat-ID: 3878
Analyzing the Persuasive Effect of Style in News Editorial Argumentation
R. El Baff, H. Wachsmuth, K. Al-Khatib, B. Stein, in: J. Tsujii, J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational Linguistics, 2020, pp. 553–564.
LibreCat
R. El Baff, H. Wachsmuth, K. Al-Khatib, B. Stein, in: J. Tsujii, J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational Linguistics, 2020, pp. 553–564.
2020 | Journal Article | LibreCat-ID: 29045 | 
Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen
G. Engels, Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO) (2020) 363–370.
LibreCat
| DOI
| Download (ext.)
G. Engels, Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO) (2020) 363–370.
2020 | Journal Article | LibreCat-ID: 21016
Owicki-Gries Reasoning for C11 RAR (Artifact)
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
LibreCat
| DOI
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
2020 | Conference Paper | LibreCat-ID: 21017
Owicki-Gries Reasoning for C11 RAR
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020, pp. 11:1-11:26.
LibreCat
| DOI
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020, pp. 11:1-11:26.
2020 | Conference Paper | LibreCat-ID: 21018
Attend and Represent: A Novel View on Algorithm Selection for Software Verification
C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–1028.
LibreCat
C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–1028.
2020 | Conference (Editor) | LibreCat-ID: 21019
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
LibreCat
| DOI
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21117
On Batch Proofs of Partial Knowledge
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
LibreCat
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21118
Measuring the Performance of SNARK Libraries
A. Anonymous, Measuring the Performance of SNARK Libraries, 2020.
LibreCat
A. Anonymous, Measuring the Performance of SNARK Libraries, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21119
Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
LibreCat
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.