L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, and E. Bodden, “Model Generation For Java Frameworks,” 2023.

R. Trentinaglia, S. Merschjohann, M. Fockel, and H. Eikerling, “Eliciting Security Requirements – An Experience Report,”10.1007/978-3-031-29786-1_25__2023, doi:10.1007/978-3-031-29786-1_25 .

G. Piskachev, M. Becker, and E. Bodden, “Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study,”10.1007/s10664-023-10354-3__Empirical Software Engineering, vol. 28, no. 5, Art. no. 118, 2023, doi:10.1007/s10664-023-10354-3 .

M. Fockel, D. Schubert, R. Trentinaglia, H. Schulz, and W. Kirmair, “Semi-automatic Integrated Safety and Security Analysis for Automotive Systems,”10.5220/0010778500003119__2022, doi:10.5220/0010778500003119 .

T. Koch, S. Trippel, S. Dziwok, and E. Bodden, “Integrating Security Protocols in Scenario-based Requirements Specifications,”10.5220/0010783300003119__2022, doi:10.5220/0010783300003119 .

R. Trentinaglia, “Deriving model-based safety and security assurance cases from design rationale of countermeasure patterns,”10.1145/3550356.3558508__2022, doi:10.1145/3550356.3558508 .

J. Holtmann, J. Deantoni, and M. Fockel, “Early timing analysis based on scenario requirements and platform models,”10.1007/s10270-022-01002-3__Software and Systems Modeling, 2022, doi:10.1007/s10270-022-01002-3 .

G. Piskachev, J. Späth, I. Budde, and E. Bodden, “Fluently specifying taint-flow queries with fluentTQL,” Empirical Software Engineering, vol. 27, no. 5, pp. 1–33, 2022.

R. Krishnamurthy, G. Piskachev, and E. Bodden, “To what extent can we analyze Kotlin programs using existing Java taint analysis tools?” 2022.

G. Piskachev, S. Dziwok, T. Koch, S. Merschjohann, and E. Bodden, “How far are German companies in improving security through static program analysis tools?” 2022.