Publications

I am fortunate to collaborate with talented researchers and engineers. This page lists selected publications and current manuscripts; my Google Scholar profile has the broader record.

Manuscripts and preprints

• R. Wei, L. Zhu, H. Wang, J. Woodcock, F. Yan, S. Foster and X. Ji. Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering. Major revision, ACM Transactions on Software Engineering and Methodology (TOSEM).
• H. Wang, L. Zhu, R. Wei, J. Gao, J. Woodcock, H. Zhang and X. Ji. Formal-Method-Guided Risk Ranking: Closing the Comparative Residual-Risk Loop on Verification-Passing Controllers. Submitted to ACM Transactions on Software Engineering and Methodology (TOSEM), July 2026.
• R. Wei, L. Zhu, H. Wang, R. Yang, J. Guan, S. Ji, Y. Hu, Z. Jiang and X. Ji. Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models. Submitted to Communications Engineering (Nature Portfolio).
• J. Woodcock, G. Leite, A. Sampaio and R. Wei. CAPRI: Contract-Aware Proof Repair for Isabelle. Submitted to SBMF 2026.
• J. Woodcock, G. Leite, A. Sampaio and R. Wei. Contract-Aware Rescue of a Drifted Isabelle Development: The Double-Tank Case Study. Submitted to FMAS 2026.
• Y. Tian, R. Wei, J. Zhang, X. Zhang, W. Hu and L. Zhu. A Model-Based Digital Twin for Predicting Deterioration of Mogao Polychrome Sculpture. Submitted to npj Heritage Science.

2026

• V.K. Reja, M. Yin, D. Davletshina, R. Wei, J. Fauth, F. Perrotta and I. Brilakis. Establishing and Fulfilling Information Requirements for Computer Vision-Enabled Digital Twin-Based Control of Roadside Vegetation, Journal of Construction Engineering and Management, 152(9), 04026147, 2026.
• A. Elsokary, H. Ishida, R. Wei, M.J. de C. Henshaw and S. Ji. Model-Driven Digital Twin Framework for Quantum Networks, accepted research preview at the 1st Workshop on Quantum and Model-Driven Engineering (MODELS 2026).
• S. Ji, H. Ishida, A. Elsokary, S. Powley, C. White, A. Zagoskin, R. Wei, M. Aslam and M.J. de C. Henshaw. A Framework for Managing the Models of Engineered Quantum Systems, accepted short paper at the 1st Workshop on Quantum and Model-Driven Engineering (MODELS 2026).
• J. Guan, J. Zhang, H. Zhou, R. Wei, D. You, H. Wang, Y. Wang, T. Wang, X. Zhao, J. Li and Z. Jiang. Strix: Re-thinking NPU Reliability from a System Perspective, accepted at DAC 2026.
• J. Zhang, J. Guan, H. Zhou, X. Han, T. Wang, R. Wei and Z. Jiang. From Characterization to Microarchitecture: Designing an Elegant and Reliable BFP-Based NPU, accepted at DAC 2026.
• H. Zhou, J. Guan, J. Zhang, R. Wei, X. Zhao, Z. Jiang and X. Ji. S2VD: A Subspace-Aware SVD Method for Efficient LLM Compression, IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2026.

2025

• R. Jiang, P. Dong, Y. Ding, R. Wei and Z. Jiang. Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes, ACM Transactions on Embedded Computing Systems, 24(4), article 56, pp. 1–25, 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.
• 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

• Y. Wen, M. Wang, M. Ariyachandra, R. Wei, I. Brilakis and L. Xiao. Knowledge Driven Rule-Based Building Geometric Digital Twin Construction — State of Art Review, European Council on Computing in Construction (EC3), 2024.
• M. Yin, V.K. Reja, R. Wei, B. Sheil and I. Brilakis. How Can Digital Twins be Used in Highway Maintenance? A Questionnaire Survey for Industry Practitioners, European Council on Computing in Construction (EC3), 2024.
• V.K. Reja, D. Davletshina, M. Yin, R. Wei, Q.F. Adam, I. Brilakis and F. Perrotta. A Digital Twin Based Approach to Control Overgrowth of Roadside Vegetation, International Symposium on Automation and Robotics in Construction (ISARC), pp. 661–668, 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 Systems 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

• W. Chang, S. Zhao, R. Wei, A. Wellings and A. Burns. From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain, ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp. 123–134, 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.

2016

• R. Wei, D.S. Kolovos, A. Garcia-Dominguez, K. Barmpis and R.F. Paige. Partial Loading of XMI Models, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 329–339, 2016.

2014

• S.M. Shah, R. Wei, D.S. Kolovos, L.M. Rose, R.F. Paige and K. Barmpis. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 586–601, 2014.