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
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.
2019 | Report | LibreCat-ID: 20537
Codebase-Adaptive Detection of Security-Relevant Methods
G. Piskachev, L. Nguyen, E. Bodden, Codebase-Adaptive Detection of Security-Relevant Methods, 2019.
LibreCat
G. Piskachev, L. Nguyen, E. Bodden, Codebase-Adaptive Detection of Security-Relevant Methods, 2019.
2019 | Conference Paper | LibreCat-ID: 20538
ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware
S. Albert Gorski Iii, B. Andow, A. Nadkarni, S. Manandhar, W. Enck, E. Bodden, A. Bartel, in: ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019.
LibreCat
| Download (ext.)
S. Albert Gorski Iii, B. Andow, A. Nadkarni, S. Manandhar, W. Enck, E. Bodden, A. Bartel, in: ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019.
2019 | Journal Article | LibreCat-ID: 20539
Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems
J. Späth, K. Ali, E. Bodden, Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages 3 (2019) 48:1-48:29.
LibreCat
| DOI
| Download (ext.)
J. Späth, K. Ali, E. Bodden, Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages 3 (2019) 48:1-48:29.
2019 | Conference Paper | LibreCat-ID: 20626
Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile
V. Aßmuth, D. Teutenberg, G. Meschut, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 19. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2019, pp. 18–20.
LibreCat
V. Aßmuth, D. Teutenberg, G. Meschut, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 19. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2019, pp. 18–20.
2019 | Conference Paper | LibreCat-ID: 20632
Analysis of formulation- and aging-dependent failure phenomena of bonded Sheet Molding Compounds (SMC)
V. Aßmuth, D. Teutenberg, G. Meschut, in: 42nd Annual Meeting The Adhesion Society (Ed.), 2019.
LibreCat
V. Aßmuth, D. Teutenberg, G. Meschut, in: 42nd Annual Meeting The Adhesion Society (Ed.), 2019.
2019 | Conference Abstract | LibreCat-ID: 20664
Effects of different visual conditions on standing balance in a virtual reality scene: a pilot study
S. Vogt, D. Neuhaus, J. Baumeister, in: Sportmotorik 2019. Adaptation, Lernen Und Virtuelle Welten, 2019.
LibreCat
S. Vogt, D. Neuhaus, J. Baumeister, in: Sportmotorik 2019. Adaptation, Lernen Und Virtuelle Welten, 2019.
2019 | Conference Abstract | LibreCat-ID: 20665
Effects of an augmented reality training using a myoelectric hand prosthesis: a pilot study
D. Neuhaus, S. Vogt, A. Boschmann, S. Dosen, J. Baumeister, in: Sportmotorik 2019. Adaptation, Lernen Und Virtuelle Welten, 2019.
LibreCat
D. Neuhaus, S. Vogt, A. Boschmann, S. Dosen, J. Baumeister, in: Sportmotorik 2019. Adaptation, Lernen Und Virtuelle Welten, 2019.
2019 | Conference Abstract | LibreCat-ID: 20668
A preliminary prospective Analysis of electrocortical signatures underlying ACL injury
S. Bonnette, J. Diekfuss, K. Barber Foss, C. DiCesare, M. Riley, C. Riehm, C. Moore, D. Grooms, G. Myer, J. Baumeister, in: 2019.
LibreCat
S. Bonnette, J. Diekfuss, K. Barber Foss, C. DiCesare, M. Riley, C. Riehm, C. Moore, D. Grooms, G. Myer, J. Baumeister, in: 2019.
2019 | Conference Abstract | LibreCat-ID: 20669
Muscle activity patterns in imitation ski jumps
L. Claussen, J. Baumeister, S. Braaten, G. Ettema, in: Book of Abstracts - German Exercise Science and Training Conference, 2019.
LibreCat
L. Claussen, J. Baumeister, S. Braaten, G. Ettema, in: Book of Abstracts - German Exercise Science and Training Conference, 2019.
2019 | Conference Abstract | LibreCat-ID: 20670
Effect of age on reactive multidirectional speed in highly trained youth soccer players
D. Büchel, T. Lehmann, J. Baumeister, in: Book of Abstracts - German Exercise Science and Training Conference, 2019.
LibreCat
D. Büchel, T. Lehmann, J. Baumeister, in: Book of Abstracts - German Exercise Science and Training Conference, 2019.
2019 | Conference Abstract | LibreCat-ID: 20671
Sports-specific differences in reactive multidirectional speed in tema sports athletes using the Speedcourt
D. Büchel, M. Döring, F. Berkel, J. Baumeister, in: Book of Abstracts - German Exercise Science and Training Conference, 2019.
LibreCat
D. Büchel, M. Döring, F. Berkel, J. Baumeister, in: Book of Abstracts - German Exercise Science and Training Conference, 2019.
2019 | Book | LibreCat-ID: 20677
Untersuchungen zu kontinuums- und bruchmechanischen Methoden für die Prognose des Crashverhaltens toleranzbehafteter Strukturklebverbindungen
M. Bobbert, Untersuchungen Zu Kontinuums- Und Bruchmechanischen Methoden Für Die Prognose Des Crashverhaltens Toleranzbehafteter Strukturklebverbindungen, 2019.
LibreCat
M. Bobbert, Untersuchungen Zu Kontinuums- Und Bruchmechanischen Methoden Für Die Prognose Des Crashverhaltens Toleranzbehafteter Strukturklebverbindungen, 2019.
2019 | Journal Article | LibreCat-ID: 20688
Paying for Performance in Private Equity: Evidence from Venture Capital Partnerships
N. Hüther, D.T. Robinson, S. Sievers, T. Hartmann-Wendels, Management Science (VHB-JOURQUAL 3 Ranking A+) 66 (2019) 1756–1782.
LibreCat
| Files available
| DOI
| Download (ext.)
N. Hüther, D.T. Robinson, S. Sievers, T. Hartmann-Wendels, Management Science (VHB-JOURQUAL 3 Ranking A+) 66 (2019) 1756–1782.