Yuhui Lin
Cited by
Cited by
A graphical language for proof strategies
G Grov, A Kissinger, Y Lin
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
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
Tinker, tailor, solver, proof
G Grov, A Kissinger, Y Lin
Eleventh Workshop on User Interfaces for Theorem Provers (UITP 2014), 2014
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
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
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
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
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
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
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
The Tinker tool for graphical tactic development
G Grov, Y Lin
International Journal on Software Tools for Technology Transfer 20, 139-155, 2018
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
Mechanised Verification Patterns for Dafny
G Grov, Y Lin, V Tumas
International Symposium on Formal Methods, 326-343, 2016
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
‘The Tinker’ for Rodin
Y Liang, Y Lin, G Grov
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
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
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
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
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
Handling Inconsistent and Uncertain Legal Reasoning for AI Vehicles Design
Y Lu, Z Yu, Y Lin, B Schafer, A Ireland, L Urquhart
on Methodologies for Translating Legal Norms into Formal Representations …, 2022
The system can't perform the operation now. Try again later.
Articles 1–20