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.
55 Publications
2021 | Conference Paper | LibreCat-ID: 21326
J. Holtmann, J.-P. Steghöfer, M. Rath, and D. Schmelter, “Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract),” in Software Engineering 2021, Remote / Braunschweig, Germany , 2021, vol. P-310, pp. 59–60.
LibreCat
| Files available
| DOI
2021 | Journal Article | LibreCat-ID: 23526 | 
D. Schubert, H. Eikerling, and J. Holtmann, “Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML,” Frontiers in Computer Science, vol. 3, 2021.
LibreCat
| DOI
| Download (ext.)
2021 | Preprint | LibreCat-ID: 23534
S. Dziwok, T. Koch, S. Merschjohann, B. Budweg, and S. Leuer, “AppSecure.nrw Software Security Study,” arXiv:2108.11752. 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 23374
S. Kummita, G. Piskachev, J. Spath, and E. Bodden, “Qualitative and Quantitative Analysis of Callgraph Algorithms for Python,” 2021, doi: 10.1109/iccq51190.2021.9392986.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 29715
J.-P. Steghofer et al., “The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment,” 2021, doi: 10.1109/re51729.2021.00062.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 26407
G. Piskachev, R. Krishnamurthy, and E. Bodden, “SecuCheck: Engineering configurable taint analysis for software developers,” 2021.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20518
T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” 2020, doi: 10.1145/3365438.3410946.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 23376
G. Piskachev, L. Nguyen Quang Do, O. Johnson, and E. Bodden, “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods,” 2020, doi: 10.1109/ase.2019.00110.
LibreCat
| DOI