Follow
Yuhui Lin
Title
Cited by
Cited by
Year
A graphical language for proof strategies
G Grov, A Kissinger, Y Lin
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
222013
Exploring Characteristics of Inter-cluster Machines and Cloud Applications on Google Clusters
Lin, Y., Barker, A. D. & Ceesay, S.
The 4th Workshop on Benchmarking, Performance Tuning and Optimization for …, 2020
12*2020
Tinker, tailor, solver, proof
G Grov, A Kissinger, Y Lin
Eleventh Workshop on User Interfaces for Theorem Provers (UITP 2014), 2014
112014
Automating Event-B invariant proofs by rippling and proof patching
Y Lin, A Bundy, G Grov, E Maclean
Formal Aspects of Computing 31, 95-129, 2019
72019
Developing and debugging proof strategies by tinkering
Y Lin, P Le Bras, G Grov
International Conference on Tools and Algorithms for the Construction and …, 2016
72016
Benchmarking and Performance Modelling of MapReduce Communication Pattern
S Ceesay, A Barker, Y Lin
2019 IEEE International Conference on Cloud Computing Technology and Science …, 2019
62019
The use of rippling to automate Event-B invariant preservation proofs
Y Lin, A Bundy, G Grov
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012
62012
Modelling VM latent characteristics and predicting application performance using semi-supervised non-negative matrix factorization
Y Lin, A Barker, J Thomson
2020 IEEE 13th International Conference on Cloud Computing (CLOUD), 470-474, 2020
52020
A framework for SLO-driven cloud specification and brokerage
A Elhabbash, Y Elkhatib, G Blair, Y Lin, A Barker
2019 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid …, 2019
52019
Envisioning SLO-driven service selection in multi-cloud applications
A Elhabbash, Y Elkhatib, GS Blair, Y Lin, A Barker, J Thomson
Proceedings of the 12th IEEE/ACM International Conference on Utility and …, 2019
42019
The Tinker tool for graphical tactic development
G Grov, Y Lin
International Journal on Software Tools for Technology Transfer 20, 139-155, 2018
42018
Handling inconsistent and uncertain legal reasoning for AI vehicles design
Y Lu, Z Yu, Y Lin, B Schafer, A Ireland, L Urquhart
Proceedings of Workshop on Methodologies for Translating Legal Norms into …, 2022
32022
Formal analysis of Sneak-Peek: a data centre attack and its mitigations
W Chen, Y Lin, V Galpin, V Nigam, M Lee, D Aspinall
ICT Systems Security and Privacy Protection: 33rd IFIP TC 11 International …, 2018
32018
Mechanised Verification Patterns for Dafny
G Grov, Y Lin, V Tumas
International Symposium on Formal Methods, 326-343, 2016
32016
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
Y Lin, G Grov, R Arthan
Journal of Formalized Reasoning 9 (2), 69-130., 2016
32016
‘The Tinker’ for Rodin
Y Liang, Y Lin, G Grov
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
32016
A risk-taking broker model to optimise user requests placement on on-demand and contract VMs
C Boonprasop, Y Lin, A Barker
arXiv preprint arXiv:2103.07133, 2021
22021
FIFE: an infrastructure-as-code based framework for evaluating VM instances from multiple clouds
Y Lin, J Briggs, A Barker
2020 IEEE/ACM 13th International Conference on Utility and Cloud Computing …, 2020
22020
A super industrial application of PSGraph
Y Lin, G Grov, C O’Halloran
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
22016
Productive use of failure in top-down formal methods
A Bundy, G Grov, Y Lin
In Proceedings of 18th Automated Reasoning Workshop, 13-14, 2011
22011
The system can't perform the operation now. Try again later.
Articles 1–20