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.
2180 Publications
2019 | Conference Paper | LibreCat-ID: 20527
M. Hazhirpasand, M. Ghafari, S. Krüger, E. Bodden, and O. Nierstrasz, “The Impact of Developer Experience in Using Java Cryptography,” in 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), 2019, pp. 1–6, doi: 10.1109/ESEM.2019.8870184.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20528
G. Piskachev, T. Petrasch, J. Späth, and E. Bodden, “AuthCheck: Program-state Analysis for Access-control Vulnerabilities,” 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20529
M. Nachtigall, L. Nguyen Quang Do, and E. Bodden, “Explaining Static Analysis -- A Perspective,” 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20531
L. Luo, E. Bodden, and J. Späth, “A Qualitative Analysis of Android Taint-Analysis Results,” 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20532
G. Piskachev, L. Nguyen Quang Do, O. Johnson, and E. Bodden, “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods,” 2019.
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20533
S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,” IEEE Transactions on Software Engineering, pp. 1–1, 2019, doi: 10.1109/TSE.2019.2948910.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20534
G. Piskachev, L. Nguyen Quang Do, and E. Bodden, “Codebase-Adaptive Detection of Security-Relevant Methods,” 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20535
L. Luo, J. Dolby, and E. Bodden, “MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors,” 2019.
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 20536
J. Späth, Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn, 2019.
LibreCat
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
G. Piskachev, L. Nguyen, and E. Bodden, Codebase-Adaptive Detection of Security-Relevant Methods. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20538
S. Albert Gorski Iii et al., “ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware,” 2019.
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20539
J. Späth, K. Ali, and E. Bodden, “Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems,” Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, vol. 3, no. POPL, p. 48:1-48:29, 2019, doi: 10.1145/3290361.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20626
V. Aßmuth, D. Teutenberg, and G. Meschut, “Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile,” in 19. Kolloquium Gemeinsame Forschung in der Klebtechnik, Köln, 2019, pp. 18–20.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20632
V. Aßmuth, D. Teutenberg, and G. Meschut, “Analysis of formulation- and aging-dependent failure phenomena of bonded Sheet Molding Compounds (SMC),” presented at the 42nd Annual Meeting The Adhesion Society, Hilton Head, South Carolina, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20664
S. Vogt, D. Neuhaus, and J. Baumeister, “Effects of different visual conditions on standing balance in a virtual reality scene: a pilot study,” in Sportmotorik 2019. Adaptation, Lernen und virtuelle Welten, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20665
D. Neuhaus, S. Vogt, A. Boschmann, S. Dosen, and J. Baumeister, “Effects of an augmented reality training using a myoelectric hand prosthesis: a pilot study,” in Sportmotorik 2019. Adaptation, Lernen und virtuelle Welten, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20668
S. Bonnette et al., “A preliminary prospective Analysis of electrocortical signatures underlying ACL injury,” 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20669
L. Claussen, J. Baumeister, S. Braaten, and G. Ettema, “Muscle activity patterns in imitation ski jumps,” in Book of abstracts - German Exercise Science and Training conference, 2019, vol. 49, no. S5.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20670
D. Büchel, T. Lehmann, and J. Baumeister, “Effect of age on reactive multidirectional speed in highly trained youth soccer players,” in Book of abstracts - German Exercise Science and Training conference, 2019, vol. 49, no. S9.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20671
D. Büchel, M. Döring, F. Berkel, and J. Baumeister, “Sports-specific differences in reactive multidirectional speed in tema sports athletes using the Speedcourt,” in Book of abstracts - German Exercise Science and Training conference, 2019, vol. 49, no. S9.
LibreCat