Publications
Publications produced by research conducted at the Division of Computer Systems during the current year are listed below.
Publications from previous years are archived.
Publications from the Division of Computer Systems
- Boosting Constrained Horn Solving by Unsat Core Learning. In Verification, Model Checking, and Abstract Interpretation, volume 14499 of Lecture Notes in Computer Science, pp 280-302, Springer Nature, 2024. (DOI).
- Poster: Fault Tolerance with Time Guarantees in Mobile Systems for Extreme Environments. In , 2024.
- Blades: A Unified Benchmark Suite for Byzantine Attacks and Defenses in Federated Learning. In , 2024. (Conference information).
- FedCau: A Proactive Stop Policy for Communication and Computation Efficient Federated Learning. In IEEE Transactions on Wireless Communications, pp 1-1, IEEE Communications Society, 2024. (DOI, Fulltext, External link).
- ChannelComp: A General Method for Computation by Communications. In IEEE Transactions on Communications, volume 72, number 2, pp 692-706, IEEE Communications Society, 2024. (DOI, Fulltext, External link). Publication status: Accepted
- On differential privacy for federated learning in wireless systems with multiple base stations. In IET Communications, 2024. (DOI, Fulltext, fulltext:print).
- Predicting COVID-19 hospitalizations: The importance of healthcare hotlines, test positivity rates and vaccination coverage. In Spatial and Spatio-temporal Epidemiology, volume 48, Elsevier, 2024. (DOI, Fulltext, fulltext:print).