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.
9906 Publications
2020 | Journal Article | LibreCat-ID: 20372
Ebers, Lena, et al. “Light Diffraction in Slab Waveguide Lenses Simulated with the Stepwise Angular Spectrum Method.” Optics Express, vol. 28, no. 24, 2020, p. 36361, doi:10.1364/oe.409612.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20447
Massmann, Melina, et al. “Method for Data Inventory and Classification.” Procedia CIRP, no. 93, 2020, pp. 234–39.
LibreCat
2020 | Journal Article | LibreCat-ID: 20448
Meyer, Maurice, et al. “Data-Driven Product Generation and Retrofit Planning.” Procedia CIRP, no. 93, 2020, pp. 965–70.
LibreCat
2020 | Journal Article | LibreCat-ID: 20449
Uhlmann, Eckart, et al. “Datengetriebene Steigerung Der Verfügbarkeit.” Wt Werkstattstechnik Online , vol. 110, no. 07–08, 2020, pp. 532–35.
LibreCat
2020 | Journal Article | LibreCat-ID: 20450
Massmann, Melina, et al. “Framework for Data Analytics in Data-Driven Product Planning.” Procedia Manufacturing, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20452
Terfloth, Lutz, et al. Combining Ideas and Artifacts: An Interaction-Focused View on Computing Education Using a Cybersecurity Example. Association for Computing Machinery, 2020, doi:10.1145/3428029.3428052.
LibreCat
| DOI
2020 | Mastersthesis | LibreCat-ID: 20495
Jochmaring, Moritz. A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks. 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20507
Geismann, Johannes, and Eric Bodden. “A Systematic Literature Review of Model-Driven Security Engineering for Cyber–Physical Systems.” Journal of Systems and Software, vol. 169, 2020, p. 110697, doi:https://doi.org/10.1016/j.jss.2020.110697.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20508
Nguyen Quang Do, Lisa, and Eric Bodden. “Explaining Static Analysis with Rule Graphs.” IEEE Transactions on Software Engineering, 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20509
Fischer, Andreas, et al. “PASAPTO: Policy-Aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage.” 2020 IEEE Computer Security Foundations Symposium (CSF), 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20510
Benz, Manuel, et al. “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis.” International Conference for Software Engineering (ICSE), 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20511
Fischer, Andreas, et al. “Computation on Encrypted Data Using Dataflow Authentication.” Privacy Enhancing Technologies Symposium (PETS/PoPETS), 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20512
Krüger, Stefan, et al. “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs.” International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–98.
LibreCat
| Files available
2020 | Dissertation | LibreCat-ID: 20513
Krüger, Stefan. CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn, 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20514
Yigitbas, Enes. “Model-Driven Engineering and Usability Evaluation of Self-Adaptive User Interfaces.” ACM SIGWEB Newsletter, 2, ACM, 2020, doi:https://doi.org/10.1145/3427478.3427480.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, et al. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.” ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020, doi:10.1145/3365438.3410946.
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 20521
Gerking, Christopher. Model-Driven Information Flow Security Engineering for Cyber-Physical Systems. Paderborn University, 2020, doi:10.17619/UNIPB/1-1033.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20568 | 
Reinhold, Jannik, et al. “GEMINI-Modellierungssprache für Wertschöpfungssysteme.” Der Geschäftsmodell-Toolguide , edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 52–56.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20570 |
Koldewey, Christian, et al. “GEMINI-Geschäftsmodellmuster-Kartenset.” Der Geschäftsmodell-Toolguide, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 61–66.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20571 |
Koldewey, Christian, et al. “Geschäftsmodellvalidierung.” Der Geschäftsmodell-Toolguide, edited by Birgit Buchholz and Matthias Bürger, Campus Verlag, 2020, pp. 106–11.
LibreCat
| Download (ext.)