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.
10097 Publications
2020 | Journal Article | LibreCat-ID: 20419
Magnitskaya N, Mouton C, Gokeler A, Nuehrenboerger C, Pape D, Seil R. Younger age and hamstring tendon graft are associated with higher IKDC 2000 and KOOS scores during the first year after ACL reconstruction. Knee Surg Sports Traumatol Arthrosc. 2020;28(3):823-832. doi:10.1007/s00167-019-05516-0
LibreCat
| DOI
| PubMed | Europe PMC
2020 | Journal Article | LibreCat-ID: 20447
Massmann M, Meyer M, Frank M, von Enzberg S, Kühn A, Dumitrescu R. Method for data inventory and classification. Procedia CIRP. 2020;(93):234-239.
LibreCat
2020 | Journal Article | LibreCat-ID: 20448
Meyer M, Frank M, Massmann M, Wendt N, Dumitrescu R. Data-Driven Product Generation and Retrofit Planning. Procedia CIRP. 2020;(93):965-970.
LibreCat
2020 | Journal Article | LibreCat-ID: 20449
Uhlmann E, Dumitrescu R, Polte J, Meyer M, Simsek D. Datengetriebene Steigerung der Verfügbarkeit. wt Werkstattstechnik online . 2020;110(07-08):532-535.
LibreCat
2020 | Journal Article | LibreCat-ID: 20450
Massmann M, Meyer M, Frank M, von Enzberg S, Kühn A, Dumitrescu R. Framework for Data Analytics in Data-Driven Product Planning. Procedia Manufacturing. 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20452
Terfloth L, Budde L, Schulte C. Combining Ideas and Artifacts: An Interaction-Focused View on Computing Education Using a Cybersecurity Example. In: New York, NY, USA: Association for Computing Machinery; 2020. doi:10.1145/3428029.3428052
LibreCat
| DOI
2020 | Mastersthesis | LibreCat-ID: 20495
Jochmaring M. A Self Stabilizing Protocol for Well-Formed Trees in Hybrid Networks.; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20507
Geismann J, Bodden E. A systematic literature review of model-driven security engineering for cyber–physical systems. Journal of Systems and Software. 2020;169:110697. doi:https://doi.org/10.1016/j.jss.2020.110697
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20508
Nguyen Quang Do L, Bodden E. Explaining Static Analysis with Rule Graphs. IEEE Transactions on Software Engineering. Published online 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20509
Fischer A, Janneck J, Kussmaul J, Krätzschmar N, Kerschbaum F, Bodden E. PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage. In: 2020 IEEE Computer Security Foundations Symposium (CSF). ; 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20510
Benz M, Krogh Kristensen E, Luo L, P. Borges Jr. N, Bodden E, Zeller A. Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis. In: International Conference for Software Engineering (ICSE). ; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20511
Fischer A, Fuhry B, Kerschbaum F, Bodden E. Computation on Encrypted Data using Dataflow Authentication. In: Privacy Enhancing Technologies Symposium (PETS/PoPETS). ; 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20512
Krüger S, Ali K, Bodden E. CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs. In: International Symposium on Code Generation and Optimization (CGO). ; 2020:185-198.
LibreCat
| Files available
2020 | Dissertation | LibreCat-ID: 20513
Krüger S. CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn; 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20514
Yigitbas E. Model-driven engineering and usability evaluation of self-adaptive user interfaces. In: ACM SIGWEB Newsletter. ACM; 2020. doi:https://doi.org/10.1145/3427478.3427480
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch T, Dziwok S, Holtmann J, Bodden E. Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers. In: 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 C. 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 J, Koldewey C, Dumitrescu R. GEMINI-Modellierungssprache für Wertschöpfungssysteme. In: Buchholz B, Bürger M, eds. Der Geschäftsmodell-Toolguide . Frankfurt am Main: Campus Verlag; 2020:52-56.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20570 |
Koldewey C, Reinhold J, Dumitrescu R. GEMINI-Geschäftsmodellmuster-Kartenset. In: Buchholz B, Bürger M, eds. Der Geschäftsmodell-Toolguide. Frankfurt am Main: Campus Verlag; 2020:61-66.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20571 |
Koldewey C, Reinhold J, Dumitrescu R. Geschäftsmodellvalidierung. In: Buchholz B, Bürger M, eds. Der Geschäftsmodell-Toolguide. Frankfurt am Main: Campus Verlag; 2020:106-111.
LibreCat
| Download (ext.)