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.
61 Publications
2021 | Conference Paper | LibreCat-ID: 29715
J.-P. Steghofer et al., “The MobSTr Dataset – An Exemplar for Traceability and Model-based Safety Assessment,” 2021, doi: 10.1109/re51729.2021.00062.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 26407
G. Piskachev, R. Krishnamurthy, and E. Bodden, “SecuCheck: Engineering configurable taint analysis for software developers,” 2021.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20518
T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” 2020, doi: 10.1145/3365438.3410946.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 23376
G. Piskachev, L. Nguyen Quang Do, O. Johnson, and E. Bodden, “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods,” 2020, doi: 10.1109/ase.2019.00110.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 20757
M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, and S. Dziwok, “Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen,” in Projektmanagement und Vorgehensmodelle 2019 (PVM 2019), 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 22805
M. Fockel, S. Merschjohann, M. Fazal-Baqaie, T. Förder, S. Hausmann, and B. Waldeck, “Designing and Integrating IEC 62443 Compliant Threat Analysis,” in European System, Software & Service Process Improvement & Innovation Conference (EuroSPI 2019), Edinburgh, UK, 2019, vol. 1060.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 23378
G. Piskachev, L. N. Q. Do, and E. Bodden, “Codebase-adaptive detection of security-relevant methods,” 2019, doi: 10.1145/3293882.3330556.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 21929
K. Altemeier, M. Becker, S. Dziwok, T. Koch, and S. Merschjohann, “Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design,” in Projektmanagement und Vorgehensmodelle 2019 (PVM 2019), 2019.
LibreCat
2018 | Book Chapter | LibreCat-ID: 20782
T. Koch, J. Holtmann, and T. Lindemann, “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information,” in Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, vol. 880, L. F. Pires, S. Hammoudi, and B. Selic, Eds. Springer International Publishing, 2018, pp. 173–197.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20783
T. Koch, “Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems,” in International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 20785
J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, and D. Schmelter, “Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems,” in Model-Driven Engineering and Software Development, 2018, vol. 1, pp. 72–93, doi: 10.1007/978-3-319-94764-8_4.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20786
M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, “Formal, Model- and Scenario-based Requirement Patterns,” in 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 20787
B. Wohlers, S. Dziwok, D. Schmelter, and W. Lorenz, “Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control,” Advances in Manufacturing, Production Management and Process Control - AHFE 2018, pp. 398–410, 2018.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20791
J. Schmitz and M. Fockel, “Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien,” in Tag des Systems Engineering 2017, 2017.
LibreCat
2017 | Report | LibreCat-ID: 20793
M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, Model-based Requirement Pattern Catalog. Paderborn, Germany, 2017.
LibreCat