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.
6020 Publications
2019 | Conference Paper | LibreCat-ID: 20529
M. Nachtigall, L. Nguyen Quang Do, and E. Bodden, “Explaining Static Analysis -- A Perspective,” 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20531
L. Luo, E. Bodden, and J. Späth, “A Qualitative Analysis of Android Taint-Analysis Results,” 2019.
LibreCat
| Download (ext.)
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: 20759
C. Gerking and D. Schubert, “Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures,” 2019.
LibreCat
2019 | Preprint | LibreCat-ID: 18018
V. Bengs and H. Holzmann, “Uniform approximation in classical weak convergence theory,” arXiv:1903.09864. 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22708
D. Eckelt, R. Bismark, R. Dumitrescu, M. Frank, J. Gausemeier, and J. Reinhold, “Strategische Planung des Wertschöpfungsbeitrags von HELLA für automatisiertes Fahren von morgen,” in Vorausschau und Technologieplanung, 2019, vol. 390, pp. 535–555.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22709
R. Dumitrescu, S. Japs, L. Kaiser, and R. Rasor, “Model Checking of Integratively Designed Product and Production Systems,” in TdSE 2019, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22710
A. Albers, K. F. Ellermann, A. Kühn, and R. Dumitrescu, “Entwicklung einer Suchstrategie für ein medienbasiertes Technologiesanning am Beispiel der Antriebstechnik,” in 15. Symposium für Vorausschau und Technologieplanung, 2019, vol. 390, pp. 277–291.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22712
M. Drewel, J. Gausemeier, M. Vaßholz, and N. Homburg, “Einstieg in die Plattformökonomie,” in Symposium für Vorausschau und Technologieplanung, 2019, vol. 15.
LibreCat
2019 | Newspaper Article | LibreCat-ID: 22714
C. Pierenkemper, J. Reinhold, R. Dumitrescu, and J. Gausemeier, “Erfolg versprechende Industrie 4.0-Zielposition - Ermittlung unter Berücksichtigung zukünftiger Umfeldentwicklungen,” Industrie 4.0 Management, vol. 5, pp. 30–34, 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 22716
F. Wortmann, R. Joppen, M. Drewel, A. Kühn, and R. Dumitrescu, “Developing and Evaluating Concepts for a Digital Platform,” in IAMOT 2019 – Proceedings of the 28th International Association for Management of Technology Conference, Apr. 2019 International Association for Management of Technology (IAMOT), IAMOT, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22717
J. Reinhold, M. Frank, C. Koldewey, R. Dumitrescu, and J. Gausemeier, “Competence-based Planning of Value Networks for Smart Services,” in Proceedings of the ISPIM Connects, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22721
M. Bansmann, M. Foullois, D. Roeltgen, L. Wöste, and R. Dumitrescu, “Reference Architecture and Classification of technology-induced Scenarios of Digitized Work,” in 28th IAMOT International Conference of the International Association for Management of Technology, Mumbai, Indien, 2019.
LibreCat