Scholar
Ran Wei
Google Scholar ID: HY8KkDAAAAAJ
Associate Professor in Computer Science, Lancaster University.
Model Based Systems Engineering
Model Based Systems Assurance
Functional Safety
Digital Twins
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
636
H-index
15
i10-index
22
Publications
20
Co-authors
19
list available
Publications
8 items
Contract-Aware Rescue of a Drifted Isabelle Development: The Double-Tank Case Study
2026
Cited
0
CAPRI: Contract-Aware Proof Repair for Isabelle
2026
Cited
0
Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models
2026
Cited
0
Model-Driven Digital Twin Framework for Quantum Networks
2026
Cited
0
A Framework for Managing the Models of Engineered Quantum Systems
2026
Cited
0
Strix: Re-thinking NPU Reliability from a System Perspective
2026
Cited
0
From Characterization to Microarchitecture: Designing an Elegant and Reliable BFP-Based NPU
2026
Cited
0
Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering
Cited
0
Co-authors
10 total
Zhe Jiang
Southeast University, People's Republic of China.
Dimitris Kolovos
Professor of Software Engineering, University of York
Nan Guan
City University of Hong Kong
Konstantinos Barmpis
Lecturer in Software Engineering, University of York
Jan Reich
Expert Dynamic Assurances for Connected Autonomous Systems, Fraunhofer IESE
Simon Foster
Senior Lecturer in Computer Science, University of York
Dawei Yang
Houmo AI
Alan Burns
University of York, UK
