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.
12213 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 | 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.
2019 | Conference Paper | LibreCat-ID: 20759
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
C. Gerking, D. Schubert, in: International Conference on Software Architecture (ICSA 2019), 2019.
LibreCat
C. Gerking, D. Schubert, in: International Conference on Software Architecture (ICSA 2019), 2019.
2019 | Preprint | LibreCat-ID: 18018
Uniform approximation in classical weak convergence theory
V. Bengs, H. Holzmann, ArXiv:1903.09864 (2019).
LibreCat
V. Bengs, H. Holzmann, ArXiv:1903.09864 (2019).
2019 | Dissertation | LibreCat-ID: 22500
Konzeption eines energieeffizienten Betätigungs- und Haltesystems für eine Federkraftbremse
N.-P. Kriegel, Konzeption Eines Energieeffizienten Betätigungs- Und Haltesystems Für Eine Federkraftbremse, Shaker Verlag GmbH , 2019.
LibreCat
N.-P. Kriegel, Konzeption Eines Energieeffizienten Betätigungs- Und Haltesystems Für Eine Federkraftbremse, Shaker Verlag GmbH , 2019.
2019 | Journal Article | LibreCat-ID: 2256
The Common Enemy Effect under Strategic Network Formation and Disruption
B. Hoyer, H. Haller, Journal of Economic Behavior & Organization 162 (2019) 146–163.
LibreCat
| DOI
| Download (ext.)
B. Hoyer, H. Haller, Journal of Economic Behavior & Organization 162 (2019) 146–163.
2019 | Conference Paper | LibreCat-ID: 22708
Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen
D. Eckelt, R. Bismark, R. Dumitrescu, M. Frank, J. Gausemeier, J. Reinhold, in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), Vorausschau und Technologieplanung, 2019, pp. 535–555.
LibreCat
D. Eckelt, R. Bismark, R. Dumitrescu, M. Frank, J. Gausemeier, J. Reinhold, in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), Vorausschau und Technologieplanung, 2019, pp. 535–555.
2019 | Conference Paper | LibreCat-ID: 22709
Model Checking of Integratively Designed Product and Production Systems
R. Dumitrescu, S. Japs, L. Kaiser, R. Rasor, in: TdSE 2019, Garching, 2019.
LibreCat
R. Dumitrescu, S. Japs, L. Kaiser, R. Rasor, in: TdSE 2019, Garching, 2019.
2019 | Conference Paper | LibreCat-ID: 22710
Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik
A. Albers, K.F. Ellermann, A. Kühn, R. Dumitrescu, in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), 15. Symposium Für Vorausschau Und Technologieplanung, Berlin, 2019, pp. 277–291.
LibreCat
A. Albers, K.F. Ellermann, A. Kühn, R. Dumitrescu, in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), 15. Symposium Für Vorausschau Und Technologieplanung, Berlin, 2019, pp. 277–291.
2019 | Conference Paper | LibreCat-ID: 22712
Einstieg in die Plattformökonomie
M. Drewel, J. Gausemeier, M. Vaßholz, N. Homburg, in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), Symposium Für Vorausschau Und Technologieplanung, 2019.
LibreCat
M. Drewel, J. Gausemeier, M. Vaßholz, N. Homburg, in: J. Gausemeier, W. Bauer, R. Dumitrescu, Heinz Nixdorf Institut (Eds.), Symposium Für Vorausschau Und Technologieplanung, 2019.