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.
32856 Publications
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
2019 | Book | LibreCat-ID: 20677
M. Bobbert, Untersuchungen zu kontinuums- und bruchmechanischen Methoden für die Prognose des Crashverhaltens toleranzbehafteter Strukturklebverbindungen. 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 20688
N. Hüther, D. T. Robinson, S. Sievers, and T. Hartmann-Wendels, “Paying for Performance in Private Equity: Evidence from Venture Capital Partnerships,” Management Science (VHB-JOURQUAL 3 Ranking A+), vol. 66, no. 4, pp. 1756–1782, 2019.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20759
C. Gerking and D. Schubert, “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures,” 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20849
E. Unruh, D. Hein, G. Meschut, P. Bähr, and S. Sommer, “Charakterisierung und Modellierung von Kerbeffekten durch Mischverbindungen in Karosseriebauteilen aus höchstfesten Stählen,” in 9. Fügetechnisches Gemeinschaftskolloquium, 2019.
LibreCat