HERE Publications - Department of Information Technology - Uppsala University
Department of Information Technology
Department of Information Technology
Uppsala UniversityInformation TechnologyResearchComputer SystemsPublications
Denna sida på svenska
Listen

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

  1. Boosting Constrained Horn Solving by Unsat Core Learning. Parosh Aziz Abdulla, Chencheng Liang, and Philipp Rümmer. In Verification, Model Checking, and Abstract Interpretation, volume 14499 of Lecture Notes in Computer Science, pp 280-302, Springer Nature, 2024. (DOI).
  2. Verification under TSO with an infinite Data Domain. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, and Shashwat Garg. In Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III, volume 14572 of Lecture Notes in Computer Science, pp 276-295, Springer, 2024. (DOI, Fulltext, fulltext:print).
  3. Complexity results for modal logic with recursion via translations and tableaux. Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, and Anna Ingolfsdottir. In Logical Methods in Computer Science, volume 30, number 3, LOGICAL METHODS COMPUTER SCIENCE, 2024. (DOI, Fulltext, fulltext:print).
  4. Capacitance Modelling of Conductive Cotton Knit Fabric for Sensor Node Communication. Saba Akbari, Thiemo Voigt, and Klas Hjort. In 2024 13TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING, MECO 2024, Mediterranean Conference on Embedded Computing, pp 398-402, IEEE, 2024. (DOI).
  5. Development of Energy Autonomous Wearable Sensor Node for Oxygen Monitoring in Underground Tunnels. Saba Akbari, Thiemo Voigt, Rishi Sudhan Venkata Subramanian, and Weining Song. In 2024 13TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING, MECO 2024, Mediterranean Conference on Embedded Computing, pp 394-397, IEEE, 2024. (DOI).
  6. An Encoding for CLP Problems in SMT-LIB. Daneshvar Amrollahi, Hossein Hojjat, and Philipp Rümmer. In Electronic Proceedings in Theoretical Computer Science, Electronic Proceedings in Theoretical Computer Science, pp 118-130, Open Publishing Association, 2024. (DOI, EPTCS 402, fulltext:print).
  7. Compositional Verification in the Real World of Engineering: A case study on formal requirements for a redundancy braking system at Scania CV. Leo Arnholm Söderberg. Student thesis, supervisor: Anton Hampus, examiner: Lars-Åke Nordén, Stephan Spengler, UPTEC IT nr 24050, 2024. (fulltext).
  8. Simplifying the Process for UE using Beyond Communication Capabilities in 5G System. Anton Augustsson. Student thesis, supervisor: Robert Remi, examiner: Lars-Åke Nordén, Wang Yi, UPTEC IT nr 24049, 2024. (fulltext).
  9. Reachability in Continuous Pushdown VASS. A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche. In Proceedings of the ACM on Programming Languages, volume 8, number POPL, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext, fulltext:print).
  10. Accessibility Concepts to Include Elderly in the Digital World. Oskar Christersson. Student thesis, supervisor: Elvira Boman, examiner: Lars-Åke Nordén, Sarbojit Das, UPTEC IT nr 24025, 2024. (fulltext).
  11. A Plan for a Joint Study into the Impacts of AI on Professional Competencies of IT Professionals and Implications for Computing Students. Tony Clear, Åsa Cajander, Alison Clear, Roger Mcdermott, Andreas Bergqvist, Mats Daniels, Monica Divitini, Matthew Forshaw, Niklas Humble, Maria Kasinidou, Styliani Kleanthous, Can Kultur, Ghazaleh Parvini, Mohammad Polash, and Tingting Zhu. In Proceedings of the 2024 on Innovation and Technology in Computer Science Education, pp 757-758, ACM Digital Library, 2024. (DOI).
  12. Learning to Learn: Generalizing Reinforcement Learning Policies for Intent-Based Service Management using Meta-Learning. Simon Damberg. Student thesis, supervisor: Hannes Larsson, examiner: Lars-Åke Nordén, Olle Gällmo, UPTEC IT nr 24031, 2024. (fulltext).
  13. Scalable Tree-based Register Automata Learning. Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, and Fredrik Tåquist. In Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II, volume 14571 of Lecture Notes in Computer Science, pp 87-108, Springer, Cham, 2024. (DOI, Fulltext, fulltext:print).
  14. Poster: Fault Tolerance with Time Guarantees in Mobile Systems for Extreme Environments. Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt, and Philipp Rümmer. In HOTMOBILE '24: Proceedings of the 25th International Workshop on Mobile Computing Systems and Applications, pp 138-138, Association for Computing Machinery (ACM), 2024. (DOI).
  15. Security and Privacy for Fat Intra-Body Communication: Mechanisms and Protocol Stack. Johan Engstrand, Konrad-Felix Krentz, Noor Badariah Asan, Madhushanka Padmal, Wenqing Yan, Laya Joseph, Pramod Rangaiah, Bappaditya Mandal, Christian Rohner, Maria Mani, Robin Augustine, and Thiemo Voigt. In Proceedings of the 49th IEEE Conference on Local Computer Networks, pp 1-9, 2024. (DOI).
  16. Data management strategies in the retail sector: Unlocking the potential of cost-effective datamanagement for retail companies. Viktor Gamstorp and Simon Olausson. Student thesis, supervisor: Emil Wengström, examiner: Elísabet Andrésdóttir, Bengt Jonsson, UPTEC STS nr 24026, 2024. (fulltext).
  17. Mobility Matters at Nanoscale: Rendering the Received Terahertz Signal Power in Human Blood Vessels. Jorge Torres Gomez, Jennifer Simonjan, Johan Engstrand, Sergi Abadal, Robin Augustine, Thiemo Voigt, and Falko Dressler. In 2024 7TH INTERNATIONAL BALKAN CONFERENCE ON COMMUNICATIONS AND NETWORKING, BALKANCOM, pp 53-57, IEEE, 2024. (DOI).
  18. Machine Learning for Spectrum Sharing: A Survey. Francisco R. V. Guimarães, José Mairton Barros da Silva Jr., Charles Casimiro Cavalcante, Gabor Fodor, Mats Bengtsson, and Carlo Fischione. In Foundations and Trends® in Networking, volume 14, number 1-2, pp 1-159, Now Publishers Inc., 2024. (DOI).
  19. Comparing Service-Oriented Architecture Frameworks for Use in Programmable Industrial Vehicle Displays. Axel Gällstedt. Student thesis, supervisor: Ken Lindfors, examiner: Lars-Åke Nordén, Mohamed Faouzi Atig, UPTEC IT nr 24001, 2024. (fulltext).
  20. Modelling Gender Disparities in Football: The Impact of Machine Learning Models Trained on Gender-Specific Data. Douglas Gådin and Johan Winman. Student thesis, supervisor: Alexander Jorge, Jesper Haglöf, examiner: Lars-Åke Nordén, David Black-Schaffer, UPTEC IT nr 24021, 2024. (fulltext).
  21. Implications of Nanodevice Mobility on Terahertz Communication Links in the Human Vessels. Jorge Torres Gómez, Johan Engstrand, Sergi Abadal, Robin Augustine, Thiemo Voigt, and Falko Dressler. In Proceedings of the 11th Annual ACM International Conference on Nanoscale Computing and Communication, pp 85-90, 2024. (DOI).
  22. Cultivating Ecocentric Machines: Changing the Direction of the Anthropocentric Lineage in Intelligent Machines. Didem Gürdür Broo, Joshua C. Getters, and Henrik Skaug Saetra. In 2024 IEEE 7TH INTERNATIONAL CONFERENCE ON INDUSTRIAL CYBER-PHYSICAL SYSTEMS, ICPS 2024, Industrial Cyber Physical Systems, IEEE, 2024. (DOI).
  23. Re-imagining intelligent machines in an anthropocentric-ecocentric continuum: The case for ecocentric intelligent machines. Didem Gürdür Broo, Joshua C. Gellers, and Henrik Skaug Saetra. In Journal of Industrial Information Integration, volume 41, Elsevier, 2024. (DOI).
  24. Exploring the Cooperative Abilities Between Homogeneous Robotic Arms: An Explorative Study of Robotics and Reinforcement Learning. Tomas Järnil Pérez. Student thesis, supervisor: Didem Gürdur Broo, examiner: Lars-Åke Nordén, Rashid Aligholipour, UPTEC IT nr 24004, 2024. (fulltext).
  25. Enabling Cyber Threat Intelligence Sharing for Resource Constrained IoT. August Karlsson, Rikard Höglund, Han Wang, Alfonso Iacovazzi, and Shahid Raza. In 2024 IEEE International Conference on Cyber Security and Resilience (CSR), pp 82-89, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
  26. Sociodemographic characteristics and COVID-19 testing rates: spatiotemporal patterns and impact of test accessibility in Sweden. Beatrice Kennedy, Georgios Varotsis, Ulf Hammar, Diem Nguyen, Germán D. Carrasquilla, Vera van Zoest, Robert S. Kristiansson, Hugo Fitipaldi, Koen F. Dekkers, Meena Daivadanam, Mats Martinell, Jonas Björk, and Tove Fall. In European Journal of Public Health, volume 34, number 1, pp 14-21, Oxford University Press, 2024. (DOI, Fulltext, fulltext:print).
  27. Blades: A Unified Benchmark Suite for Byzantine Attacks and Defenses in Federated Learning. Shenghui Li, Edith Ngai, Fanghua Ye, Li Ju, Tianru Zhang, and Thiemo Voigt. In , 2024. (Conference information).
  28. Blades: A Unified Benchmark Suite for Byzantine Attacks and Defenses in Federated Learning. Shenghui Li, Edith C. H. Ngai, Fanghua Ye, Li Ju, Tianru Zhang, and Thiemo Voigt. In 9TH ACM/IEEE CONFERENCE ON INTERNET OF THINGS DESIGN AND IMPLEMENTATION, IOTDI 2024, pp 158-169, IEEE, 2024. (DOI).
  29. RTeX: An Efficient and Timing-Predictable Multithreaded Executor for ROS 2. Songran Liu, Xu Jiang, Nan Guan, Zilong Wang, Minghe Yu, and Yi Wang. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, volume 43, number 9, pp 2578-2591, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
  30. Non-Negative Decomposition of Multivariate Information: From Minimum to Blackwell-Specific Information. Tobias Mages, Elli Anastasiadi, and Christian Rohner. In Entropy, volume 26, number 5, MDPI, 2024. (DOI, Fulltext, fulltext:print).
  31. Quantifying redundancies and synergies with measures of inequality. Tobias Mages and Christian Rohner. In PLOS ONE, volume 19, number 11, Public Library of Science (PLoS), 2024. (DOI, Fulltext).
  32. FedCau: A Proactive Stop Policy for Communication and Computation Efficient Federated Learning. Afsaneh Mahmoudi, Hossein S. Ghadikolaei, José Mairton Barros da Silva Jr., and Carlo Fischione. In IEEE Transactions on Wireless Communications, volume 23, number 9, pp 11076-11093, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI, Fulltext, fulltext:print).
  33. Balancing Availability and Confidentiality in IT Systems Used for Defence. Anton Marhold. Student thesis, supervisor: Kristina Enflo Råhlander, examiner: Roland Bol, Chengzi Huang, UPTEC IT nr 24033, 2024. (fulltext).
  34. Investigating WordPress's Cybersecurity through a Secure by Design Methodology. Gustav Nolgren. Student thesis, supervisor: Wietze Schelhaas, examiner: Roland Bol, Bengt Jonsson, UPTEC IT nr 24046, 2024. (fulltext).
  35. Mutator-Driven Object Placement using Load Barriers. Jonas Norlinder, Albert Mingkun Yang, David Black-Schaffer, and Tobias Wrigstad. In MPLR 2024: Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext).
  36. Protocol State Fuzzing of EDHOC Implementations Using Register Automata Learning. Linus Olofsson. Student thesis, supervisor: Konstantinos Sagonas, examiner: Lars-Åke Nordén, Fredrik Tåkvist, UPTEC IT nr 24054, 2024. (fulltext).
  37. A Federated Prototype-Based Model for IoT Systems: A Study Case for Leakage Detection in a Real Water Distribution Network. Diego Perdigão Sousa, José Mairton Barros da Silva Jr., Charles Casimiro Cavalcante, and Carlo Fischione. In Wireless Sensor Networks in Smart Environments: Enabling Digitalization, Wiley-IEEE Press, 2024.
  38. Implementing Vector Runaheadin Software for Graph Processing. Gustav Pettersson. Student thesis, supervisor: Alireza Haddadi, examiner: Lars-Åke Nordén, Chang Hyun Park, UPTEC IT nr 24056, 2024. (fulltext).
  39. Unlocking the Potential of Low-cost High-resolution Sensing with Analog Backscatter. Dilushi Piumwardane, Madhushanka Padmal, Vaishnavi Ranganathan, Kasun Hewage, Christian Rohner, and Thiemo Voigt. In 2024 IEEE International Conference on RFID (RFID), IEEE International Conference on RFID, pp 1-6, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
  40. Agent Selection Framework for Federated Learning in Resource-Constrained Wireless Networks. Maria Raftopoulou, José Mairton Barros da Silva Jr., Remco Litjens, H. Vincent Poor, and Piet Van Mieghem. In IEEE Transactions on Machine Learning in Communications and Networking, pp 1-1, IEEE Communications Society, 2024. (DOI, Fulltext, External link).
  41. Generalizable One-Way Delay Prediction Models for Heterogeneous UEs in 5G Networks. Akhila Rao, Hassam Riaz, Aleksandr Zavodovski, Rami Mochaourab, Viktor Berggren, and Andreas Johnsson. In NOMS 2024-2024 IEEE Network Operations and Management Symposium, IEEE IFIP Network Operations and Management Symposium, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
  42. Blind Federated Learning via Over-the-Air q-QAM. Saeed Razavikia, Jose Mairton Barros da Silva Junior, and Carlo Fischione. In IEEE Transactions on Wireless Communications, pp 1-1, IEEE Communications Society, 2024. (DOI, Fulltext, External link).
  43. ChannelComp: A General Method for Computation by Communications. Saeed Razavikia, José Mairton Barros da Silva, and Carlo Fischione. 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).
  44. SumComp: Coding for Digital Over-the-Air Computation via the Ring of Integers. Saeed Razavikia, Jose Mairton Barros da Silva Junior, and Carlo Fischione. In IEEE Transactions on Communications, pp 1-1, IEEE Communications Society, 2024. (DOI, Fulltext, External link).
  45. Effektivisering av fakturaklassificering enligt UNSPSC-standarden: en maskininlärningslösning. Elaf Salam and Max Norberg. Student thesis, supervisor: Kim Grandell, examiner: Elísabet Andrésdóttir, Olle Gällmo, UPTEC STS nr 24027, 2024. (fulltext).
  46. Comparing Transfer Learning and Rollout for Policy Adaptation in a Changing Network Environment. Forough Shahab Samani, Hannes Larsson, Simon Damberg, Andreas Johnsson, and Rolf Stadler. In NOMS 2024-2024 IEEE Network Operations and Management Symposium, IEEE IFIP Network Operations and Management Symposium, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI).
  47. Concurrent Stochastic Lossy Channel Games. Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, and Parosh Aziz Abdulla. In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), volume 288 of Leibniz International Proceedings in Informatics, Schloss Dagstuhl, 2024. (DOI, Fulltext, fulltext:print).
  48. A Constraint Solving Approach to Parikh Images of Regular Languages. Amanda Stjerna and Philipp Rümmer. In Proceedings of the ACM on Programming Languages, volume 8, number OOPSLA1, Association for Computing Machinery (ACM), 2024. (DOI, Fulltext, fulltext:print).
  49. Timing analysis of processing chains with data refreshing in ROS 2. Yue Tang, Xu Jiang, Nan Guan, Xiantong Luo, Maolin Yang, and Yi Wang. In Journal of systems architecture, volume 155, Elsevier, 2024. (DOI).
  50. On differential privacy for federated learning in wireless systems with multiple base stations. Nima Tavangaran, Mingzhe Chen, Zhaohui Yang, José Mairton B. Da Silva Jr., and H. Vincent Poor. In IET Communications, 2024. (DOI, Fulltext, fulltext:print).
  51. Isolating Drone Frequencies in a Real-Time Drone Detection System. Jonas Teglund. Student thesis, supervisor: Didrik Olofsson, examiner: Lars-Åke Nordén, Ahmed Nematallah, UPTEC IT nr 24006, 2024. (fulltext).
  52. Comparing Real-Time Signal Processing Platforms for Direction Finding in Electronic Support Receiver. Karl Thomsson. Student thesis, supervisor: Daniel Fransson, examiner: Lars-Åke Nordén, Didem Gürdür Broo, UPTEC IT nr 24019, 2024. (fulltext).
  53. Guardians of the Grid: A Comparative Study of Best Practices and Experts' Current Approaches in Cybersecurity for Control Systems. Joel Thyberg. Student thesis, supervisor: Ulrika Jarnesjö, examiner: Elísabet Andrésdóttir, Alexandros Rouchitsas, UPTEC STS nr 24041, 2024. (fulltext).
  54. Creating a tool to convert CIM data model to IEC 61850 Substation Specification. Oscar Wadestig. Student thesis, supervisor: Yiming Wu, examiner: Lars-Åke Nordén, Bengt Jonsson, UPTEC IT nr 24055, 2024. (fulltext).
  55. Secure Satellite Communication: A system design for cybersecurity in space. Lucas Wallin. Student thesis, supervisor: Markus Skogsmo, examiner: Elísabet Andrésdóttir, Alexandros Rouchitsas, UPTEC STS nr 24034, 2024. (fulltext).
  56. Klassificering av resenärstyperbaserat på enkätdata. Kerstin Wärja. Student thesis, supervisor: Evelina Andersson, examiner: Elísabet Andrésdóttir, Olle Gällmo, UPTEC STS nr 24029, 2024. (fulltext).
  57. Predicting COVID-19 hospitalizations: The importance of healthcare hotlines, test positivity rates and vaccination coverage. Vera van Zoest, Karl Lindberg, Georgios Varotsis, Frank Badu Osei, and Tove Fall. In Spatial and Spatio-temporal Epidemiology, volume 48, Elsevier, 2024. (DOI, Fulltext, fulltext:print).

Publications from previous years are archived.

Updated  2022-03-13 19:21:17 by Victor Kuismin.