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.

19621 Publications


2020 | Mastersthesis | LibreCat-ID: 20495
Jochmaring, M. (2020). A self stabilizing protocol for well-formed trees in hybrid networks.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 20496
Streiter, M., Fischer, T. G., Wiebeler, C., Reichert, S., Langenickel, J., Zeitler, K., & Deibel, C. (2020). Impact of Chlorine on the Internal Transition Rates and Excited States of the Thermally Delayed Activated Fluorescence Molecule 3CzClIPN. The Journal of Physical Chemistry C, 15007–15014. https://doi.org/10.1021/acs.jpcc.0c03341
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20501
Rosenthal, M., Lindner, J. K. N., Gerstmann, U., Meier, A., Schmidt, W. G., & Wilhelm, R. (2020). A photoredox catalysed Heck reaction via hole transfer from a Ru(II)-bis(terpyridine) complex to graphene oxide . Royal Society of Chemistry , 10(42930–42937). https://doi.org/10.1039/d0ra08749a
LibreCat | Files available | DOI
 

2020 | Conference Paper | LibreCat-ID: 20505
Heitkaemper, J., Schmalenströer, J., & Haeb-Umbach, R. (2020). Statistical and Neural Network Based Speech Activity Detection in Non-Stationary Acoustic Environments. In INTERSPEECH 2020 Virtual Shanghai China.
LibreCat | Files available
 

2020 | Journal Article | LibreCat-ID: 20507
Geismann, J., & Bodden, E. (2020). A systematic literature review of model-driven security engineering for cyber–physical systems. Journal of Systems and Software, 169, 110697. https://doi.org/10.1016/j.jss.2020.110697
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20508
Nguyen Quang Do, L., & Bodden, E. (2020). Explaining Static Analysis with Rule Graphs. IEEE Transactions on Software Engineering.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20509
Fischer, A., Janneck, J., Kussmaul, J., Krätzschmar, N., Kerschbaum, F., & Bodden, E. (2020). PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage. 2020 IEEE Computer Security Foundations Symposium (CSF).
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20510
Benz, M., Krogh Kristensen, E., Luo, L., P. Borges Jr., N., Bodden, E., & Zeller, A. (2020). Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis. International Conference for Software Engineering (ICSE).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20511
Fischer, A., Fuhry, B., Kerschbaum, F., & Bodden, E. (2020). Computation on Encrypted Data using Dataflow Authentication. Privacy Enhancing Technologies Symposium (PETS/PoPETS).
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20512
Krüger, S., Ali, K., & Bodden, E. (2020). CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs. International Symposium on Code Generation and Optimization (CGO), 185–198.
LibreCat | Files available
 

2020 | Dissertation | LibreCat-ID: 20513
Krüger, S. (2020). CogniCrypt -- The Secure Integration of Cryptographic Software. Universitaetsbibliothek Paderborn.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20514
Yigitbas, E. (2020). Model-driven engineering and usability evaluation of self-adaptive user interfaces. In ACM SIGWEB Newsletter. ACM. https://doi.org/10.1145/3427478.3427480
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 20515
Gräßler, I., Bodden, E., Pottebaum, J., Geismann, J., & Roesmann, D. (2020). Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems. In Advances in Intelligent Systems and Computing. https://doi.org/10.1007/978-3-030-50936-1_121
LibreCat | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20516
Holtmann, J., Steghofer, J.-P., Rath, M., & Schmelter, D. (2020). Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In 2020 IEEE 28th International Requirements Engineering Conference (RE). IEEE. https://doi.org/10.1109/re48521.2020.00014
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20518
Koch, T., Dziwok, S., Holtmann, J., & Bodden, E. (2020). 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). https://doi.org/10.1145/3365438.3410946
LibreCat | DOI
 

2020 | Dissertation | LibreCat-ID: 20521
Gerking, C. (2020). Model-Driven Information Flow Security Engineering for Cyber-Physical Systems. Paderborn University. https://doi.org/10.17619/UNIPB/1-1033
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20563
Hannes, W.-R., Trautmann, A., Stein, M., Sch\, F., Koch, M., & Meier, T. (2020). Strongly nonresonant four-wave mixing in semiconductors. Phys. Rev. B, 101, 075203. https://doi.org/10.1103/PhysRevB.101.075203
LibreCat | DOI
 

2020 | Conference Abstract | LibreCat-ID: 20567
Otroshi, M., Meschut, G., Masendorf, L., & Esderts, A. (2020). Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. Presented at the 10. Fügetechnisches Gemeinschaftskolloquium , Rostock, Germany.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 20568 | OA
Reinhold, J., Koldewey, C., & Dumitrescu, R. (2020). GEMINI-Modellierungssprache für Wertschöpfungssysteme. In B. Buchholz & M. Bürger (Eds.), Der Geschäftsmodell-Toolguide (pp. 52–56). Frankfurt am Main: Campus Verlag.
LibreCat | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 20569
Hagengruber, R. (2020). Der männliche Gott. Bibel- und Gesellschaftskritik in der Tradition der Philosophinnen der frühen Neuzeit. In W. J. Hoye (Ed.), Männlich, weiblich, divers? Philosophische Anthropologie der Geschlechter. (pp. 27–59). Münster: Josef Pieper Stiftung .
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed