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.
10974 Publications
2019 | Conference Paper | LibreCat-ID: 20529
Nachtigall, Marcus, Lisa Nguyen Quang Do, and Eric Bodden. “Explaining Static Analysis -- A Perspective.” In 1st International Workshop on Explainable Software (EXPLAIN) at ASE, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20531
Luo, Linghui, Eric Bodden, and Johannes Späth. “A Qualitative Analysis of Android Taint-Analysis Results.” In IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20532
Piskachev, Goran, Lisa Nguyen Quang Do, Oshando Johnson, and Eric Bodden. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” In IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track, 2019.
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20533
Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” IEEE Transactions on Software Engineering, 2019, 1–1. https://doi.org/10.1109/TSE.2019.2948910.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20534
Piskachev, Goran, Lisa Nguyen Quang Do, and Eric Bodden. “Codebase-Adaptive Detection of Security-Relevant Methods.” In ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20535
Luo, Linghui, Julian Dolby, and Eric Bodden. “MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors.” In European Conference on Object-Oriented Programming (ECOOP), 2019.
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 20536
Späth, Johannes. Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn, 2019.
LibreCat
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
Piskachev, Goran, Lisa Nguyen, and Eric Bodden. Codebase-Adaptive Detection of Security-Relevant Methods, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20538
Albert Gorski Iii, Sigmund, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, and Alexandre Bartel. “ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware.” In ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019.
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20539
Späth, Johannes, Karim Ali, and Eric Bodden. “Context-, Flow-, and Field-Sensitive Data-Flow Analysis Using Synchronized Pushdown Systems.” Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages 3, no. POPL (2019): 48:1-48:29. https://doi.org/10.1145/3290361.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20626
Aßmuth, Verena, Dominik Teutenberg, and Gerson Meschut. “Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile.” In 19. Kolloquium Gemeinsame Forschung in der Klebtechnik, edited by DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V., 18–20, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20632
Aßmuth, Verena, Dominik Teutenberg, and Gerson Meschut. “Analysis of Formulation- and Aging-Dependent Failure Phenomena of Bonded Sheet Molding Compounds (SMC).” edited by 42nd Annual Meeting The Adhesion Society, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20664
Vogt, S, D Neuhaus, and Jochen 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
Neuhaus, D, S Vogt, A Boschmann, S Dosen, and Jochen 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
Bonnette, S, JA Diekfuss, KD Barber Foss, CA DiCesare, MA Riley, C Riehm, C Moore, DR Grooms, GD Myer, and Jochen Baumeister. “A Preliminary Prospective Analysis of Electrocortical Signatures Underlying ACL Injury,” 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20669
Claussen, L, Jochen Baumeister, S Braaten, and G Ettema. “Muscle Activity Patterns in Imitation Ski Jumps.” In Book of Abstracts - German Exercise Science and Training Conference, Vol. 49. Ger J Exerc Sport Res, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20670
Büchel, D, T Lehmann, and Jochen Baumeister. “Effect of Age on Reactive Multidirectional Speed in Highly Trained Youth Soccer Players.” In Book of Abstracts - German Exercise Science and Training Conference, Vol. 49. Ger J Exerc Sport Res, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 20671
Büchel, D, M Döring, F Berkel, and Jochen 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, Vol. 49. Ger J Exerc Sport Res, 2019.
LibreCat
2019 | Book | LibreCat-ID: 20677
Bobbert, Mathias. Untersuchungen Zu Kontinuums- Und Bruchmechanischen Methoden Für Die Prognose Des Crashverhaltens Toleranzbehafteter Strukturklebverbindungen, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 20688
Hüther, Niklas, David T. Robinson, Sönke Sievers, and Thomas Hartmann-Wendels. “Paying for Performance in Private Equity: Evidence from Venture Capital Partnerships.” Management Science (VHB-JOURQUAL 3 Ranking A+) 66, no. 4 (2019): 1756–82. https://doi.org/10.1287/mnsc.2018.3274.
LibreCat
| Files available
| DOI
| Download (ext.)