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.
9727 Publications
2024 | Bachelorsthesis | LibreCat-ID: 52318
Dorociak S. Implementierung Eines Algorithmus Zur Motivbasierten Schnitt-Sparsifizierung.; 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 52235
Khedkar M, Bodden E. Toward an Android Static Analysis Approach for Data Protection. In: Proceedings of the 9th International Conference on Mobile Software Engineering and Systems. ; 2024.
LibreCat
| Files available
| arXiv
2024 | Journal Article | LibreCat-ID: 52587
Bodden E, Pottebaum J, Fockel M, Gräßler I. Evaluating Security Through Isolation and Defense in Depth. IEEE Security & Privacy. 2024;22(1):69-72. doi:10.1109/msec.2023.3336028
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 33461 | 
Otto SE, Peitz S, Rowley CW. Learning Bilinear Models of Actuated Koopman Generators from Partially-Observed Trajectories. SIAM Journal on Applied Dynamical Systems. 2024;23(1):885-923. doi:10.1137/22M1523601
LibreCat
| DOI
| Download (ext.)
| arXiv
2024 | Misc | LibreCat-ID: 52663
Wickert A-K, Schlichtig M, Vogel M, Winter L, Mezini M, Bodden E. Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability.; 2024.
LibreCat
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 52686
Ahmed QA, Wiersema T, Platzner M. Post-configuration Activation of Hardware Trojans in FPGAs. Journal of Hardware and Systems Security. Published online 2024. doi:10.1007/s41635-024-00147-5
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 52700 |
Myroshnychenko V, Mulavarickal Jose PM, Farheen H, Ejaz S, Brosseau C, Förstner J. From Swiss-cheese to discrete ferroelectric composites: assessing the ferroelectric butterfly shape in polarization loops. Physica Scripta. 2024;99(4):045952. doi:10.1088/1402-4896/ad3172
LibreCat
| Files available
| DOI
2024 | Conference Paper | LibreCat-ID: 52379
Hüsing S, Schulte C, Sparmann S, Bolte M. Using Worked Examples for Engaging in Epistemic Programming Projects. In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1. ACM; 2024. doi:10.1145/3626252.3630961
LibreCat
| DOI