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.
9931 Publications
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 169 (2020): 110697. 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, Jonas Janneck, Jörn Kussmaul, Nikolas Krätzschmar, Florian Kerschbaum, and Eric Bodden. “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, Manuel, Erik Krogh Kristensen, Linghui Luo, Nataniel P. Borges Jr., Eric Bodden, and Andreas Zeller. “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, Andreas, Benny Fuhry, Florian Kerschbaum, and Eric Bodden. “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, Stefan, Karim Ali, and Eric Bodden. “CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs.” In International Symposium on Code Generation and Optimization (CGO), 185–98, 2020.
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.” In ACM SIGWEB Newsletter. ACM, 2020. https://doi.org/10.1145/3427478.3427480.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “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. https://doi.org/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. https://doi.org/10.17619/UNIPB/1-1033.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20568 | 
Reinhold, Jannik, Christian Koldewey, and Roman Dumitrescu. “GEMINI-Modellierungssprache für Wertschöpfungssysteme.” In Der Geschäftsmodell-Toolguide , edited by Birgit Buchholz and Matthias Bürger, 52–56. Frankfurt am Main: Campus Verlag, 2020.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20570 |
Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “GEMINI-Geschäftsmodellmuster-Kartenset.” In Der Geschäftsmodell-Toolguide, edited by Birgit Buchholz and Matthias Bürger, 61–66. Frankfurt am Main: Campus Verlag, 2020.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20571 |
Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “Geschäftsmodellvalidierung.” In Der Geschäftsmodell-Toolguide, edited by Birgit Buchholz and Matthias Bürger, 106–11. Frankfurt am Main: Campus Verlag, 2020.
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20573 |
Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “Geschäftsmodell-Roadmapping.” In Der Geschäftsmodell-Toolguide, edited by Birgit Buchholz and Matthias Bürger, 138–43. Frankfurt am Main: Campus Verlag, 2020.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20695 |
Boeddeker, Christoph, Tomohiro Nakatani, Keisuke Kinoshita, and Reinhold Haeb-Umbach. “Jointly Optimal Dereverberation and Beamforming.” In ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020. https://doi.org/10.1109/icassp40776.2020.9054393.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 20700 |
Boeddeker, Christoph, Tobias Cord-Landwehr, Jens Heitkaemper, Catalin Zorila, Daichi Hayakawa, Mohan Li, Min Liu, Rama Doddipatla, and Reinhold Haeb-Umbach. “Towards a Speaker Diarization System for the CHiME 2020 Dinner Party Transcription.” In Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments, 2020.
LibreCat
| Files available
2020 | Report | LibreCat-ID: 20712
Schubert, Philipp, Eric Bodden, and Ben Hermann. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020.
LibreCat
| Files available
2020 | Preprint | LibreCat-ID: 20748
Witschen, Linus Matthias, Tobias Wiersema, and Marco Platzner. “Search Space Characterization for AxC Synthesis.” Fifth Workshop on Approximate Computing (AxC 2020), n.d.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20750
Lienen, Christian, Marco Platzner, and Bernhard Rinner. “ReconROS: Flexible Hardware Acceleration for ROS2 Applications.” In Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT), 2020.
LibreCat