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.
9315 Publications
2019 | Conference Paper | LibreCat-ID: 23718
Augmented Reality für die Vermittlung von Systems Engineering
I. Gräßler, C. Oleff, P. Taplick, in: T. Bertram, B. Corves, I. Gräßler, K. Janschek (Eds.), Fachtagung Mechatronik 2019 Paderborn, 2019, pp. 180–185.
LibreCat
I. Gräßler, C. Oleff, P. Taplick, in: T. Bertram, B. Corves, I. Gräßler, K. Janschek (Eds.), Fachtagung Mechatronik 2019 Paderborn, 2019, pp. 180–185.
2019 | Journal Article | LibreCat-ID: 23831
Influence of the free-electron concentration on the optical properties of zincblende GaN up to 1×1020cm−3
E. Baron, R. Goldhahn, M. Deppe, D.J. As, M. Feneberg, Physical Review Materials (2019).
LibreCat
| DOI
E. Baron, R. Goldhahn, M. Deppe, D.J. As, M. Feneberg, Physical Review Materials (2019).
2019 | Preprint | LibreCat-ID: 20341
Security Implications Of Compiler Optimizations On Cryptography -- A Review
A.P. Shivarpatna Venkatesh, A.B. Handadi, M. Mory, ArXiv:1907.02530 (2019).
LibreCat
| Files available
A.P. Shivarpatna Venkatesh, A.B. Handadi, M. Mory, ArXiv:1907.02530 (2019).
2019 | Newspaper Article | LibreCat-ID: 20342
Servicerobotik kooperativ entwickeln
B. Kahl, Y. Kogan, J.S. Menzefricke, Computer & Automation 9–2019 (2019) 58–61.
LibreCat
B. Kahl, Y. Kogan, J.S. Menzefricke, Computer & Automation 9–2019 (2019) 58–61.
2019 | Conference Paper | LibreCat-ID: 20356
Schwingfestigkeitsanalyse geklebter Stahlverbindungen unter mehrkanaliger Belastung
S. Çavdar, G. Meschut, in: 7. Doktorandenseminar Klebtechnik, DVS Media GmbH, Düsseldorf, 2019, pp. 23–31.
LibreCat
S. Çavdar, G. Meschut, in: 7. Doktorandenseminar Klebtechnik, DVS Media GmbH, Düsseldorf, 2019, pp. 23–31.
2019 | Newspaper Article | LibreCat-ID: 20366
Smart Service-Innovationen - Gewusst wie
C. Koldewey, J. Reinhold, G. Willmes, J.S. Michels, markt & wirtschaft westfalen - Das Wirtschaftsmagazin für zukunftsorientierte Unternehmer (2019).
LibreCat
C. Koldewey, J. Reinhold, G. Willmes, J.S. Michels, markt & wirtschaft westfalen - Das Wirtschaftsmagazin für zukunftsorientierte Unternehmer (2019).
2019 | Conference Paper | LibreCat-ID: 20371
Entwicklung von Smart Service Strategien
C. Koldewey, J. Gausemeier, S. Fischer, M. Kage, in: J. Gausemeier, W. Bauer, R. Dumitrescu (Eds.), Symposium für Vorausschau und Technologieplanung, HNI-Verlagsschriftenreihe, Paderborn, 2019.
LibreCat
C. Koldewey, J. Gausemeier, S. Fischer, M. Kage, in: J. Gausemeier, W. Bauer, R. Dumitrescu (Eds.), Symposium für Vorausschau und Technologieplanung, HNI-Verlagsschriftenreihe, Paderborn, 2019.
2019 | Journal Article | LibreCat-ID: 20430
Progressive strength training restores quadriceps and hamstring muscle strength within 7 months after ACL reconstruction in amateur male soccer players.
W. Welling, A. Benjaminse, K. Lemmink, B. Dingenen, A. Gokeler, Phys Ther Sport 40 (2019) 10–18.
LibreCat
| DOI
| PubMed | Europe PMC
W. Welling, A. Benjaminse, K. Lemmink, B. Dingenen, A. Gokeler, Phys Ther Sport 40 (2019) 10–18.
2019 | Dissertation | LibreCat-ID: 20522
A Systematic Analysis and Hardening of the Java Security Architecture
P. Holzinger, A Systematic Analysis and Hardening of the Java Security Architecture, Universität Paderborn, 2019.
LibreCat
| Download (ext.)
P. Holzinger, A Systematic Analysis and Hardening of the Java Security Architecture, Universität Paderborn, 2019.
2019 | Dissertation | LibreCat-ID: 20524
User-Centered Tool Design for Data-Flow Analysis
L. Nguyen Quang Do, User-Centered Tool Design for Data-Flow Analysis, Universität Paderborn, 2019.
LibreCat
L. Nguyen Quang Do, User-Centered Tool Design for Data-Flow Analysis, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 20525
Architectural Runtime Verification
L. Stockmann, S. Laux, E. Bodden, in: 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 2019, pp. 77–84.
LibreCat
| DOI
| Download (ext.)
L. Stockmann, S. Laux, E. Bodden, in: 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 2019, pp. 77–84.
2019 | Conference Paper | LibreCat-ID: 20527
The Impact of Developer Experience in Using Java Cryptography
M. Hazhirpasand, M. Ghafari, S. Krüger, E. Bodden, O. Nierstrasz, in: 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), 2019, pp. 1–6.
LibreCat
| DOI
| Download (ext.)
M. Hazhirpasand, M. Ghafari, S. Krüger, E. Bodden, O. Nierstrasz, in: 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), 2019, pp. 1–6.
2019 | Conference Paper | LibreCat-ID: 20528
AuthCheck: Program-state Analysis for Access-control Vulnerabilities
G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: 10th Workshop on Tools for Automatic Program Analysis (TAPAS), 2019.
LibreCat
| Download (ext.)
G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: 10th Workshop on Tools for Automatic Program Analysis (TAPAS), 2019.
2019 | Conference Paper | LibreCat-ID: 20529
Explaining Static Analysis -- A Perspective
M. Nachtigall, L. Nguyen Quang Do, E. Bodden, in: 1st International Workshop on Explainable Software (EXPLAIN) at ASE, 2019.
LibreCat
| Download (ext.)
M. Nachtigall, L. Nguyen Quang Do, E. Bodden, in: 1st International Workshop on Explainable Software (EXPLAIN) at ASE, 2019.
2019 | Conference Paper | LibreCat-ID: 20531
A Qualitative Analysis of Android Taint-Analysis Results
L. Luo, E. Bodden, J. Späth, in: IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), 2019.
LibreCat
| Download (ext.)
L. Luo, E. Bodden, J. Späth, in: IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), 2019.
2019 | Conference Paper | LibreCat-ID: 20532
SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods
G. Piskachev, L. Nguyen Quang Do, O. Johnson, E. Bodden, in: IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track, 2019.
LibreCat
| Download (ext.)
G. Piskachev, L. Nguyen Quang Do, O. Johnson, E. Bodden, in: IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track, 2019.
2019 | Journal Article | LibreCat-ID: 20533
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software Engineering (2019) 1–1.
LibreCat
| DOI
| Download (ext.)
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, IEEE Transactions on Software Engineering (2019) 1–1.
2019 | Conference Paper | LibreCat-ID: 20534
Codebase-Adaptive Detection of Security-Relevant Methods
G. Piskachev, L. Nguyen Quang Do, E. Bodden, in: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2019.
LibreCat
| Download (ext.)
G. Piskachev, L. Nguyen Quang Do, E. Bodden, in: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2019.
2019 | Conference Paper | LibreCat-ID: 20535
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors
L. Luo, J. Dolby, E. Bodden, in: European Conference on Object-Oriented Programming (ECOOP), 2019.
LibreCat
| Download (ext.)
L. Luo, J. Dolby, E. Bodden, in: European Conference on Object-Oriented Programming (ECOOP), 2019.
2019 | Dissertation | LibreCat-ID: 20536
Synchronized Pushdown Systems for Pointer and Data-Flow Analysis
J. Späth, Synchronized Pushdown Systems for Pointer and Data-Flow Analysis, Universität Paderborn, 2019.
LibreCat
| Download (ext.)
J. Späth, Synchronized Pushdown Systems for Pointer and Data-Flow Analysis, Universität Paderborn, 2019.