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.
5719 Publications
2021 | Journal Article | LibreCat-ID: 27841
Software/Hardware Co-Verification for Custom Instruction Set Processors
M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, T. Wiersema, IEEE Access (2021).
LibreCat
| DOI
M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, T. Wiersema, IEEE Access (2021).
2021 | Conference Paper | LibreCat-ID: 21238
Cooperative Android App Analysis with CoDiDroid
F. Pauck, H. Wehrheim, in: A. Koziolek, I. Schaefer, C. Seidl (Eds.), Software Engineering 2021, Gesellschaft für Informatik e.V., Bonn, 2021, pp. 83–84.
LibreCat
| DOI
F. Pauck, H. Wehrheim, in: A. Koziolek, I. Schaefer, C. Seidl (Eds.), Software Engineering 2021, Gesellschaft für Informatik e.V., Bonn, 2021, pp. 83–84.
2021 | Journal Article | LibreCat-ID: 37404
Maturity-based Development of Strategic Thrusts for Socio-technical Risks
J.S. Menzefricke, I. Wiederkehr, C. Koldewey, R. Dumitrescu, Procedia CIRP 104 (2021) 241–246.
LibreCat
| DOI
J.S. Menzefricke, I. Wiederkehr, C. Koldewey, R. Dumitrescu, Procedia CIRP 104 (2021) 241–246.
2021 | Bachelorsthesis | LibreCat-ID: 32402
IND-CCA Secure PKE Schemes - Based on Lattices
M.A.E. Böttger, IND-CCA Secure PKE Schemes - Based on Lattices, 2021.
LibreCat
M.A.E. Böttger, IND-CCA Secure PKE Schemes - Based on Lattices, 2021.
2021 | Journal Article | LibreCat-ID: 29710
Data Science ab Klasse 5–Konkrete Unterrichtsvorschläge für künstliche Intelligenz unplugged und Datenbewusstsein
S. Podworny, L. Höper, Y. Fleischer, S. Hüsing, C. Schulte, INFOS 2021–19. GI-Fachtagung Informatik Und Schule (2021).
LibreCat
S. Podworny, L. Höper, Y. Fleischer, S. Hüsing, C. Schulte, INFOS 2021–19. GI-Fachtagung Informatik Und Schule (2021).
2021 | Journal Article | LibreCat-ID: 29712
Zur neuen Bedeutung von Daten in Data Science und künstlicher Intelligenz
L. Höper, S. Podworny, S. Hüsing, C. Schulte, Y. Fleischer, R. Biehler, D. Frischemeier, H. Malatyali, INFOS 2021–19. GI-Fachtagung Informatik Und Schule (2021).
LibreCat
L. Höper, S. Podworny, S. Hüsing, C. Schulte, Y. Fleischer, R. Biehler, D. Frischemeier, H. Malatyali, INFOS 2021–19. GI-Fachtagung Informatik Und Schule (2021).
2021 | Journal Article | LibreCat-ID: 40512
Faszination 3D-Film: Entwicklung einer 3D-Konstruktion
S. Hüsing, N. Weiser, R. Biehler, Mathematik Lehren 2021 (2021) 23–27.
LibreCat
S. Hüsing, N. Weiser, R. Biehler, Mathematik Lehren 2021 (2021) 23–27.
2021 | Journal Article | LibreCat-ID: 29780
Towards Quantum One-Time Memories from Stateless Hardware
A. Broadbent, S. Gharibian, H.-S. Zhou, Quantum 5 (2021).
LibreCat
| DOI
A. Broadbent, S. Gharibian, H.-S. Zhou, Quantum 5 (2021).
2021 | Conference Paper | LibreCat-ID: 29138
Hardware Trojans in Reconfigurable Computing
Q.A. Ahmed, in: 2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC), 2021.
LibreCat
| DOI
Q.A. Ahmed, in: 2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC), 2021.
2021 | Bachelorsthesis | LibreCat-ID: 44234
Combining Mobility, Heterogeneity, and Leasing Approaches for Online Resource Allocation
T.F. Berger, Combining Mobility, Heterogeneity, and Leasing Approaches for Online Resource Allocation, 2021.
LibreCat
T.F. Berger, Combining Mobility, Heterogeneity, and Leasing Approaches for Online Resource Allocation, 2021.
2021 | Bachelorsthesis | LibreCat-ID: 44233
Online k-Facility Reallocation using k-Server Algorithms
S. Pranger, Online K-Facility Reallocation Using k-Server Algorithms, 2021.
LibreCat
S. Pranger, Online K-Facility Reallocation Using k-Server Algorithms, 2021.
2021 | Conference Paper | LibreCat-ID: 20681 | 
Malicious Routing: Circumventing Bitstream-level Verification for FPGAs
Q.A. Ahmed, T. Wiersema, M. Platzner, in: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021 Design, Automation and Test in Europe Conference (DATE), Alpexpo | Grenoble, France, 2021.
LibreCat
| Files available
| DOI
| Download (ext.)
Q.A. Ahmed, T. Wiersema, M. Platzner, in: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021 Design, Automation and Test in Europe Conference (DATE), Alpexpo | Grenoble, France, 2021.
2021 | Mastersthesis | LibreCat-ID: 45236
Design and Implementation of a Crowd-based Prototype Validation Platform
N. N., Design and Implementation of a Crowd-Based Prototype Validation Platform, 2021.
LibreCat
N. N., Design and Implementation of a Crowd-Based Prototype Validation Platform, 2021.
2021 | Mastersthesis | LibreCat-ID: 45237
Model-based Continuous Experimentation for Software Product Prototypes
N. N., Model-Based Continuous Experimentation for Software Product Prototypes, 2021.
LibreCat
N. N., Model-Based Continuous Experimentation for Software Product Prototypes, 2021.
2021 | Mastersthesis | LibreCat-ID: 45239
Lightweight Process Engine for Situation-specific Development of Business Models for Digital Platforms
N. N., Lightweight Process Engine for Situation-Specific Development of Business Models for Digital Platforms, 2021.
LibreCat
N. N., Lightweight Process Engine for Situation-Specific Development of Business Models for Digital Platforms, 2021.
2021 | Bachelorsthesis | LibreCat-ID: 45240
Development and Evaluation of a Multi Platform Approach for Augmented Reality Product Configuration
N. N., Development and Evaluation of a Multi Platform Approach for Augmented Reality Product Configuration, 2021.
LibreCat
N. N., Development and Evaluation of a Multi Platform Approach for Augmented Reality Product Configuration, 2021.
2021 | Mastersthesis | LibreCat-ID: 45238
Model-based Feature Backlog Synchronization for Dual-Track Development Methods
N. N., Model-Based Feature Backlog Synchronization for Dual-Track Development Methods, 2021.
LibreCat
N. N., Model-Based Feature Backlog Synchronization for Dual-Track Development Methods, 2021.
2021 | Mastersthesis | LibreCat-ID: 45254
Device-Independent Security Proofs Via Entropy Accumulation
A. Anonymous, Device-Independent Security Proofs Via Entropy Accumulation, 2021.
LibreCat
A. Anonymous, Device-Independent Security Proofs Via Entropy Accumulation, 2021.
2021 | Conference Paper | LibreCat-ID: 26406
Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++
P. Schubert, B. Hermann, E. Bodden, R. Leer, in: SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track), 2021.
LibreCat
P. Schubert, B. Hermann, E. Bodden, R. Leer, in: SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track), 2021.
2021 | Conference Paper | LibreCat-ID: 26405
Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++
P. Schubert, F. Sattler, F. Schiebel, B. Hermann, E. Bodden, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
LibreCat
P. Schubert, F. Sattler, F. Schiebel, B. Hermann, E. Bodden, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.