Yuhui Lin

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 28

Top Topics

Service Selection

Environmental Factors

Emotion Recognition

Top Venues

Publications

Yiwei Lu, Yuhui Lin, Xue Li, Alan Bundy, Burkhard Schäfer, Andrew Ireland
Logic and Theory Repair in Legal Modification. COGAI@IJCLR (2023)
Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy
Anticipating Accidents through Reasoned Simulation. CoRR (2023)
Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart
A Legal System to Modify Autonomous Vehicle Designs in Transnational Contexts. JURIX (2023)
Jia Cai, Yuhui Lin, Ruihong Ma
Multimodal emotion recognition based on long-distance modeling and multi-source data fusion. CIPAE (2023)
Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy
Anticipating Accidents through Reasoned Simulation. TAS (2023)
Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart
An Argumentation and Ontology Based Legal Support System for AI Vehicle Design. JURIX (2022)
Yuhui Lin, Hao Lin, Zhiyi Lu
Warning of Dangerous Driving Behavior Caused by Drivers and Road Environmental Factors. CECNet (2022)
Sheriffo Ceesay, Yuhui Lin, Adam Barker
Benchmarking and Performance Modelling of Dataflow with Cycles. BDCAT (2021)
Sheriffo Ceesay, Yuhui Lin, Adam Barker
Adaptive brokerage framework for the cloud with functional testing. UCC Companion (2021)
Chalee Boonprasop, Yuhui Lin, Adam Barker
A Risk-taking Broker Model to Optimise User Requests placement on On-demand and Contract VMs. CoRR (2021)
Yuhui Lin, Adam Barker, John Thomson
Modelling VM Latent Characteristics and Predicting Application Performance using Semi-supervised Non-negative Matrix Factorization. CLOUD (2020)
Sheriffo Ceesay, Adam Barker, Yuhui Lin
Benchmarking and Performance Modelling of MapReduce Communication Pattern. CoRR (2020)
Yuhui Lin, Jack Briggs, Adam Barker
FIFE: an Infrastructure-as-Code Based Framework for Evaluating VM Instances from Multiple Clouds. UCC (2020)
Yuhui Lin, Adam Barker, Sheriffo Ceesay
Exploring Characteristics of Inter-cluster Machines and Cloud Applications on Google Clusters. IEEE BigData (2020)
Qi Si, Zhipeng Cheng, Yuhui Lin, Lianfen Huang, Yuliang Tang
Network Selection in Heterogeneous Vehicular Network: A One-to-Many Matching Approach. VTC Spring (2020)
Sheriffo Ceesay, Yuhui Lin, Adam Barker
A Survey: Benchmarking and Performance Modelling of Data Intensive Applications. BDCAT (2020)
Abdessalam Elhabbash, Yehia Elkhatib, Gordon S. Blair, Yuhui Lin, Adam Barker, John Thomson
Envisioning SLO-driven Service Selection in Multi-cloud Applications. UCC Companion (2019)
Abdessalam Elhabbash, Yehia Elkhatib, Gordon S. Blair, Yuhui Lin, Adam Barker
A Framework for SLO-driven Cloud Specification and Brokerage. CCGRID (2019)
Sheriffo Ceesay, Adam Barker, Yuhui Lin
Benchmarking and Performance Modelling of MapReduce Communication Pattern. CloudCom (2019)
Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean
Automating Event-B invariant proofs by rippling and proof patching. Formal Aspects Comput. 31 (1) (2019)
Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall
Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. SEC (2018)
Gudmund Grov, Yuhui Lin
The Tinker tool for graphical tactic development. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G.
A Super Industrial Application of PSGraph. ABZ (2016)
Yuhui Lin, Gudmund Grov, Rob Arthan
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. J. Formaliz. Reason. 9 (2) (2016)
Yuhui Lin, Gudmund Grov, Rob Arthan
Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC. CoRR (2016)
Gudmund Grov, Yuhui Lin, Vytautas Tumas
Mechanised Verification Patterns for Dafny. FM (2016)
Yibo Liang, Yuhui Lin, Gudmund Grov
'The Tinker' for Rodin. ABZ (2016)
Yuhui Lin, Pierre Le Bras, Gudmund Grov
Developing and Debugging Proof Strategies by Tinkering. TACAS (2016)
Gudmund Grov, Aleks Kissinger, Yuhui Lin
Tinker, tailor, solver, proof. UITP (2014)
Gudmund Grov, Aleks Kissinger, Yuhui Lin
A Graphical Language for Proof Strategies. LPAR (2013)
Yuhui Lin, Alan Bundy, Gudmund Grov
The Use of Rippling to Automate Event-B Invariant Preservation Proofs. NASA Formal Methods (2012)