Yuhui Lin

According to our database1, Yuhui Lin authored at least 21 papers between 2012 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
A Risk-taking Broker Model to Optimise User Requests placement on On-demand and Contract VMs.
CoRR, 2021

2020
Network Selection in Heterogeneous Vehicular Network: A One-to-Many Matching Approach.
Proceedings of the 91st IEEE Vehicular Technology Conference, 2020

FIFE: an Infrastructure-as-Code Based Framework for Evaluating VM Instances from Multiple Clouds.
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.
Proceedings of the IEEE International Conference on Big Data, 2020

A Survey: Benchmarking and Performance Modelling of Data Intensive Applications.
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.
Proceedings of the 13th IEEE International Conference on Cloud Computing, 2020

2019
Automating Event-B invariant proofs by rippling and proof patching.
Formal Aspects Comput., 2019

Envisioning SLO-driven Service Selection in Multi-cloud Applications.
Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, 2019

Benchmarking and Performance Modelling of MapReduce Communication Pattern.
Proceedings of the 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2019

A Framework for SLO-driven Cloud Specification and Brokerage.
Proceedings of the 19th IEEE/ACM International Symposium on Cluster, 2019

2018
The Tinker tool for graphical tactic development.
Int. J. Softw. Tools Technol. Transf., 2018

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations.
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.
J. Formaliz. Reason., 2016

Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC.
CoRR, 2016

Developing and Debugging Proof Strategies by Tinkering.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Mechanised Verification Patterns for Dafny.
Proceedings of the FM 2016: Formal Methods, 2016

A Super Industrial Application of PSGraph.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

'The Tinker' for Rodin.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2014
Tinker, tailor, solver, proof.
Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

2013
A Graphical Language for Proof Strategies.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012
The Use of Rippling to Automate Event-B Invariant Preservation Proofs.
Proceedings of the NASA Formal Methods, 2012


  Loading...