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.
- Comparing Service-Oriented Architecture Frameworks for Use in Programmable Industrial Vehicle Displays. Student thesis, supervisor: Ken Lindfors, examiner: Lars-Åke Nordén, Mohamed Faouzi Atig, UPTEC IT nr 24001, 2024. (fulltext).
- 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, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI, Fulltext, External link, fulltext:print).
- 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).
- Spatio-temporal modelling of the effects of the COVID-19 pandemic on electricity consumption patterns in Stockholm, Sweden. In Science Talks, volume 9, pp 100300-100300, 2024. (DOI).