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.

10961 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.)
 

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.)
 

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.)
 

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.)
 

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.)
 

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.)
 

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.)
 

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
 

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.)
 

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.)
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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.)
 

Filters and Search Terms

year<=2019 AND year>=2015

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed