Yuhui Lin

According to our database, Yuhui Lin authored at least 29 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Anticipating Accidents through Reasoned Simulation.

Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

A Legal System to Modify Autonomous Vehicle Designs in Transnational Contexts.

Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart

Proceedings of the Legal Knowledge and Information Systems, 2023

Logic and Theory Repair in Legal Modification.

Yiwei Lu, Yuhui Lin, Xue Li, Alan Bundy, Burkhard Schäfer, Andrew Ireland

Proceedings of the International Workshop on Cognitive AI 2023 co-located with the 3rd International Conference on Learning & Reasoning (IJCLR 2023), 2023

Multimodal emotion recognition based on long-distance modeling and multi-source data fusion.

Jia Cai, Yuhui Lin, Ruihong Ma

Proceedings of the International Conference on Computers, 2023

2022

An Argumentation and Ontology Based Legal Support System for AI Vehicle Design.

Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart

Proceedings of the Legal Knowledge and Information Systems, 2022

Warning of Dangerous Driving Behavior Caused by Drivers and Road Environmental Factors.

Yuhui Lin, Hao Lin, Zhiyi Lu

Proceedings of CECNet 2022, 2022

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

Adaptive brokerage framework for the cloud with functional testing.

Sheriffo Ceesay, Yuhui Lin, Adam Barker

Proceedings of the UCC '21: 2021 IEEE/ACM 14th International Conference on Utility and Cloud Computing, Leicester, United Kingdom, December 6 - 9, 2021, 2021

Benchmarking and Performance Modelling of Dataflow with Cycles.

Sheriffo Ceesay, Yuhui Lin, Adam Barker

Proceedings of the BDCAT '21: 2021 IEEE/ACM 8th International Conference on Big Data Computing, Applications and Technologies, Leicester, United Kingdom, December 6, 2021

2020

Network Selection in Heterogeneous Vehicular Network: A One-to-Many Matching Approach.

Qi Si, Zhipeng Cheng, Yuhui Lin, Lianfen Huang, Yuliang Tang

Proceedings of the 91st IEEE Vehicular Technology Conference, 2020

FIFE: an Infrastructure-as-Code Based Framework for Evaluating VM Instances from Multiple Clouds.

Yuhui Lin, Jack Briggs, Adam Barker

Proceedings of the 13th IEEE/ACM International Conference on Utility and Cloud Computing, 2020

Exploring Characteristics of Inter-cluster Machines and Cloud Applications on Google Clusters.

Yuhui Lin, Adam Barker, Sheriffo Ceesay

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

A Survey: Benchmarking and Performance Modelling of Data Intensive Applications.

Sheriffo Ceesay, Yuhui Lin, Adam Barker

Proceedings of the 7th IEEE/ACM International Conference on Big Data Computing, 2020

Modelling VM Latent Characteristics and Predicting Application Performance using Semi-supervised Non-negative Matrix Factorization.

Yuhui Lin, Adam Barker, John Thomson

Proceedings of the 13th IEEE International Conference on Cloud Computing, 2020

2019

Automating Event-B invariant proofs by rippling and proof patching.

Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean

Formal Aspects Comput., 2019

Envisioning SLO-driven Service Selection in Multi-cloud Applications.

Abdessalam Elhabbash, Yehia Elkhatib, Gordon S. Blair, Yuhui Lin, Adam Barker, John Thomson

Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, 2019

Benchmarking and Performance Modelling of MapReduce Communication Pattern.

Sheriffo Ceesay, Adam Barker, Yuhui Lin

Proceedings of the 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2019

A Framework for SLO-driven Cloud Specification and Brokerage.

Abdessalam Elhabbash, Yehia Elkhatib, Gordon S. Blair, Yuhui Lin, Adam Barker

Proceedings of the 19th IEEE/ACM International Symposium on Cluster, 2019

2018

The Tinker tool for graphical tactic development.

Gudmund Grov, Yuhui Lin

Int. J. Softw. Tools Technol. Transf., 2018

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations.

Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall

Proceedings of the ICT Systems Security and Privacy Protection, 2018

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

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

Developing and Debugging Proof Strategies by Tinkering.

Yuhui Lin, Pierre Le Bras, Gudmund Grov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Mechanised Verification Patterns for Dafny.

Gudmund Grov, Yuhui Lin, Vytautas Tumas

Proceedings of the FM 2016: Formal Methods, 2016

A Super Industrial Application of PSGraph.

Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G.

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

'The Tinker' for Rodin.

Yibo Liang, Yuhui Lin, Gudmund Grov

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2014

Tinker, tailor, solver, proof.

Gudmund Grov, Aleks Kissinger, Yuhui Lin

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

2013

A Graphical Language for Proof Strategies.

Gudmund Grov, Aleks Kissinger, Yuhui Lin

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

The Use of Rippling to Automate Event-B Invariant Preservation Proofs.

Yuhui Lin, Alan Bundy, Gudmund Grov

Proceedings of the NASA Formal Methods, 2012