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