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
@inproceedings{Luo_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
2023 | Conference Paper | LibreCat-ID: 43395
@inproceedings{Trentinaglia_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
| DOI
2023 | Journal Article | LibreCat-ID: 49439
@article{Piskachev_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
| DOI
2022 | Conference Paper | LibreCat-ID: 29847
@inproceedings{Fockel_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
| DOI
2022 | Conference Paper | LibreCat-ID: 29844
@inproceedings{Koch_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
| DOI
2022 | Conference Paper | LibreCat-ID: 34298
@inproceedings{Trentinaglia_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
| DOI
2022 | Journal Article | LibreCat-ID: 31071
@article{Holtmann_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
| DOI
2022 | Journal Article | LibreCat-ID: 33836
@article{Piskachev_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
2022 | Conference Paper | LibreCat-ID: 33838
@article{Krishnamurthy_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
2022 | Conference Paper | LibreCat-ID: 33837
@article{Piskachev_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
2021 | Conference Paper | LibreCat-ID: 21326
@inproceedings{Holtmann_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
| Files available
| DOI
2021 | Journal Article | LibreCat-ID: 23526 | 
@article{Schubert_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
| DOI
| Download (ext.)
2021 | Preprint | LibreCat-ID: 23534
@article{Dziwok_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
2021 | Conference Paper | LibreCat-ID: 23374
@inproceedings{Kummita_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
| DOI
2021 | Conference Paper | LibreCat-ID: 29715
@inproceedings{Steghofer_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
| DOI
2021 | Conference Paper | LibreCat-ID: 26407
@inproceedings{Piskachev_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
2020 | Conference Paper | LibreCat-ID: 20516
@inproceedings{Holtmann_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
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
@inproceedings{Koch_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
| DOI
2020 | Conference Paper | LibreCat-ID: 23376
@inproceedings{Piskachev_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
| DOI
2020 | Book Chapter | LibreCat-ID: 23377
@inbook{Piskachev_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
| DOI