Publications

I am fortunate to collaborate with talented researchers and engineers. Below are selected publications:

2025

• K.B. Blay, A. Darko, S. Hwang, I. Brilakis, F. Foster and R. Wei. Ensuring information security resilience in Digital-enabled Construction Projects (DCP) through quantum security technologies, Automation in Construction, Volume 179, 106480, 2025.
• D. You, J. Jiang, X. Wang, Y. Du, Z. Tan, W. Xu, H. Wang, J. Guan, R. Wei, S. Zhao and Z. Jiang. MERE: Hardware-software co-design for masking cache miss latency in embedded processors, ACM Transactions on Embedded Computing Systems (TECS), 24(5s), pp. 1-26, 2025.
• L. Nascimento, A.L. de Oliveira, R. Villela, H. Fonseca, K.C. Branco, R. Wei, R. Hawkins and T. Kelly. ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault Trees, International Symposium on Model-Based Safety and Assessment (IMBSA), pp. 299-317, 2025.
• T. Wang, Y. Li, W. Tang, J. Guan, Z. Guo, R. Jiang, R. Wei, J. Li and Z. Jiang. FlexStep: Enabling Flexible Error Detection in Multi/Many-core Real-time Systems, 62nd ACM/IEEE Design Automation Conference (DAC), pp. 1-7, 2025.
• H. Wang, Z. Zhao, J. Wang, Y. Du, Y. Cheng, B. Guo, H. Xiao, C. Ma, X. Han, D. You and J. Guan. NVR: Vector Runahead on NPUs for Sparse Memory Access, 62nd ACM/IEEE Design Automation Conference (DAC), pp. 1-7, 2025.
• Mengtian Yin, Varun Kumar Reja, Ran Wei, Ioannis Brilakis, Brian Sheil, Federico Perrotta, Alix Marie d'Avigneau, Linjun Lu. Exploring the value of digital twins for information management in highway asset maintenance, Developments in the Built Environment, Volume 21, 100614, 2025.
• Junxiang Zhu, Nicholas Nisbet, Mengtian Yin, Ran Wei, Ioannis Brilakis. Releasing the power of graph for building information discovery, Automation in Construction, Volume 172, 106034, 2025.

2024

• Yuandong Pan, Mudan Wang, Linjun Lu, Ran Wei, Stefano Cavazzi, Matt Peck, Ioannis Brilakis. Scan-to-graph: Automatic Generation and Representation of Highway Geometric Digital Twins from Point Cloud Data, Automation in Construction, Volume 166, 105654, 2024.
• Zhe Jiang, Shuai Zhao, Ran Wei, Gang Chen, Xin Si and Nan Guan. ROTA-I/O: Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness, Proc. 45th IEEE Real-Time Systems Symposium (RTSS), pp. 174-186, 2024.
• Jiapeng Guan, Ran Wei, Dean You, Yingquan Wang, Ruizhe Yang, Hui Wang and Zhe Jiang. MESC: Re-thinking Algorithmic Priority/Criticality Inversion for Heterogeneous MCSs, Proc. 45th IEEE Real-Time Systems Symposium (RTSS), pp. 1-14, 2024. First work of MSc student Jiapeng Guan — congrats, Jiapeng!
• Zhe Jiang, Shuai Zhao, Ran Wei, Yiyang Gao, Jing Li. A Cache/Algorithm Co-design for Parallel Real-Time Systems with Data Dependency on Multi/Many-core System-on-Chips, Proc. Design Automation Conference (DAC), pp. 1-6, 2024.
• Jie Xu, Richard Anvo N'Zebo, Hussameldin Taha-Abdalgadir, Aliex Marie D'Avigneau, Damian Palin, Ran Wei, Georgios Hadjidemetriou, Samuel Schaefer, Lavindra De Silva, Abir Al-Tabbaa. Highway digital twin-enabled Autonomous Maintenance Plant (AMP): A perspective, Data-Centric Engineering, 2024.
• Ran Wei, Ruizhe Yang, Shijun Liu, Chongsheng Fan, Rong Zhou, Zekun Wu, Haochi Wang, Yifan Cai, Zhe Jiang. Towards an Extensible Model-Based Digital Twin Framework for Space Launch Vehicles, Journal of Industrial Information Integration (JIII), Volume 41, 100641, 2024.
• Ran Wei, Simon Foster, Haitao Mei, Fang Yan, Ruizhe Yang, Ibrahim Habli, Colin O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi. ACCESS: Assurance Case Centric Engineering of Safety-critical Systems, Journal of Systems and Software (JSS), Volume 213, 112034, 2024.
• Shenghua Zhou, Hongyu Wang, Dezhi Li, S. Thomas Ng, Ran Wei, Yongheng Zhao, Yubo Zhou. Revealing public attitudes toward mobile cabin hospitals during Covid-19 pandemic, Sustainable Cities and Society (SCS), Volume 107, 105440, 2024.
• Dawei Yang, Yan Wang, Ran Wei, Jiapeng Guan, Xiaohua Huang, Wei Cai, Zhe Jiang. An efficient multi-task learning CNN for driver attention monitoring, Journal of System Architecture (JSA), 2024.

2023

• Ran Wei, Zhe Jiang, Xiaoran Guo, Ruizhe Yang, Haitao Mei, Athanasios Zolotas, Tim Kelly. DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis, Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2023.
• Ran Wei, Zhe Jiang, Haitao Mei, Konstantinos Barmpis, Simon Foster, Tim Kelly, Yan Zhuang. Automated Model Based Assurance Case Management Using Constrained Natural Language, Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2023.
• Zhe Jiang, Xiaotian Dai, Ran Wei, Ian Gray, Zonghua Gu, Qingling Zhao, Shuai Zhao. NPRC-I/O: An NoC-Based Real-Time I/O System With Reduced Contention and Enhanced Predictability, Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2023.
• Li, You and Shuqiang, Wang and Zhiyuan, Hu and Biye, Liu and Xiating, Li, Ran Wei. Development of Precision Angle Position Indicator Based on Virtual Instruments, 2023 IEEE 10th International Workshop on Metrology for AeroSpace (MetroAeroSpace), 2023.
• Zhe Jiang, Xiaotian Dai, Shuai Zhao, Ran Wei, Ian Gray. Many-Core Real-Time Network-on-Chip I/O Systems for Reducing Contention and Enhancing Predictability, Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, pp. 227-233, 2023.
• Luis Nascimento, André L de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly. Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems, Proceedings of International Conference on Advanced Information Networking and Applications, pp. 534-546, 2023.

2022

• Ran Wei, Zhe Jiang, Xiaoran Guo, Haitao Mei, Athanasios Zolotas, Tim Kelly. Designing Critical Systems with Iterative Automated Safety Analysis, 59th ACM/IEEE Design Automation Conference (DAC 2022), 2022.
• Zhe Jiang, Ran Wei, Pan Dong, Yan Zhuang, Neil Audsley, Ian Gray. Bluevisor: Time-predictable hardware hypervisor for many-core embedded systems, Transactions on Computers (TC), 2022.
• Fang Yan, Simon David Foster, Ibrahim Habli, Ran Wei. Model-based generation of hazard-driven arguments and formal verification evidence for assurance cases, 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp.252-263, 2022.
• Zhe Jiang, Pan Dong, Ran Wei, Qingling Zhao, Yankai Wang, Dizhong Zhu, Yan Zhuang, Neil Audsley. PSpSys: a time-predictable mixed-criticality system architecture based on ARM TrustZone, Journal of Systems Architecture (JSA), 2022.

2021

• Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei, Tim Kelly. Integration of formal proof into unified assurance cases with Isabelle/SACM, Formal Aspects of Computing (FAC), 2021.
• Zhe Jiang, Shuai Zhao, Ran Wei, Dawei Yang, Richard Paterson, Nan Guan, Yan Zhuang, Neil C Audsley. Bridging the pragmatic gaps for mixed-criticality systems in the automotive industry, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2021.
• Zhe Jiang, Xiaotian Dai, Pan Dong, Ran Wei, Dawei Yang, Neil C Audsley, Nan Guan. Toward an analysable, scalable, energy-efficient I/O virtualization for mixed-criticality systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2021.

2020

• Zhe Jiang, Shuai Zhao, Pan Dong, Dawei Yang, Ran Wei, Nan Guan, Neil Audsley. Re-thinking mixed-criticality architecture for automotive industry, 2020 IEEE 38th International Conference on Computer Design (ICCD), 2020.
• Wanli Chang, Ran Wei, Shuai Zhao, Andy Wellings, Jim Woodcock, Alan Burns. Development automation of real-time Java: Model-driven transformation and synthesis, ACM Transactions on Embedded Computing Systems (TECS), 2020.
• Ran Wei, Athanasios Zolotas, Horacio Hoyos Rodriguez, Simos Gerasimou, Dimitrios S Kolovos, Richard F Paige. Automatic generation of UML profile graphical editors for Papyrus, Software and Systems Modeling (SoSyM), 2020.
• Shuai Zhao, Wanli Chang, Ran Wei, Weichen Liu, Nan Guan, Alan Burns, Andy Wellings. Priority assignment on partitioned multiprocessor systems with shared resources, IEEE Transactions on Computers (TC), 2020.
• Jan Reich, Daniel Schneider, Ioannis Sorokos, Yiannis Papadopoulos, Tim Kelly, Ran Wei, Eric Armengaud, Cem Kaypmaz. Engineering of runtime safety monitors for cyber-physical systems with digital dependability identities, Computer Safety, Reliability, and Security: 39th International Conference (SAFECOMP), 2020.
• Shuai Zhao, Jorge Garrido, Ran Wei, Alan Burns, Andy Wellings, Juan A de la Puente. A complete run-time overhead-aware schedulability analysis for MrsP under nested resources, Journal of Systems and Software (JSS), 2020.

2019

• Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei. A Runtime Safety Analysis Concept for Open Adaptive Systems, Model-Based Safety and Assessment: 6th International Symposium (IMBSA 2019), 2019.
• Ran Wei, Tim P Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins. Model based system assurance using the structured assurance case metamodel, Journal of Systems and Software (JSS), 2019.