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
2023 | Conference Paper | LibreCat-ID: 41812
Luo, Linghui, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Martin Schäf, and Eric Bodden. “Model Generation For Java Frameworks.” In IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 43395
Trentinaglia, Roman, Sven Merschjohann, Markus Fockel, and Hendrik Eikerling. “Eliciting Security Requirements – An Experience Report.” In REFSQ 2023: Requirements Engineering: Foundation for Software Quality. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-29786-1_25.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 49439
Piskachev, Goran, Matthias Becker, and Eric Bodden. “Can the Configuration of Static Analyses Make Resolving Security Vulnerabilities More Effective? - A User Study.” Empirical Software Engineering 28, no. 5 (2023). https://doi.org/10.1007/s10664-023-10354-3.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29847
Fockel, Markus, David Schubert, Roman Trentinaglia, Hannes Schulz, and Wolfgang Kirmair. “Semi-Automatic Integrated Safety and Security Analysis for Automotive Systems.” In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2022. https://doi.org/10.5220/0010778500003119.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29844
Koch, Thorsten, Sascha Trippel, Stefan Dziwok, and Eric Bodden. “Integrating Security Protocols in Scenario-Based Requirements Specifications.” In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2022. https://doi.org/10.5220/0010783300003119.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 34298
Trentinaglia, Roman. “Deriving Model-Based Safety and Security Assurance Cases from Design Rationale of Countermeasure Patterns.” In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. ACM, 2022. https://doi.org/10.1145/3550356.3558508.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31071
Holtmann, Jörg, Julien Deantoni, and Markus Fockel. “Early Timing Analysis Based on Scenario Requirements and Platform Models.” Software and Systems Modeling, 2022. https://doi.org/10.1007/s10270-022-01002-3.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33836
Piskachev, Goran, Johannes Späth, Ingo Budde, and Eric Bodden. “Fluently Specifying Taint-Flow Queries with FluentTQL.” Empirical Software Engineering 27, no. 5 (2022): 1–33.
LibreCat
2022 | Conference Paper | LibreCat-ID: 33838
Krishnamurthy, Ranjith, Goran Piskachev, and Eric Bodden. “To What Extent Can We Analyze Kotlin Programs Using Existing Java Taint Analysis Tools?” IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 33837
Piskachev, Goran, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, and Eric Bodden. “How Far Are German Companies in Improving Security through Static Program Analysis Tools?” IEEE Secure Development Conference (SecDev), 2022.
LibreCat
2021 | Conference Paper | LibreCat-ID: 21326
Holtmann, Jörg, Jan-Phillipp Steghöfer, Michael Rath, and David Schmelter. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology (Extended Abstract).” In Software Engineering 2021, edited by Anne Koziolek, Ina Schaefer, and Christoph Seidl, P-310:59–60. Lecture Notes in Informatics (LNI), 2021. https://doi.org/10.18420/SE2021_18.
LibreCat
| Files available
| DOI
2021 | Journal Article | LibreCat-ID: 23526 | 
Schubert, David, Hendrik Eikerling, and Jörg Holtmann. “Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML.” Frontiers in Computer Science 3 (2021). https://doi.org/10.3389/fcomp.2021.567873.
LibreCat
| DOI
| Download (ext.)
2021 | Preprint | LibreCat-ID: 23534
Dziwok, Stefan, Thorsten Koch, Sven Merschjohann, Boris Budweg, and Sebastian Leuer. “AppSecure.Nrw Software Security Study.” ArXiv:2108.11752, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 23374
Kummita, Sriteja, Goran Piskachev, Johannes Spath, and Eric Bodden. “Qualitative and Quantitative Analysis of Callgraph Algorithms for Python.” In 2021 International Conference on Code Quality (ICCQ), 2021. https://doi.org/10.1109/iccq51190.2021.9392986.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 29715
Steghofer, Jan-Philipp, Bjorn Koopmann, Jan Steffen Becker, Ingo Stierand, Marc Zeller, Maria Bonner, David Schmelter, and Salome Maro. “The MobSTr Dataset – An Exemplar for Traceability and Model-Based Safety Assessment.” In 2021 IEEE 29th International Requirements Engineering Conference (RE). IEEE, 2021. https://doi.org/10.1109/re51729.2021.00062.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 26407
Piskachev, Goran, Ranjith Krishnamurthy, and Eric Bodden. “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örg, Jan-Philipp Steghofer, Michael Rath, and David Schmelter. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology.” In 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE, 2020. https://doi.org/10.1109/re48521.2020.00014.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “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. https://doi.org/10.1145/3365438.3410946.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 23376
Piskachev, Goran, Lisa Nguyen Quang Do, Oshando Johnson, and Eric Bodden. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” In 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020. https://doi.org/10.1109/ase.2019.00110.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 23377
Piskachev, Goran, Tobias Petrasch, Johannes Späth, and Eric Bodden. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” In Lecture Notes in Computer Science. Cham, 2020. https://doi.org/10.1007/978-3-030-54997-8_34.
LibreCat
| DOI