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