@inproceedingsLuo_Piskachev_Krishnamurthy_Dolby_Schäf_Bodden_2023, title=Model Generation For Java Frameworks, booktitle=IEEE International Conference on Software Testing, Verification and Validation (ICST), author=Luo, Linghui and Piskachev, Goran and Krishnamurthy, Ranjith and Dolby, Julian and Schäf, Martin and Bodden, Eric, year=2023 
LibreCat: /record/41812

@inproceedingsTrentinaglia_Merschjohann_Fockel_Eikerling_2023, place=Cham, title=Eliciting Security Requirements – An Experience Report, DOI=10.1007/978-3-031-29786-1_25, booktitle=REFSQ 2023: Requirements Engineering: Foundation for Software Quality, publisher=Springer Nature Switzerland, author=Trentinaglia, Roman and Merschjohann, Sven and Fockel, Markus and Eikerling, Hendrik, year=2023 
LibreCat: /record/43395
DOI: 10.1007/978-3-031-29786-1_25

@articlePiskachev_Becker_Bodden_2023, title=Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study, volume=28, DOI=10.1007/s10664-023-10354-3, number=5118, journal=Empirical Software Engineering, publisher=Springer Science and Business Media LLC, author=Piskachev, Goran and Becker, Matthias and Bodden, Eric, year=2023 
LibreCat: /record/49439
DOI: 10.1007/s10664-023-10354-3

@inproceedingsFockel_Schubert_Trentinaglia_Schulz_Kirmair_2022, title=Semi-automatic Integrated Safety and Security Analysis for Automotive Systems, DOI=10.5220/0010778500003119, booktitle=Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, publisher=SCITEPRESS - Science and Technology Publications, author=Fockel, Markus and Schubert, David and Trentinaglia, Roman and Schulz, Hannes and Kirmair, Wolfgang, year=2022 
LibreCat: /record/29847
DOI: 10.5220/0010778500003119

@inproceedingsKoch_Trippel_Dziwok_Bodden_2022, title=Integrating Security Protocols in Scenario-based Requirements Specifications, DOI=10.5220/0010783300003119, booktitle=Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, publisher=SCITEPRESS - Science and Technology Publications, author=Koch, Thorsten and Trippel, Sascha and Dziwok, Stefan and Bodden, Eric, year=2022 
LibreCat: /record/29844
DOI: 10.5220/0010783300003119

@inproceedingsTrentinaglia_2022, title=Deriving model-based safety and security assurance cases from design rationale of countermeasure patterns, DOI=10.1145/3550356.3558508, booktitle=Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, publisher=ACM, author=Trentinaglia, Roman, year=2022 
LibreCat: /record/34298
DOI: 10.1145/3550356.3558508

@articleHoltmann_Deantoni_Fockel_2022, title=Early timing analysis based on scenario requirements and platform models, DOI=10.1007/s10270-022-01002-3, journal=Software and Systems Modeling, publisher=Springer Science and Business Media LLC, author=Holtmann, Jörg and Deantoni, Julien and Fockel, Markus, year=2022 
LibreCat: /record/31071
DOI: 10.1007/s10270-022-01002-3

@articlePiskachev_Späth_Budde_Bodden_2022, title=Fluently specifying taint-flow queries with fluentTQL, volume=27, number=5, journal=Empirical Software Engineering, publisher=Springer, author=Piskachev, Goran and Späth, Johannes and Budde, Ingo and Bodden, Eric, year=2022, pages=1–33 
LibreCat: /record/33836

@articleKrishnamurthy_Piskachev_Bodden_2022, series=IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), title=To what extent can we analyze Kotlin programs using existing Java taint analysis tools?, author=Krishnamurthy, Ranjith and Piskachev, Goran and Bodden, Eric, year=2022, collection=IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) 
LibreCat: /record/33838

@articlePiskachev_Dziwok_Koch_Merschjohann_Bodden_2022, series=IEEE Secure Development Conference (SecDev), title=How far are German companies in improving security through static program analysis tools?, author=Piskachev, Goran and Dziwok, Stefan and Koch, Thorsten and Merschjohann, Sven and Bodden, Eric, year=2022, collection=IEEE Secure Development Conference (SecDev) 
LibreCat: /record/33837

@inproceedingsHoltmann_Steghöfer_Rath_Schmelter_2021, series=Lecture Notes in Informatics (LNI), title=Cutting through the Jungle: Disambiguating Model-based Traceability Terminology (Extended Abstract), volume=P-310, DOI=10.18420/SE2021_18, booktitle=Software Engineering 2021, author=Holtmann, Jörg and Steghöfer, Jan-Phillipp and Rath, Michael and Schmelter, David, editor=Koziolek, Anne and Schaefer, Ina and Seidl, ChristophEditors, year=2021, pages=59–60, collection=Lecture Notes in Informatics (LNI) 
LibreCat: /record/21326
DOI: 10.18420/SE2021_18

@articleSchubert_Eikerling_Holtmann_2021, title=Application-Aware Intrusion Detection: A Systematic Literature Review, Implications for Automotive Systems, and Applicability of AutoML, volume=3, DOI=10.3389/fcomp.2021.567873, journal=Frontiers in Computer Science, publisher=Frontiers Media, author=Schubert, David and Eikerling, Hendrik and Holtmann, Jörg, year=2021 
LibreCat: /record/23526
DOI: 10.3389/fcomp.2021.567873

@articleDziwok_Koch_Merschjohann_Budweg_Leuer_2021, title=AppSecure.nrw Software Security Study, journal=arXiv:2108.11752, author=Dziwok, Stefan and Koch, Thorsten and Merschjohann, Sven and Budweg, Boris and Leuer, Sebastian, year=2021 
LibreCat: /record/23534

@inproceedingsKummita_Piskachev_Spath_Bodden_2021, title=Qualitative and Quantitative Analysis of Callgraph Algorithms for Python, DOI=10.1109/iccq51190.2021.9392986, booktitle=2021 International Conference on Code Quality (ICCQ), author=Kummita, Sriteja and Piskachev, Goran and Spath, Johannes and Bodden, Eric, year=2021 
LibreCat: /record/23374
DOI: 10.1109/iccq51190.2021.9392986

@inproceedingsSteghofer_Koopmann_Steffen Becker_Stierand_Zeller_Bonner_Schmelter_Maro_2021, title=The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment, DOI=10.1109/re51729.2021.00062, booktitle=2021 IEEE 29th International Requirements Engineering Conference (RE), publisher=IEEE, author=Steghofer, Jan-Philipp and Koopmann, Bjorn and Steffen Becker, Jan and Stierand, Ingo and Zeller, Marc and Bonner, Maria and Schmelter, David and Maro, Salome, year=2021 
LibreCat: /record/29715
DOI: 10.1109/re51729.2021.00062

@inproceedingsPiskachev_Krishnamurthy_Bodden_2021, title=SecuCheck: Engineering configurable taint analysis for software developers, booktitle=2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), author=Piskachev, Goran and Krishnamurthy, Ranjith and Bodden, Eric, year=2021 
LibreCat: /record/26407

@inproceedingsHoltmann_Steghofer_Rath_Schmelter_2020, title=Cutting through the Jungle: Disambiguating Model-based Traceability Terminology, DOI=10.1109/re48521.2020.00014, booktitle=2020 IEEE 28th International Requirements Engineering Conference (RE), publisher=IEEE, author=Holtmann, Jörg and Steghofer, Jan-Philipp and Rath, Michael and Schmelter, David, year=2020 
LibreCat: /record/20516
DOI: 10.1109/re48521.2020.00014

@inproceedingsKoch_Dziwok_Holtmann_Bodden_2020, title=Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers, DOI=10.1145/3365438.3410946, booktitle=ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), publisher=ACM, author=Koch, Thorsten and Dziwok, Stefan and Holtmann, Jörg and Bodden, Eric, year=2020 
LibreCat: /record/20518
DOI: 10.1145/3365438.3410946

@inproceedingsPiskachev_Nguyen Quang Do_Johnson_Bodden_2020, title=SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods, DOI=10.1109/ase.2019.00110, booktitle=2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), author=Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden, Eric, year=2020 
LibreCat: /record/23376
DOI: 10.1109/ase.2019.00110

@inbookPiskachev_Petrasch_Späth_Bodden_2020, place=Cham, title=AuthCheck: Program-State Analysis for Access-Control Vulnerabilities, DOI=10.1007/978-3-030-54997-8_34, booktitle=Lecture Notes in Computer Science, author=Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric, year=2020 
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34