Bodden, E., Pottebaum, J., Fockel, M., &; Gräßler, I. (2024). Evaluating Security Through Isolation and Defense in Depth. IEEE Security &; Privacy, 22(1), 69–72.https://doi.org/10.1109/msec.2023.3336028 
LibreCat: /record/52587
DOI: 10.1109/msec.2023.3336028

Johnson, O., Piskachev, G., Krishnamurthy, R., &; Bodden, E. (2024). Detecting Security-Relevant Methods using Multi-label Machine Learning. Proceedings of the 46th International Conference on Software Engineering, IDE Workshop.https://doi.org/10.48550/ARXIV.2403.07501 
LibreCat: /record/53958
DOI: 10.48550/ARXIV.2403.07501

Luo, L., Piskachev, G., Krishnamurthy, R., Dolby, J., Schäf, M., &; Bodden, E. (2023). Model Generation For Java Frameworks. IEEE International Conference on Software Testing, Verification and Validation (ICST).
LibreCat: /record/41812

Trentinaglia, R., Merschjohann, S., Fockel, M., &; Eikerling, H. (2023). Eliciting Security Requirements – An Experience Report. REFSQ 2023: Requirements Engineering: Foundation for Software Quality.https://doi.org/10.1007/978-3-031-29786-1_25 
LibreCat: /record/43395
DOI: 10.1007/978-3-031-29786-1_25

Piskachev, G., Becker, M., &; Bodden, E. (2023). Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study. Empirical Software Engineering, 28(5), Article 118.https://doi.org/10.1007/s10664-023-10354-3 
LibreCat: /record/49439
DOI: 10.1007/s10664-023-10354-3

Fockel, M., Schubert, D., Trentinaglia, R., Schulz, H., &; Kirmair, W. (2022). Semi-automatic Integrated Safety and Security Analysis for Automotive Systems. Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development.https://doi.org/10.5220/0010778500003119 
LibreCat: /record/29847
DOI: 10.5220/0010778500003119

Koch, T., Trippel, S., Dziwok, S., &; Bodden, E. (2022). Integrating Security Protocols in Scenario-based Requirements Specifications. Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development.https://doi.org/10.5220/0010783300003119 
LibreCat: /record/29844
DOI: 10.5220/0010783300003119

Trentinaglia, R. (2022). 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.https://doi.org/10.1145/3550356.3558508 
LibreCat: /record/34298
DOI: 10.1145/3550356.3558508

Holtmann, J., Deantoni, J., &; Fockel, M. (2022). Early timing analysis based on scenario requirements and platform models. Software and Systems Modeling.https://doi.org/10.1007/s10270-022-01002-3 
LibreCat: /record/31071
DOI: 10.1007/s10270-022-01002-3

Piskachev, G., Späth, J., Budde, I., &; Bodden, E. (2022). Fluently specifying taint-flow queries with fluentTQL. Empirical Software Engineering, 27(5), 1–33.
LibreCat: /record/33836

Krishnamurthy, R., Piskachev, G., &; Bodden, E. (2022). To what extent can we analyze Kotlin programs using existing Java taint analysis tools?
LibreCat: /record/33838

Piskachev, G., Dziwok, S., Koch, T., Merschjohann, S., &; Bodden, E. (2022). How far are German companies in improving security through static program analysis tools?
LibreCat: /record/33837

Holtmann, J., Steghöfer, J.-P., Rath, M., &; Schmelter, D. (2021). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract). In A. Koziolek, I. Schaefer, &; C. Seidl (Eds.), Software Engineering 2021 (Vol. P-310, pp. 59–60). Remote / Braunschweig, Germany .https://doi.org/10.18420/SE2021_18 
LibreCat: /record/21326
DOI: 10.18420/SE2021_18

Schubert, D., Eikerling, H., &; Holtmann, J. (2021). Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML. Frontiers in Computer Science, 3.https://doi.org/10.3389/fcomp.2021.567873 
LibreCat: /record/23526
DOI: 10.3389/fcomp.2021.567873

Dziwok, S., Koch, T., Merschjohann, S., Budweg, B., &; Leuer, S. (2021). AppSecure.nrw Software Security Study. ArXiv:2108.11752.
LibreCat: /record/23534

Kummita, S., Piskachev, G., Spath, J., &; Bodden, E. (2021). Qualitative and Quantitative Analysis of Callgraph Algorithms for Python. 2021 International Conference on Code Quality (ICCQ).https://doi.org/10.1109/iccq51190.2021.9392986 
LibreCat: /record/23374
DOI: 10.1109/iccq51190.2021.9392986

Steghofer, J.-P., Koopmann, B., Steffen Becker, J., Stierand, I., Zeller, M., Bonner, M., Schmelter, D., &; Maro, S. (2021). The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment. 2021 IEEE 29th International Requirements Engineering Conference (RE).https://doi.org/10.1109/re51729.2021.00062 
LibreCat: /record/29715
DOI: 10.1109/re51729.2021.00062

Piskachev, G., Krishnamurthy, R., &; Bodden, E. (2021). SecuCheck: Engineering configurable taint analysis for software developers. 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM).
LibreCat: /record/26407

Holtmann, J., Steghofer, J.-P., Rath, M., &; Schmelter, D. (2020). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE.https://doi.org/10.1109/re48521.2020.00014 
LibreCat: /record/20516
DOI: 10.1109/re48521.2020.00014

Koch, T., Dziwok, S., Holtmann, J., &; Bodden, E. (2020). 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).https://doi.org/10.1145/3365438.3410946 
LibreCat: /record/20518
DOI: 10.1145/3365438.3410946