School of Computing Science

September 2025

• Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation
  Almeida, Ricardo , Das, Susmoy , Archibald, Blair , Calder, Muffy and Sevegnani, Michele (2025) Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation. In: 6th International Conference on Reliability, Safety, and Security of Railway Systems (RSSRail), Pisa, Italy, 26-28 Nov 2025, (Accepted for Publication)
• ConfMan Web 3.0: Decentralized Academic Conference Management System with Rust and Web 3.0
  Gan, Chian Min, Seow, Chee Kiat , Keoh, Sye Loong, Yao, Dezhong, Cen, Yigang, Cai, Yiyu, Jain, Nisha and Cao, Qi (2025) ConfMan Web 3.0: Decentralized Academic Conference Management System with Rust and Web 3.0. In: 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC), Toronto, ON, Canada, 08-11 July 2025, pp. 1746-1751. ISBN 9798331574345 (doi: 10.1109/COMPSAC65507.2025.00237 )

August 2025

• A novel credibility evaluation and mitigation for ranging measurement in UWB localization
  Yang, Hongchao, Wang, YunJia, Seow, Chee Kiat , Sun, Meng, Joseph, Wout and Plets, David (2025) A novel credibility evaluation and mitigation for ranging measurement in UWB localization. Measurement , 256(Part A), 117721. (doi: 10.1016/j.measurement.2025.117721 )
• Safeguarded AI-driven semantic communication: design principles, architecture, and challenges
  Liang, Chengsi , Sun, Yao , Liu, Dongzhu , YU, DAHUI and Imran, Muhammad Ali (2025) Safeguarded AI-driven semantic communication: design principles, architecture, and challenges. IEEE Communications Standards Magazine , (Accepted for Publication)
• Online Model Checking for Anomaly Detection in Industrial Control Systems
  Fraser, Douglas , Miller, Alice , Cook, Marco and Pezaros, Dimitrios (2025) Online Model Checking for Anomaly Detection in Industrial Control Systems. In: 20th International Conference on Integrated Formal Methods (iFM 2025), Paris, France, 17-18 November 2025, (Accepted for Publication)
• Sweet or Sour CHERI: Performance Characterization of the Arm Morello Platform
  Sun, Xiaoyang, Singer, Jeremy and Wang, Zheng (2025) Sweet or Sour CHERI: Performance Characterization of the Arm Morello Platform. In: 2025 IEEE International Symposium on Workload Characterization (IISWC 2025), Irvine, USA, 12-14 October 2025, (Accepted for Publication)
• Let's Take Esoteric Programming Languages Seriously
  Singer, Jeremy and Draper, Steve (2025) Let's Take Esoteric Programming Languages Seriously. In: ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2025), Singapore, 12-18 October 2025, (Accepted for Publication)

July 2025

• OpenRASE: Service Function Chain Emulation
  Krishnamohan, Theviyanthan and Harvey, Paul (2025) OpenRASE: Service Function Chain Emulation. In: SoftCOM 2025, Split, Croatia, 18-20 September 2025, (Accepted for Publication)
• We’re eBPF’d: Exploring Adversarial Manipulation of ELF Files in eBPF-based Programmable Network Stacks
  Rose, Joe , Cook, Marco M. , Holik, Filip and Pezaros, Dimitrios (2025) We’re eBPF’d: Exploring Adversarial Manipulation of ELF Files in eBPF-based Programmable Network Stacks. In: IEEE Conference on Communications and Network Security (IEEE CNS 2025), Avignon, France, 8–11 September 2025, (Accepted for Publication)
• Two Decades of IETF Affiliations: Evolution and Impact
  Zhang, Yangjun, McQuistin, Stephen , Karan, Mladen, Ramirez-Centeno, Hugo Enrique, Perkins, Colin , Tyson, Gareth and Castro, Ignacio (2025) Two Decades of IETF Affiliations: Evolution and Impact. In: 2025 Applied Networking Research Workshop (ANRW '25), Madrid, Spain, 19-25 Jul 2025, pp. 17-23. ISBN 9798400720093 (doi: 10.1145/3744200.3744757 )

June 2025

• Energy-aware workflow execution: an overview of techniques for saving energy and emissions in scientific compute clusters
  Thamsen, Lauritz , Elkhatib, Yehia , Harvey, Paul , Nabi, Syed Waqar , Singer, Jeremy and Vanderbauwhede, Wim (2025) Energy-aware workflow execution: an overview of techniques for saving energy and emissions in scientific compute clusters. arXiv , 2506.04062. (doi: 10.48550/arXiv.2506.04062 )
• Predicting the performance of scientific workflow tasks for cluster resource management: an overview of the state of the art
  Bader, Jonathan, West, Kathleen , Becker, Soeren, Kulagina, Svetlana, Lehmann, Fabian, Thamsen, Lauritz , Meyerhenke, Henning and Kao, Odej (2025) Predicting the performance of scientific workflow tasks for cluster resource management: an overview of the state of the art. arXiv , 2504.20867. (doi: 10.48550/arXiv.2504.20867 )
• Adaptive Learning Feature Quantization for In-network FDI Detection in IEC 61850 Digital Substations
  Mahboob, Tahira , Holik, Filip , Shah, Awais Aziz and Pezaros, Dimitrios (2025) Adaptive Learning Feature Quantization for In-network FDI Detection in IEC 61850 Digital Substations. In: IEEE SmartGridComm 2025, Toronto, ON, Canada, 29 September - 2 October 2025, (Accepted for Publication)
• In-Network GOOSE Encryption with eBPF-based Programmable Network Architecture
  Holik, Filip , Mcilwraith, Kyle, Shah, Awais Aziz and Pezaros, Dimitrios P. (2025) In-Network GOOSE Encryption with eBPF-based Programmable Network Architecture. In: IEEE SmartGridComm 2025, Toronto, Canada, 29 Sep - 02 Oct 2025, (Accepted for Publication)
• A cyber physical architecture for symbiotic multi-robot fleet management
  Mitchell, Daniel , Gu, Yue , Blanche, Jamie , Harper, Samuel , Archibald, Blair , Sevegnani, Michele and Flynn, David (2025) A cyber physical architecture for symbiotic multi-robot fleet management. In: Virtual and Augmented Reality Technology-Enhanced Learning. Series: Gaming media and social effects. Springer, pp. 379-421. ISBN 9789819623327 (doi: 10.1007/978-981-96-2332-7_17 )
• Tree pruning simulation and tree growth modelling
  Tan, Zhen Xuan, Seow, Chee Kiat , Cai, Yiyu and Cao, Qi (2025) Tree pruning simulation and tree growth modelling. In: Cai, Y., Ramnarain, U. and Jieqiong Chen, J. (eds.) Virtual and Augmented Reality Technology-Enhanced Learning. Series: Gaming media and social effects. Springer: Singapore, pp. 189-210. ISBN 9789819623310 (doi: 10.1007/978-981-96-2332-7_7 )
• Quantum well based physical unclonable functions for IoT device attestation
  Williamson, Chris , Simpson, Kyle A. , Paul, Douglas J. and Pezaros, Dimitrios P. (2025) Quantum well based physical unclonable functions for IoT device attestation. IEEE Access , (doi: 10.1109/ACCESS.2025.3583881 ) (Early Online Publication)
• The IoT Whisperer: a Framework for Intelligent IoT Service Composition through LLMs
  Warburton, Ewan, Elhabbash, Abdessalam, Ezzini, Saad and Elkhatib, Yehia (2025) The IoT Whisperer: a Framework for Intelligent IoT Service Composition through LLMs. In: IEEE International Conference on Cloud Computing (CLOUD 2025), Helsinki, Finland, 7-12 July 2025, (Accepted for Publication)
• The Double-Edged Impact of User Customisation on QoE in Personalised Media Experiences
  Lyko, Tomasz, Austin, Edward, Lee, Alexander, Elkhatib, Yehia and Race, Nicholas (2025) The Double-Edged Impact of User Customisation on QoE in Personalised Media Experiences. In: 17th International Conference on Quality of Multimedia Experience (QoMEX’25), Madrid, Spain, 30 September - 2 October 2025, (Accepted for Publication)
• Formal Analysis of Resilience in Transport Systems with Bigraphs
  Das, Susmoy , Almeida, Ricardo , Archibald, Blair and Sevegnani, Michele (2025) Formal Analysis of Resilience in Transport Systems with Bigraphs. In: 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems (SRToITS 2025) in conjunction with SAFECOMP 2025, Stockholm, Sweden, 09-12 September 2025, ISBN 9783032020178 (doi: 10.1007/978-3-032-02018-5_31 )
• Haptic-Based User Authentication for Tele-robotic System
  Yu, Rongyu , Chen, Kan , Deng, Zeyu , Wang, Chen, Kizilkaya, Burak and Li, Emma (2025) Haptic-Based User Authentication for Tele-robotic System. In: 2025 34th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), Eindhoven, the Netherlands, 25-29 August 2025, (Accepted for Publication)
• Ichnos: a Carbon Footprint Estimator for Scientific Workflows
  West, Kathleen , Reid, Magnus, Elkhatib, Yehia and Thamsen, Lauritz (2025) Ichnos: a Carbon Footprint Estimator for Scientific Workflows. In: Post-Proceedings of the 1st International Workshop on Low Carbon Computing (LOCO 2024), Glasgow, Scotland, 3 December 2024, (Accepted for Publication)
• A Secure and Scalable Architecture for Virtual Power Plants Inspired by VPN Principles
  Sawilam, Mahmood , Kizilkaya, Burak , Flynn, David , Taha, Ahmad , Imran, Muhammad Ali and Ansari, Shuja (2025) A Secure and Scalable Architecture for Virtual Power Plants Inspired by VPN Principles. In: IEEE Global Power, Energy and Communication Conference (IEEE GPECOM 2025), Bochum, Germany, 11-13 Jun 2025, ISBN 9798331513238 (Accepted for Publication)
• Accordion: a Malleable Pipeline Scheduling Approach for Adaptive SLO-Aware Inference Serving
  Soomro, Pirah Noor, Papadopoulou, Nikela and Pericas, Miquel (2025) Accordion: a Malleable Pipeline Scheduling Approach for Adaptive SLO-Aware Inference Serving. In: 22nd ACM International Conference on Computing Frontiers, Cagliari, Sardinia, Italy, 28-30 May 2025, pp. 159-167. ISBN 9798400715280 (doi: 10.1145/3719276.3725190 )
• Accelerating Transposed Convolutions on FPGA-based Edge Devices
  Haris, Jude and Cano, Jose (2025) Accelerating Transposed Convolutions on FPGA-based Edge Devices. 35th International Conference on Field-Programmable Logic and Applications (FPL) 2025, Leiden, The Netherlands, 1-5 Sept 2025. (Accepted for Publication)
• SECDA Design Suite: Efficient Hardware-Software Co-Design of DNN Accelerator
  Haris, Jude and Cano, Jose (2025) SECDA Design Suite: Efficient Hardware-Software Co-Design of DNN Accelerator. 4th Workshop on Open-Source Computer Architecture Research (OSCAR) at ISCA 2025, Tokyo, Japan, 21 June 2025. (Accepted for Publication)

May 2025

• Exploring SYCL as a Portability Layer for High-Performance Computing on CPUs
  Abram, Hari, Papadopoulou, Nikela and Pericas, Miquel (2025) Exploring SYCL as a Portability Layer for High-Performance Computing on CPUs. In: ISC High Performance 2025, Hamburg, Germany, 10-13 June 2025, (Accepted for Publication)
• Accordion: a Malleable Pipeline Scheduling Approach for Adaptive SLO-Aware Inference Serving
  Soomro, Pirah Noor, Papadopoulou, Nikela and Pericas Miquel (2025) Accordion: a Malleable Pipeline Scheduling Approach for Adaptive SLO-Aware Inference Serving. In: 22nd ACM International Conference on Computing Frontiers, Cagliari, Sardinia, Italy, 28-30 May 2025, (Accepted for Publication)
• F-BFQ: Flexible Block Floating-Point Quantization Accelerator for LLMs
  Haris, Jude and Cano, Jose (2025) F-BFQ: Flexible Block Floating-Point Quantization Accelerator for LLMs. New Approaches for Addressing the Computing Requirements of LLMs and GNSs LG-ARC’2025 Workshop @ ISCA 2025, Tokyo, Japan, 22 June 2025. (Accepted for Publication)
• NLOS identification and ranging trustworthiness for indoor positioning with LLM-based UWB-IMU fusion
  Yang, Hongchao, Wang, Yunjia, Seow, Chee Kiat , Li, Zengke, Sun, Meng and Dec Cock, Cedric (2025) NLOS identification and ranging trustworthiness for indoor positioning with LLM-based UWB-IMU fusion. IEEE Transactions on Instrumentation and Measurement , (doi: 10.1109/TIM.2025.3554900 ) (Early Online Publication)
• Fuzzy transformer machine learning for UWB NLOS Identification and Ranging Mitigation
  Yang, Hongchao, Wang, Yunjia, Seow, Chee Kiat , Sun, Meng, Coene, Sander and Huang, Lu (2025) Fuzzy transformer machine learning for UWB NLOS Identification and Ranging Mitigation. IEEE Transactions on Instrumentation and Measurement , 74, 8503817. (doi: 10.1109/TIM.2025.3548180 )
• SecureMind: a Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair
  Wang, Huanting, Jacob, Dejice , Kelly, David, Elkhatib, Yehia , Singer, Jeremy and Wang, Zheng (2025) SecureMind: a Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair. In: 2025 ACM SIGPLAN International Symposium on Memory Management (ISMM 2025), Seoul, South Korea, 17 June 2025, pp. 27-40. ISBN 9798400716102 (doi: 10.1145/3735950.3735954 )
• Securing Critical National Infrastructure
  Collington, Kelsey , Flynn, David , Pezaros, Dimitrios , Gale, Martin and Deacon, Andrew (2025) Securing Critical National Infrastructure. ITNOW , 67(1), pp. 6-8. (doi: 10.1093/itnow/bwaf002 )

April 2025

• Dataplane-Only DNS Caching in P4
  Li, Xicheng and Pezaros, Dimitrios (2025) Dataplane-Only DNS Caching in P4. In: 30th IEEE Symposium on Computers and Communications (ISCC 2025), Bologna, Italy, 2-5 July 2025, (Accepted for Publication)
• An eBPF-Based Programmable Network Architecture for OT Digital Resilience Use-Cases
  Holik, Filip , Jouet, Simon and Pezaros, Dimitrios (2025) An eBPF-Based Programmable Network Architecture for OT Digital Resilience Use-Cases. In: 30th IEEE Symposium on Computers and Communications (ISCC 2025), Bologna, Italy, 2-5 July 2025, (Accepted for Publication)
• Exploring Robustness of Image Recognition Models on Hardware Accelerators
  Louloudakis, Nikolaos, Gibson, Perry, Cano, Jose and Rajan, Ajitha (2025) Exploring Robustness of Image Recognition Models on Hardware Accelerators. In: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Naples, Italy, 31 March 2025 - 04 April 2025, pp. 368-374. ISBN 9798331534677 (doi: 10.1109/ICSTW64639.2025.10962531 )
• FetaFix: Automatic Fault Localization and Repair of Deep Learning Model Conversions
  Louloudakis, Nikolaos, Gibson, Perry , Cano, Jose and Rajan, Ajitha (2025) FetaFix: Automatic Fault Localization and Repair of Deep Learning Model Conversions. In: International Conference on Evaluation and Assessment in Software Engineering (EASE) 2025, Istanbul, Turkey, 17-20 June 2025, (Accepted for Publication)
• Exploiting Unstructured Sparsity in Fully Homomorphic Encrypted DNNs
  Ferguson, Aidan, Gibson, Perry , D'Agata, Lara , McLeod, Parker, Yaman, Ferhat, Das, Amitabh, Colbert, Ian and Cano, Jose (2025) Exploiting Unstructured Sparsity in Fully Homomorphic Encrypted DNNs. In: 5th Workshop on Machine Learning and Systems (EuroMLSys ’25), Rotterdam, Netherlands, 30 March- 3 April 2025, pp. 39-45. ISBN 9798400715389 (doi: 10.1145/3721146.3721948 )
• ICE-Pruning: an Iterative Cost-Efficient Pruning Pipeline for Deep Neural Networks
  Hu, Wenhao , Henderson, Paul and Cano, Jose (2025) ICE-Pruning: an Iterative Cost-Efficient Pruning Pipeline for Deep Neural Networks. In: International Joint Conference on Neural Networks (IJCNN 2025), Rome, Italy, 30 Jun - 05 Jul 2025, (Accepted for Publication)
• Name-based Quality for Name-based Networks
  Yanagida, Ryo , Singer, Jeremy , Harvey, Paul , Wong, Leon and Perkins, Colin (2025) Name-based Quality for Name-based Networks. In: 45th IEEE International Conference on Distributed Computing Systems (ICDCS), Glasgow, UK, 20-23 July 2025, (Accepted for Publication)
• Formalising privacy regulations with bigraphs
  Althubiti, Ebtihal , Archibald, Blair and Sevegnani, Michele (2025) Formalising privacy regulations with bigraphs. Software and Systems Modeling , (Accepted for Publication)
• A Comparative Analysis of 5G and WiFi6 for VR Immersive Education
  Aljohani, Khalid , Kizilkaya, Burak , Hussain, Sajjad , Abbasi, Qammer H. , Imran, Muhammad Ali and Ansari, Shuja (2025) A Comparative Analysis of 5G and WiFi6 for VR Immersive Education. In: 11th International Conference on Virtual Reality (ICVR 2025), Wageningen, Netherlands, 09-11 Jul 2025, (Accepted for Publication)
• Network-Wide Service Deployment Using Centrally Orchestrated, eBPF-Based Programmable Dataplanes
  Holik, Filip , Cook, Marco M. , Shah, Awais Aziz and Pezaros, Dimitrios (2025) Network-Wide Service Deployment Using Centrally Orchestrated, eBPF-Based Programmable Dataplanes. In: 2025 EuCNC & 6G Summit, Poznan, Poland, 03-06 Jun 2025, (Accepted for Publication)
• Interdependence of parasitic losses in photonic crystal surface emitting lasers
  Liu, Jingzhao , Zhao, Xingyu , Bian, Zijun , Harvey, Paul , Watson, Scott , Sweeney, Stephen J. and Hogg, Richard (2025) Interdependence of parasitic losses in photonic crystal surface emitting lasers. AIP Advances , 15, 045321. (doi: 10.1063/5.0252646 )
• Automatic Generation of Digital Twins for Network Testing
  Ding, Shenjia , Flynn, David and Harvey, Paul (2025) Automatic Generation of Digital Twins for Network Testing. In: IEEE ICDCS 2025 45th IEEE International Conference on Distributed Computing Systems, Glasgow, UK, 20-23 July 2025, (Accepted for Publication)
• On the Effectiveness of Task Off-loading in Edge based Federated Learning Environment
  Miyata, Sumiko, Miyata, Takamichi, Harvey, Paul and Khan, Irfanullah (2025) On the Effectiveness of Task Off-loading in Edge based Federated Learning Environment. In: IEEE ICDCS 2025 45th IEEE International Conference on Distributed Computing Systems, Glasgow, UK, 20-23 July 2025, (Accepted for Publication)
• The xApp Store: A Framework for xApp Onboarding and Deployment in O-RAN
  Rodgers, Philip and Harvey, Paul (2025) The xApp Store: A Framework for xApp Onboarding and Deployment in O-RAN. In: IEEE ICDCS 2025 45th IEEE International Conference on Distributed Computing Systems, Glasgow, UK, 20-23 July 2025, (Accepted for Publication)
• A user study evaluation of predictive formal modelling at runtime in human-swarm interaction
  Abioye, Ayodeji O., Hunt, William, Gu, Yue , Schneiders, Eike, Naiseh, Mohammad, Archibald, Blair , Sevegnani, Michele , Ramchurn, Sarvapali D., Fishcer, Joel E. and Soorati, Mohammad (2025) A user study evaluation of predictive formal modelling at runtime in human-swarm interaction. ACM Transactions on Human-Robot Interaction , (doi: 10.1145/3727989 ) (Early Online Publication)
• Distributing Quality of Service (QoS) Policies in Name-based Networks
  Yanagida, Ryo , Singer, Jeremy , Harvey, Paul , Wong, Leon and Perkins, Colin (2025) Distributing Quality of Service (QoS) Policies in Name-based Networks. In: ANMS Workshop in conjunction with the 45th IEEE International Conference on Distributed Computing Systems (ICDCS), Glasgow, Scotland, UK, 20-23 Jul 2025, (Accepted for Publication)
• Distributed Temporal Graph Learning with Provenance for APT Detection in Supply Chains
  Tan, Zhuoran , Anagnostopoulos, Christos and Singer, Jeremy (2025) Distributed Temporal Graph Learning with Provenance for APT Detection in Supply Chains. In: IEEE ICDCS 2025 45th IEEE International Conference on Distributed Computing Systems, Glasgow, Scotland UK, 20-23 July 2025, (Accepted for Publication)
• A practical solution for modelling GDPR-compliance based on defeasible logic reasoning
  Azam, Naila , Chak, Alex, Michala, Annalito, Ansari, Shuja and Truong, Nguyen Binh (2025) A practical solution for modelling GDPR-compliance based on defeasible logic reasoning. Expert Systems with Applications , 277, 127140. (doi: 10.1016/j.eswa.2025.127140 )

March 2025

• Unified Parallel Semantic Log Parsing based on Causal Graph Construction for Attack Attribution
  Tan, Zhuoran , Anagnostopoulos, Christos , Parambath, Sham P. , Xiao, Ke and Singer, Jeremy (2025) Unified Parallel Semantic Log Parsing based on Causal Graph Construction for Attack Attribution. In: 45th IEEE International Conference on Distributed Computing Systems (ICDCS), Glasgow, UK, 20-23 July 2025, (Accepted for Publication)
• Resilient Network Architecture with eBPF-based Programmability and Centralised Orchestration
  Holik, Filip , Cook, Marco M. and Pezaros, Dimitrios (2025) Resilient Network Architecture with eBPF-based Programmability and Centralised Orchestration. In: IEEE International Conference on Computer Communications (INFOCOM 2025), London, UK, 19-22 May 2025, (Accepted for Publication)
• Dashboard Orchestration of eBPF-based Programmable OT Networks
  Holik, Filip , Cook, Marco M. , Deol, Bikram Singh , Shah, Awais Aziz and Pezaros, Dimitrios P. (2025) Dashboard Orchestration of eBPF-based Programmable OT Networks. In: IEEE International Conference on Computer Communications (INFOCOM 2025), London, UK, 19-22 May 2025, (Accepted for Publication)
• Distributed Log-driven Anomaly Detection System Based on Evolving Decision Making
  Tan, Zhuoran , Wang, Qiyuan , Anagnostopoulos, Christos , Puthiya Parambath, Sham , Singer, Jeremy and Temple, Sam (2025) Distributed Log-driven Anomaly Detection System Based on Evolving Decision Making. In: 45th IEEE International Conference on Distributed Computing Systems (IEEE ICDCS 2025), Glasgow, UK, 20-23 July 2025, (Accepted for Publication)
• On the Cost of Asset Discovery Techniques for Industrial Control Systems
  Chyzy, Jan , Cook, Marco M. and Pezaros, Dimitrios (2025) On the Cost of Asset Discovery Techniques for Industrial Control Systems. In: 8th IEEE Conference on Industrial Cyber-Physical Systems (ICPS), Emden, Germany, 12-15 May 2025, (Accepted for Publication)
• IRTF Code of Conduct
  Perkins, Colin (2025) IRTF Code of Conduct. Internet RFC (9775), (doi: 10.17487/RFC9775 )
• WOW: Workflow-Aware Data Movement and Task Scheduling for Dynamic Scientific Workflows
  Lehmann, Fabian, Bader, Jonathan, Tschirpke, Friedrich, De Mecquenem, Ninon, Loßer, Ansgar, Becker, Soeren, Lewinska, Katarzyna Ewa, Thamsen, Lauritz and Leser, Ulf (2025) WOW: Workflow-Aware Data Movement and Task Scheduling for Dynamic Scientific Workflows. In: 25th IEEE International Symposium on Cluster, Cloud and Internet Computing (CCGrid), Tromsø, Norway, 19-22 May 2025, (Accepted for Publication)
• Exploring the Potential of Carbon-Aware Execution for Scientific Workflows
  West, Kathleen , Lehmann, Fabian, Bountris, Vasilis, Leser, Ulf, Elkhatib, Yehia and Thamsen, Lauritz (2025) Exploring the Potential of Carbon-Aware Execution for Scientific Workflows. In: 25th IEEE International Symposium on Cluster, Cloud and Internet Computing (CCGrid2025), Tromsø, Norway, 19-22 May 2025, (Accepted for Publication)
• Priority-Aware Task Offloading in UAV-Assisted Satellite MEC Networks
  Yang, Jinming , Shah, Awais Aziz and Pezaros, Dimitrios (2025) Priority-Aware Task Offloading in UAV-Assisted Satellite MEC Networks. In: WS12: Workshop on AI-Driven Integration of Terrestrial and Non-Terrestrial Network, Montreal, Canada, 08-12 Jun 2025, (Accepted for Publication)
• AI in Space: Evaluating ML Algorithms for Onboard Decision-Making in Nanosatellites
  Durci, Adrian , Shah, Awais Aziz and Pezaros, Dimitrios (2025) AI in Space: Evaluating ML Algorithms for Onboard Decision-Making in Nanosatellites. In: 2nd Workshop on AI-Driven Integration of Terrestrial and Non-Terrestrial Networks (AITNTN 2025), London, UK, 19 May 2025, (Accepted for Publication)
• Artefact Provenance Graphs for Anomaly Inference in Industrial Control Systems
  Cook, Marco M. and Pezaros, Dimitrios (2025) Artefact Provenance Graphs for Anomaly Inference in Industrial Control Systems. In: 40th International Conference on ICT Systems Security and Privacy Protection – IFIP SEC 2025, Maribor, Slovenia, 21-23 May 2025, (Accepted for Publication)
• Task-oriented co-design of communication, computing, and control for edge-enabled industrial cyber-physical systems
  Diao, Yufeng , Zhang, Yichi , De Martini, Daniele , Zhao, Philip Guodong and Li, Emma Liying (2025) Task-oriented co-design of communication, computing, and control for edge-enabled industrial cyber-physical systems. IEEE Journal on Selected Areas in Communications , (doi: 10.1109/JSAC.2025.3574605 ) (Early Online Publication)
• Understanding Skill Transfer Between University and Workplace Through Reflective Practice: A Software Engineering Work-Based Learning Experience
  Andrei, Oana , Barr, Matthew , Nabi, Syed Waqar and Morrison, Alistair (2025) Understanding Skill Transfer Between University and Workplace Through Reflective Practice: A Software Engineering Work-Based Learning Experience. In: 30th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE ’25), Nijmegen, Netherlands, 30 June- 2 July 2025, pp. 368-374. ISBN 9798400715679 (doi: 10.1145/3724363.3729119 )
• Flora: Efficient Cloud Resource Selection for Big Data Processing via Job Classification
  Will, Jonathan, Thamsen, Lauritz , Bader, Jonathan and Kao, Odej (2025) Flora: Efficient Cloud Resource Selection for Big Data Processing via Job Classification. In: 25th IEEE International Symposium on Cluster, Cloud and Internet Computing (CCGrid), Tromsø, Norway, 19-22 May 2025, (Accepted for Publication)
• Practical modelling with bigraphs
  Archibald, Blair , Calder, Muffy and Sevegnani, Michele (2025) Practical modelling with bigraphs. Formal Aspects of Computing , (doi: 10.1145/3721142 ) (Early Online Publication)

February 2025

• Themes in the Declared Use of Generative Artificial Intelligence in Assessment
  Maguire, Joseph , English, Rosanne , Cao, Qi and Seow, Chee Kiat (2025) Themes in the Declared Use of Generative Artificial Intelligence in Assessment. In: 9th Conference on Computing Education Practice (CEP 2025), Durham, UK, 07 Jan 2025, pp. 17-20. ISBN 9798400711725 (doi: 10.1145/3702212.3702217 )
• Assessing Work-Based Learning in the Senior Years of a Software Engineering Graduate Apprenticeship Program
  Nabi, Syed Waqar , Andrei, Oana , Barr, Matthew , Cutts, Quintin , Maguire, Joseph , Morrison, Alistair , Parkinson, Jack , Somerville, Derek and Storer, Tim (2025) Assessing Work-Based Learning in the Senior Years of a Software Engineering Graduate Apprenticeship Program. In: IEEE Conference on Software Engineering Education and Training (CSEE&T), Ottawa, Ontario, Canada, 28-29 April 2025, (Accepted for Publication)
• Integrating Socially Responsible Computing Competencies in Computer Science and Software Engineering Education
  Andrei, Oana , Nabi, Syed Waqar , Barr, Matthew and Petrovska, Olga (2025) Integrating Socially Responsible Computing Competencies in Computer Science and Software Engineering Education. 9th Conference on Computing Education Practice (CEP 2025), Durham, UK, 07 Jan 2025. pp. 36-37. ISBN 9798400711725 (doi: 10.1145/3702212.3702225 )
• The Development of Reflective Practice on a Work-Based Software Engineering Program: a Longitudinal Study
  Barr, Matthew , Nabi, Syed Waqar and Andrei, Oana (2025) The Development of Reflective Practice on a Work-Based Software Engineering Program: a Longitudinal Study. In: 37th IEEE Conference on Software Engineering Education and Training (CSEE&T), Ottowa, Canada, 27 April - 3 May 2025, pp. 53-61. ISBN 9798331537098 (doi: 10.1109/CSEET66350.2025.00012 )
• Robot adversarial attack on keystroke dynamics based user authentication system
  Yu, Rongyu , Kizilkaya, Burak , Meng, Zhen , Li, Emma and Zhao, Philip (2025) Robot adversarial attack on keystroke dynamics based user authentication system. IEEE Robotics and Automation Letters , 10(5), pp. 4850-4857. (doi: 10.1109/LRA.2025.3550727 )

January 2025

• Understanding Dynamic Human-Robot Proxemics in the Case of Four-Legged Canine-Inspired Robots
  Xu, Xiangmin , Meng, Zhen , Li, Emma , Khamis, Mohamed , Zhao, Philip G. and Bretin, Robin (2025) Understanding Dynamic Human-Robot Proxemics in the Case of Four-Legged Canine-Inspired Robots. In: 2025 IEEE International Conference on Robotics and Automation, Atlanta, GA, USA, 19-23 May 2025, (Accepted for Publication)
• Strategies and Implications of Peer Assessment in Software Engineering Education
  Cheng, Joy Yee Shing, Pang, Zi Jian Adrian, Lim, Elias Isaac Huai-En, Chan, Sean Weng Hin, Sim, Lionel Wei Xian, Koko, Moreno, Cao, Qi and Keoh, Sye Loong (2025) Strategies and Implications of Peer Assessment in Software Engineering Education. In: IEEE Frontiers in Education Conference 2024 (FIE 2024), Washington, DC, USA, 13-16 October 2024, ISBN 9798350351507 (doi: 10.1109/FIE61694.2024.10892827 )
• Personalizing Low-rank Bayesian Neural Networks Via Federated Learning
  Zhang, Boning , Liu, Dongzhu , Simeone, Osvaldo, Wang, Guanchu, Pezaros, Dimitrios and Zhu, Guangxu (2025) Personalizing Low-rank Bayesian Neural Networks Via Federated Learning. Artificial Intelligence and Statistics (AISTATS 2025), Mai Khao, Thailand, 3-5 May 2025. (Accepted for Publication)
• Channel Capacity-Aware Distributed Encoding for Multi-View Sensing and Edge Inference
  Yang, Mingjie , Liang, Guangming , Liu, Dongzhu , Zhang, Lei and Huang, Kaibin (2025) Channel Capacity-Aware Distributed Encoding for Multi-View Sensing and Edge Inference. In: IEEE International Conference on Communications (ICC), Montreal, Canada, 8–12 June 2025, (Accepted for Publication)
• Experimentally Evaluating the Resource Efficiency of Big Data Autoscaling
  Will, Jonathan, Treide, Nico, Thamsen, Lauritz and Kao, Odej (2025) Experimentally Evaluating the Resource Efficiency of Big Data Autoscaling. In: 2024 IEEE International Conference on Big Data workshop BPOD 2024, Washington DC, USA, 15-18 December 2024, pp. 3825-3830. ISBN 9798350362480 (doi: 10.1109/bigdata62323.2024.10825367 )
• Aligning Task- and Reconstruction-Oriented Communications for Edge Intelligence
  Diao, Yufeng , Zhang, Yichi , She, Changyang, Zhao, Philip Guodong and Li, Emma Liying (2025) Aligning Task- and Reconstruction-Oriented Communications for Edge Intelligence. IEEE Journal on Selected Areas in Communications , (doi: 10.1109/JSAC.2025.3559121 ) (Early Online Publication)
• Compiler Support for Speculation in Decoupled Access/Execute Architectures
  Szafarczyk, Robert , Nabi, Syed Waqar and Vanderbauwhede, Wim (2025) Compiler Support for Speculation in Decoupled Access/Execute Architectures. In: 34th ACM SIGPLAN International Conference on Compiler Construction (CC ’25), Las Vegas, NV, USA, 01-02 Mar 2025, pp. 192-204. ISBN 9798400714078 (doi: 10.1145/3708493.3712695 )
• Dynamic Loop Fusion in High-Level Synthesis
  Szafarczyk, Robert , Nabi, Syed Waqar and Vanderbauwhede, Wim (2025) Dynamic Loop Fusion in High-Level Synthesis. In: 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays (FPGA ’25), Monterey, CA, USA, 27 Feb - 01 Mar 2025, pp. 211-222. ISBN 9798400713965 (doi: 10.1145/3706628.3708871 )
• OSPtrack: A Labeled Dataset Targeting Simulated Execution of Open-Source Software
  Tan, Zhuoran , Anagnostopoulos, Christos and Singer, Jeremy (2025) OSPtrack: A Labeled Dataset Targeting Simulated Execution of Open-Source Software. In: 22nd International Conference on Mining Software Repositories (MSR 2025), Ottowa, Canada, 28-29 April 2025, (Accepted for Publication)
• Automated Bitcoin trading dApp using price prediction from a deep learning model
  Lua, Zhi Zhan, Seow, Chee Kiat , Chan, Raymond Ching Bon, Cai, Yiyu and Cao, Qi (2025) Automated Bitcoin trading dApp using price prediction from a deep learning model. Risks , 13(1), 17. (doi: 10.3390/risks13010017 )
• Secure Scripting with CHERIoT MicroPython
  Lowther, Duncan , Jacob, Dejice , Trevor, Jacob and Singer, Jeremy (2025) Secure Scripting with CHERIoT MicroPython. In: International Conference on Compiler Construction (CC 2025), Las Vegas, Nevada, United States, 1-2 March 2025, pp. 180-191. ISBN 9798400714078 (doi: 10.1145/3708493.3712694 )
• Advanced persistent threats based on supply chain vulnerabilities: challenges, solutions & future directions
  Tan, Zhuoran , Parambath, Shameem, Anagnostopoulos, Christos , Singer, Jeremy and Marnerides, Angelos K. (2025) Advanced persistent threats based on supply chain vulnerabilities: challenges, solutions & future directions. IEEE Internet of Things Journal , (doi: 10.1109/JIOT.2025.3528744 ) (Early Online Publication)