The Use of Rippling to Automate Event-B Invariant Preservation Proofs. - Yuhui Lin; Alan Bundy; Gudmund Grov (NASA Formal Methods, 2012)

A Graphical Language for Proof Strategies. - Gudmund Grov; Aleks Kissinger; Yuhui Lin (LPAR, 2013)

Tinker, tailor, solver, proof. - Gudmund Grov; Aleks Kissinger; Yuhui Lin (UITP, 2014)

'The Tinker' for Rodin. - Yibo Liang; Yuhui Lin; Gudmund Grov (ABZ, 2016)

A Super Industrial Application of PSGraph. - Yuhui Lin; Gudmund Grov; Colin O'Halloran; Priiya G. (ABZ, 2016)

Mechanised Verification Patterns for Dafny. - Gudmund Grov; Yuhui Lin; Vytautas Tumas (FM, 2016)

Developing and Debugging Proof Strategies by Tinkering. - Yuhui Lin; Pierre Le Bras; Gudmund Grov (TACAS, 2016)

Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC. - Yuhui Lin; Gudmund Grov; Rob Arthan (CoRR, 2016)

Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. - Yuhui Lin; Gudmund Grov; Rob Arthan (J. Formaliz. Reason., 2016)

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. - Wei Chen 023; Yuhui Lin; Vashti Galpin; Vivek Nigam; Myungjin Lee; David Aspinall 001 (SEC, 2018)

The Tinker tool for graphical tactic development. - Gudmund Grov; Yuhui Lin (Int. J. Softw. Tools Technol. Transf., 2018)

A Framework for SLO-driven Cloud Specification and Brokerage. - Abdessalam Elhabbash; Yehia Elkhatib; Gordon S. Blair; Yuhui Lin; Adam Barker (CCGRID, 2019)

Benchmarking and Performance Modelling of MapReduce Communication Pattern. - Sheriffo Ceesay; Adam Barker; Yuhui Lin (CloudCom, 2019)

Envisioning SLO-driven Service Selection in Multi-cloud Applications. - Abdessalam Elhabbash; Yehia Elkhatib; Gordon S. Blair; Yuhui Lin; Adam Barker; John Thomson (UCC Companion, 2019)

Automating Event-B invariant proofs by rippling and proof patching. - Yuhui Lin; Alan Bundy; Gudmund Grov; Ewen Maclean (Formal Aspects Comput., 2019)

Modelling VM Latent Characteristics and Predicting Application Performance using Semi-supervised Non-negative Matrix Factorization. - Yuhui Lin; Adam Barker; John Thomson (CLOUD, 2020)

A Survey: Benchmarking and Performance Modelling of Data Intensive Applications. - Sheriffo Ceesay; Yuhui Lin; Adam Barker (BDCAT, 2020)

Exploring Characteristics of Inter-cluster Machines and Cloud Applications on Google Clusters. - Yuhui Lin; Adam Barker; Sheriffo Ceesay (IEEE BigData, 2020)

FIFE: an Infrastructure-as-Code Based Framework for Evaluating VM Instances from Multiple Clouds. - Yuhui Lin; Jack Briggs; Adam Barker (UCC, 2020)

Network Selection in Heterogeneous Vehicular Network: A One-to-Many Matching Approach. - Qi Si; Zhipeng Cheng; Yuhui Lin; Lianfen Huang; Yuliang Tang (VTC Spring, 2020)

Benchmarking and Performance Modelling of Dataflow with Cycles. - Sheriffo Ceesay; Yuhui Lin; Adam Barker (BDCAT, 2021)

Adaptive brokerage framework for the cloud with functional testing. - Sheriffo Ceesay; Yuhui Lin; Adam Barker (UCC Companion, 2021)

A Risk-taking Broker Model to Optimise User Requests placement on On-demand and Contract VMs. - Chalee Boonprasop; Yuhui Lin; Adam Barker (CoRR, 2021)

Warning of Dangerous Driving Behavior Caused by Drivers and Road Environmental Factors. - Yuhui Lin; Hao Lin; Zhiyi Lu (CECNet, 2022)

An Argumentation and Ontology Based Legal Support System for AI Vehicle Design. - Yiwei Lu; Zhe Yu; Yuhui Lin; Burkhard Schafer 001; Andrew Ireland; Lachlan Urquhart (JURIX, 2022)

Multimodal emotion recognition based on long-distance modeling and multi-source data fusion. - Jia Cai; Yuhui Lin; Ruihong Ma (CIPAE, 2023)

Logic and Theory Repair in Legal Modification. - Yiwei Lu; Yuhui Lin; Xue Li 018; Alan Bundy; Burkhard Schäfer 001; Andrew Ireland (COGAI@IJCLR, 2023)

A Legal System to Modify Autonomous Vehicle Designs in Transnational Contexts. - Yiwei Lu; Zhe Yu; Yuhui Lin; Burkhard Schafer 001; Andrew Ireland; Lachlan Urquhart (JURIX, 2023)

Anticipating Accidents through Reasoned Simulation. - Craig Innes; Andrew Ireland; Yuhui Lin; Subramanian Ramamoorthy (TAS, 2023)

Formalise Regulations for Autonomous Vehicles with Right-Open Temporal Deontic Defeasible Logic. - Pak Yin Chan; Xue Li 018; Yiwei Lu; Yuhui Lin; Alan Bundy (SGAI Conf. (2), 2024)

Event USKT : U-State Space Model in Knowledge Transfer for Event Cameras. - Yuhui Lin; Jiahao Zhang; Siyuan Li; Jimin Xiao; Ding Xu; Wenjun Wu; Jiaxuan Lu (CoRR, 2024)

A Graphical Representation of Verification Proof Plans. - Yuhui Lin; Alan Bundy; Gudmund Grov (The Practice of Formal Methods (I), 2024)

MV-GMN: State Space Model for Multi-View Action Recognition. - Yuhui Lin; Jiaxuan Lu; Yue Yong; Jiahao Zhang (CoRR, 2025)

Graph Mamba for Efficient Whole Slide Image Understanding. - Jiaxuan Lu; Junyan Shi; Yuhui Lin; Fang Yan 002; Yue Gao 002; Shaoting Zhang 001; Xiaosong Wang 001 (CoRR, 2025)