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.
5928 Publications
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 | 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: 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
2020 | Book Chapter | LibreCat-ID: 20568 | 
J. Reinhold, C. Koldewey, and R. Dumitrescu, “GEMINI-Modellierungssprache für Wertschöpfungssysteme,” in Der Geschäftsmodell-Toolguide , B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 52–56.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20570 |
C. Koldewey, J. Reinhold, and R. Dumitrescu, “GEMINI-Geschäftsmodellmuster-Kartenset,” in Der Geschäftsmodell-Toolguide, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 61–66.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20571 |
C. Koldewey, J. Reinhold, and R. Dumitrescu, “Geschäftsmodellvalidierung,” in Der Geschäftsmodell-Toolguide, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 106–111.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20573 |
C. Koldewey, J. Reinhold, and R. Dumitrescu, “Geschäftsmodell-Roadmapping,” in Der Geschäftsmodell-Toolguide, B. Buchholz and M. Bürger, Eds. Frankfurt am Main: Campus Verlag, 2020, pp. 138–143.
LibreCat
| Download (ext.)
2020 | Report | LibreCat-ID: 20712
P. Schubert, E. Bodden, and B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries. 2020.
LibreCat
| Files available