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.
184 Publications
2023 | Journal Article | LibreCat-ID: 48075 | 
Softsensors: key component of property control in forming technology
W. Homberg, B. Arian, V. Arne, T. Borgert, A. Brosius, P. Groche, C. Hartmann, L. Kersting, R. Laue, J. Martschin, T. Meurer, D. Spies, A.E. Tekkaya, A. Trächtler, W. Volk, F. Wendler, M. Wrobel, Production Engineering (2023).
LibreCat
| DOI
| Download (ext.)
W. Homberg, B. Arian, V. Arne, T. Borgert, A. Brosius, P. Groche, C. Hartmann, L. Kersting, R. Laue, J. Martschin, T. Meurer, D. Spies, A.E. Tekkaya, A. Trächtler, W. Volk, F. Wendler, M. Wrobel, Production Engineering (2023).
2022 | Conference Paper | LibreCat-ID: 29847
Semi-automatic Integrated Safety and Security Analysis for Automotive Systems
M. Fockel, D. Schubert, R. Trentinaglia, H. Schulz, W. Kirmair, in: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS - Science and Technology Publications, 2022.
LibreCat
| DOI
M. Fockel, D. Schubert, R. Trentinaglia, H. Schulz, W. Kirmair, in: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS - Science and Technology Publications, 2022.
2022 | Conference Paper | LibreCat-ID: 29844
Integrating Security Protocols in Scenario-based Requirements Specifications
T. Koch, S. Trippel, S. Dziwok, E. Bodden, in: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS - Science and Technology Publications, 2022.
LibreCat
| DOI
T. Koch, S. Trippel, S. Dziwok, E. Bodden, in: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS - Science and Technology Publications, 2022.
2022 | Conference Paper | LibreCat-ID: 34057
Domain-specific Language for Condition Monitoring Software Development
F. Pasic, M. Becker, in: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2022.
LibreCat
| DOI
F. Pasic, M. Becker, in: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2022.
2022 | Conference Paper | LibreCat-ID: 34298
Deriving model-based safety and security assurance cases from design rationale of countermeasure patterns
R. Trentinaglia, in: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, ACM, 2022.
LibreCat
| DOI
R. Trentinaglia, in: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, ACM, 2022.
2022 | Journal Article | LibreCat-ID: 31071
Early timing analysis based on scenario requirements and platform models
J. Holtmann, J. Deantoni, M. Fockel, Software and Systems Modeling (2022).
LibreCat
| DOI
J. Holtmann, J. Deantoni, M. Fockel, Software and Systems Modeling (2022).
2022 | Journal Article | LibreCat-ID: 33836
Fluently specifying taint-flow queries with fluentTQL
G. Piskachev, J. Späth, I. Budde, E. Bodden, Empirical Software Engineering 27 (2022) 1–33.
LibreCat
G. Piskachev, J. Späth, I. Budde, E. Bodden, Empirical Software Engineering 27 (2022) 1–33.
2022 | Conference Paper | LibreCat-ID: 33838
To what extent can we analyze Kotlin programs using existing Java taint analysis tools?
R. Krishnamurthy, G. Piskachev, E. Bodden, (2022).
LibreCat
R. Krishnamurthy, G. Piskachev, E. Bodden, (2022).
2022 | Conference Paper | LibreCat-ID: 33837
How far are German companies in improving security through static program analysis tools?
G. Piskachev, S. Dziwok, T. Koch, S. Merschjohann, E. Bodden, (2022).
LibreCat
G. Piskachev, S. Dziwok, T. Koch, S. Merschjohann, E. Bodden, (2022).
2022 | Conference Paper | LibreCat-ID: 33981
Analysis of Differential Algebraic Equation Systems for Connecting Energy Storages of Generally Valid Functional Mock-up Units
M. Ehlert, C. Henke, A. Trächtler, in: Proceedings of the 12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SCITEPRESS - Science and Technology Publications, 2022.
LibreCat
| DOI
M. Ehlert, C. Henke, A. Trächtler, in: Proceedings of the 12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SCITEPRESS - Science and Technology Publications, 2022.