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
@book{Jochmaring_2020, title={A self stabilizing protocol for well-formed trees in hybrid networks}, author={Jochmaring, Moritz}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 20507
@article{Geismann_Bodden_2020, title={A systematic literature review of model-driven security engineering for cyber–physical systems}, volume={169}, DOI={https://doi.org/10.1016/j.jss.2020.110697}, journal={Journal of Systems and Software}, author={Geismann, Johannes and Bodden, Eric}, year={2020}, pages={110697} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20508
@article{Nguyen Quang Do_Bodden_2020, title={Explaining Static Analysis with Rule Graphs}, journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do, Lisa and Bodden, Eric}, year={2020} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20509
@inproceedings{Fischer_Janneck_Kussmaul_Krätzschmar_Kerschbaum_Bodden_2020, title={PASAPTO: Policy-aware Security and Performance Trade-off Analysis - Computation on Encrypted Data with Restricted Leakage}, booktitle={2020 IEEE Computer Security Foundations Symposium (CSF)}, author={Fischer, Andreas and Janneck, Jonas and Kussmaul, Jörn and Krätzschmar, Nikolas and Kerschbaum, Florian and Bodden, Eric}, year={2020} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20510
@inproceedings{Benz_Krogh Kristensen_Luo_P. Borges Jr._Bodden_Zeller_2020, title={Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis}, booktitle={International Conference for Software Engineering (ICSE)}, author={Benz, Manuel and Krogh Kristensen, Erik and Luo, Linghui and P. Borges Jr., Nataniel and Bodden, Eric and Zeller, Andreas}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 20511
@inproceedings{Fischer_Fuhry_Kerschbaum_Bodden_2020, title={Computation on Encrypted Data using Dataflow Authentication}, booktitle={Privacy Enhancing Technologies Symposium (PETS/PoPETS)}, author={Fischer, Andreas and Fuhry, Benny and Kerschbaum, Florian and Bodden, Eric}, year={2020} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20512
@inproceedings{Krüger_Ali_Bodden_2020, title={CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs}, booktitle={International Symposium on Code Generation and Optimization (CGO)}, author={Krüger, Stefan and Ali, Karim and Bodden, Eric}, year={2020}, pages={185–198} }
LibreCat
| Files available
2020 | Dissertation | LibreCat-ID: 20513
@book{Krüger_2020, title={CogniCrypt -- The Secure Integration of Cryptographic Software}, publisher={Universitaetsbibliothek Paderborn}, author={Krüger, Stefan}, year={2020} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20514
@inproceedings{Yigitbas_2020, title={Model-driven engineering and usability evaluation of self-adaptive user interfaces}, DOI={https://doi.org/10.1145/3427478.3427480}, number={2}, booktitle={ACM SIGWEB Newsletter}, publisher={ACM}, author={Yigitbas, Enes}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20518
@inproceedings{Koch_Dziwok_Holtmann_Bodden_2020, title={Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers}, DOI={10.1145/3365438.3410946}, booktitle={ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20)}, publisher={ACM}, author={Koch, Thorsten and Dziwok, Stefan and Holtmann, Jörg and Bodden, Eric}, year={2020} }
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 20521
@book{Gerking_2020, title={Model-Driven Information Flow Security Engineering for Cyber-Physical Systems}, DOI={10.17619/UNIPB/1-1033}, publisher={Paderborn University}, author={Gerking, Christopher}, year={2020} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 20568 | 
@inbook{Reinhold_Koldewey_Dumitrescu_2020, place={Frankfurt am Main}, title={GEMINI-Modellierungssprache für Wertschöpfungssysteme}, booktitle={Der Geschäftsmodell-Toolguide }, publisher={Campus Verlag}, author={Reinhold, Jannik and Koldewey, Christian and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={52–56} }
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20570 |
@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={GEMINI-Geschäftsmodellmuster-Kartenset}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={61–66} }
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20571 |
@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={Geschäftsmodellvalidierung}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={106–111} }
LibreCat
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 20573 |
@inbook{Koldewey_Reinhold_Dumitrescu_2020, place={Frankfurt am Main}, title={Geschäftsmodell-Roadmapping}, booktitle={Der Geschäftsmodell-Toolguide}, publisher={Campus Verlag}, author={Koldewey, Christian and Reinhold, Jannik and Dumitrescu, Roman}, editor={Buchholz, Birgit and Bürger, MatthiasEditors}, year={2020}, pages={138–143} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20695 |
@inproceedings{Boeddeker_Nakatani_Kinoshita_Haeb-Umbach_2020, title={Jointly Optimal Dereverberation and Beamforming}, DOI={10.1109/icassp40776.2020.9054393}, booktitle={ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)}, author={Boeddeker, Christoph and Nakatani, Tomohiro and Kinoshita, Keisuke and Haeb-Umbach, Reinhold}, year={2020} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 20700 |
@inproceedings{Boeddeker_Cord-Landwehr_Heitkaemper_Zorila_Hayakawa_Li_Liu_Doddipatla_Haeb-Umbach_2020, title={Towards a speaker diarization system for the CHiME 2020 dinner party transcription}, booktitle={Proc. CHiME 2020 Workshop on Speech Processing in Everyday Environments}, author={Boeddeker, Christoph and Cord-Landwehr, Tobias and Heitkaemper, Jens and Zorila, Catalin and Hayakawa, Daichi and Li, Mohan and Liu, Min and Doddipatla, Rama and Haeb-Umbach, Reinhold}, year={2020} }
LibreCat
| Files available
2020 | Report | LibreCat-ID: 20712
@book{Schubert_Bodden_Hermann_2020, title={Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries}, author={Schubert, Philipp and Bodden, Eric and Hermann, Ben}, year={2020} }
LibreCat
| Files available
2020 | Preprint | LibreCat-ID: 20748
@article{Witschen_Wiersema_Platzner, title={Search Space Characterization for AxC Synthesis}, journal={Fifth Workshop on Approximate Computing (AxC 2020)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20750
@inproceedings{Lienen_Platzner_Rinner_2020, title={ReconROS: Flexible Hardware Acceleration for ROS2 Applications}, booktitle={Proceedings of the 2020 International Conference on Field-Programmable Technology (FPT)}, author={Lienen, Christian and Platzner, Marco and Rinner, Bernhard}, year={2020} }
LibreCat