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.
12162 Publications
2020 | Conference Paper | LibreCat-ID: 20355
C. Koldewey, J. Gausemeier, N. Chohan, M. Frank, J. Reinhold, and R. Dumitrescu, “Aligning Strategy and Structure for Smart Service Businesses in Manufacturing,” in Proceedings of the IEEE International Conference on Technology Management, Operations and Decisions ”Disruptive Technologies and Social Impacts”, Marrakesch, Marocco.
LibreCat
2020 | Book Chapter | LibreCat-ID: 20365
C. Koldewey, J. Reinhold, and R. Dumitrescu, “Planning a Smart Service Business Integrating External Partners,” in Managing Digital Open Innovation, vol. Volume 5, P.-J. Barlatier and A.-L. Mention, Eds. World Scientific Publishing Company, 2020, pp. 255–298.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20447
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, and R. Dumitrescu, “Method for data inventory and classification,” Procedia CIRP, no. 93, pp. 234–239, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20448
M. Meyer, M. Frank, M. Massmann, N. Wendt, and R. Dumitrescu, “Data-Driven Product Generation and Retrofit Planning,” Procedia CIRP, no. 93, pp. 965–970, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20449
E. Uhlmann, R. Dumitrescu, J. Polte, M. Meyer, and D. Simsek, “Datengetriebene Steigerung der Verfügbarkeit,” wt Werkstattstechnik online , vol. 110, no. 07–08, pp. 532–535, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20450
M. Massmann, M. Meyer, M. Frank, S. von Enzberg, A. Kühn, and R. Dumitrescu, “Framework for Data Analytics in Data-Driven Product Planning,” Procedia Manufacturing, 2020.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 20495
M. Jochmaring, A self stabilizing protocol for well-formed trees in hybrid networks. 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20507
J. Geismann and E. Bodden, “A systematic literature review of model-driven security engineering for cyber–physical systems,” Journal of Systems and Software, vol. 169, p. 110697, 2020, doi: https://doi.org/10.1016/j.jss.2020.110697.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20508
L. Nguyen Quang Do and E. Bodden, “Explaining Static Analysis with Rule Graphs,” IEEE Transactions on Software Engineering, 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20509
A. Fischer, J. Janneck, J. Kussmaul, N. Krätzschmar, F. Kerschbaum, and E. Bodden, “PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage,” 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20510
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, and A. Zeller, “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis,” 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20511
A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data using Dataflow Authentication,” 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20512
S. Krüger, K. Ali, and E. Bodden, “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs,” in International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
LibreCat
| Files available
2020 | Dissertation | LibreCat-ID: 20513
S. Krüger, CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn, 2020.
LibreCat
| Download (ext.)
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