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.
2346 Publications
2020 | Journal Article | LibreCat-ID: 20501
Rosenthal M, Lindner JKN, Gerstmann U, Meier A, Schmidt WG, Wilhelm R. A photoredox catalysed Heck reaction via hole transfer from a Ru(II)-bis(terpyridine) complex to graphene oxide . Royal Society of Chemistry . 2020;10(42930-42937). doi:10.1039/d0ra08749a
LibreCat
| Files available
| DOI
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: 20516
Holtmann J, Steghofer J-P, Rath M, Schmelter D. Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In: 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE; 2020. doi:10.1109/re48521.2020.00014
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 | Conference Abstract | LibreCat-ID: 20567
Otroshi M, Meschut G, Masendorf L, Esderts A. Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. In: ; 2020.
LibreCat
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.)
2020 | Book Chapter | LibreCat-ID: 20573 |
Koldewey C, Reinhold J, Dumitrescu R. Geschäftsmodell-Roadmapping. In: Buchholz B, Bürger M, eds. Der Geschäftsmodell-Toolguide. Frankfurt am Main: Campus Verlag; 2020:138-143.
LibreCat
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 20644
Volmert R, Weber N, Meier C. Nanoantennas embedded in zinc oxide for second harmonic generation enhancement. Journal of Applied Physics. 2020;128(4). doi:10.1063/5.0012813
LibreCat
| DOI
| WoS
2020 | Conference Paper | LibreCat-ID: 20647
Aßmuth V, Teutenberg D, Meschut G, et al. Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse – OffPlas. In: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V., ed. 20. Kolloquium Gemeinsame Forschung in der Klebtechnik. ; 2020:97-98.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20650
Aßmuth V, Teutenberg D, Meschut G. Analyse und Vorhersage rezeptur- und zeitabhängiger Enthaftungserscheinungen geklebter SMC-Bauteile. In: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V., ed. 20. Kolloquium Gemeinsame Forschung in der Klebtechnik. ; 2020:99-101.
LibreCat