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
Holtmann J, Steghöfer J-P, Rath M, Schmelter D. Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract). In: Koziolek A, Schaefer I, Seidl C, eds. Software Engineering 2021. Vol P-310. Lecture Notes in Informatics (LNI). ; 2021:59-60. doi:10.18420/SE2021_18
LibreCat
| Files available
| DOI
2021 | Journal Article | LibreCat-ID: 23526 | 
Schubert D, Eikerling H, Holtmann J. Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML. Frontiers in Computer Science. 2021;3. doi:10.3389/fcomp.2021.567873
LibreCat
| DOI
| Download (ext.)
2021 | Preprint | LibreCat-ID: 23534
Dziwok S, Koch T, Merschjohann S, Budweg B, Leuer S. AppSecure.nrw Software Security Study. arXiv:210811752. 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 23374
Kummita S, Piskachev G, Spath J, Bodden E. Qualitative and Quantitative Analysis of Callgraph Algorithms for Python. In: 2021 International Conference on Code Quality (ICCQ). ; 2021. doi:10.1109/iccq51190.2021.9392986
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 29715
Steghofer J-P, Koopmann B, Steffen Becker J, et al. The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment. In: 2021 IEEE 29th International Requirements Engineering Conference (RE). IEEE; 2021. doi:10.1109/re51729.2021.00062
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 26407
Piskachev G, Krishnamurthy R, Bodden E. SecuCheck: Engineering configurable taint analysis for software developers. In: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM). ; 2021.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20516
Holtmann J, Steghofer J-P, Rath M, Schmelter D. Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In: 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE; 2020. doi:10.1109/re48521.2020.00014
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch T, Dziwok S, Holtmann J, Bodden E. Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. In: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). ACM; 2020. doi:10.1145/3365438.3410946
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 23376
Piskachev G, Nguyen Quang Do L, Johnson O, Bodden E. SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). ; 2020. doi:10.1109/ase.2019.00110
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 23377
Piskachev G, Petrasch T, Späth J, Bodden E. AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In: Lecture Notes in Computer Science. ; 2020. doi:10.1007/978-3-030-54997-8_34
LibreCat
| DOI