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.
9737 Publications
2022 | Journal Article | LibreCat-ID: 30511 | 
Schubert P, Gazzillo P, Patterson Z, et al. Static data-flow analysis for software product lines in C. Automated Software Engineering. 2022;29(1). doi:10.1007/s10515-022-00333-1
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 32811
Redder A, Ramaswamy A, Karl H. Age of Information Process under Strongly Mixing Communication -- Moment Bound, Mixing Rate and Strong Law. In: Proceedings of the 58th Allerton Conference on Communication, Control, and Computing. ; 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 30793
Redder A, Ramaswamy A, Karl H. Multi-agent Policy Gradient Algorithms for Cyber-physical Systems with Lossy Communication. In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence. SCITEPRESS - Science and Technology Publications; 2022. doi:10.5220/0010845400003116
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32855
Clausing L, Platzner M. ReconOS64: A Hardware Operating System for Modern Platform FPGAs with 64-Bit Support. In: 2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE; 2022:120-127. doi:10.1109/ipdpsw55747.2022.00029
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32590
Richter C, Wehrheim H. Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST). ; 2022:162-173. doi:10.1109/ICST53961.2022.00027
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 32591
Richter C, Wehrheim H. TSSB-3M: Mining single statement bugs at massive scale. In: 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR). ; 2022:418-422. doi:10.1145/3524842.3528505
LibreCat
| DOI
2022 | Bachelorsthesis | LibreCat-ID: 32398
Siek H. Bringing Structure to Structure-Preserving Signatures: Overview, Implementation and Comparison of Selected SPS Schemes.; 2022.
LibreCat
2022 | Mastersthesis | LibreCat-ID: 31485
Kramer P. On Transforming Lattice-Based Cryptography to the Ring Setting.; 2022.
LibreCat