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, et al. “Model Generation For Java Frameworks.” IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 43395
Trentinaglia, Roman, et al. “Eliciting Security Requirements – An Experience Report.” REFSQ 2023: Requirements Engineering: Foundation for Software Quality, Springer Nature Switzerland, 2023, doi:10.1007/978-3-031-29786-1_25.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 49439
Piskachev, Goran, et al. “Can the Configuration of Static Analyses Make Resolving Security Vulnerabilities More Effective? - A User Study.” Empirical Software Engineering, vol. 28, no. 5, 118, Springer Science and Business Media LLC, 2023, doi:10.1007/s10664-023-10354-3.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 29847
Fockel, Markus, et al. “Semi-Automatic Integrated Safety and Security Analysis for Automotive Systems.” Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS - Science and Technology Publications, 2022, doi:10.5220/0010778500003119.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 29844
Koch, Thorsten, et al. “Integrating Security Protocols in Scenario-Based Requirements Specifications.” Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS - Science and Technology Publications, 2022, doi: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.” Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, ACM, 2022, doi:10.1145/3550356.3558508.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31071
Holtmann, Jörg, et al. “Early Timing Analysis Based on Scenario Requirements and Platform Models.” Software and Systems Modeling, Springer Science and Business Media LLC, 2022, doi:10.1007/s10270-022-01002-3.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 33836
Piskachev, Goran, et al. “Fluently Specifying Taint-Flow Queries with FluentTQL.” Empirical Software Engineering, vol. 27, no. 5, Springer, 2022, pp. 1–33.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 33838
Krishnamurthy, Ranjith, et al. To What Extent Can We Analyze Kotlin Programs Using Existing Java Taint Analysis Tools? 2022.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 33837
Piskachev, Goran, et al. How Far Are German Companies in Improving Security through Static Program Analysis Tools? 2022.
LibreCat
 

2021 | Conference Paper | LibreCat-ID: 21326
Holtmann, Jörg, et al. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology (Extended Abstract).” Software Engineering 2021, edited by Anne Koziolek et al., vol. P-310, 2021, pp. 59–60, doi:10.18420/SE2021_18.
LibreCat | Files available | DOI
 

2021 | Journal Article | LibreCat-ID: 23526 | OA
Schubert, David, et al. “Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML.” Frontiers in Computer Science, vol. 3, Frontiers Media, 2021, doi:10.3389/fcomp.2021.567873.
LibreCat | DOI | Download (ext.)
 

2021 | Preprint | LibreCat-ID: 23534
Dziwok, Stefan, et al. “AppSecure.Nrw Software Security Study.” ArXiv:2108.11752, 2021.
LibreCat
 

2021 | Conference Paper | LibreCat-ID: 23374
Kummita, Sriteja, et al. “Qualitative and Quantitative Analysis of Callgraph Algorithms for Python.” 2021 International Conference on Code Quality (ICCQ), 2021, doi:10.1109/iccq51190.2021.9392986.
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 29715
Steghofer, Jan-Philipp, et al. “The MobSTr Dataset – An Exemplar for Traceability and Model-Based Safety Assessment.” 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, Goran, et al. “SecuCheck: Engineering Configurable Taint Analysis for Software Developers.” 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20516
Holtmann, Jörg, et al. “Cutting through the Jungle: Disambiguating Model-Based Traceability Terminology.” 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, Thorsten, et al. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.” 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, Goran, et al. “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods.” 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, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-54997-8_34.
LibreCat | DOI
 

Filters and Search Terms

department=662

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed