Yuhui Lin
Title
Cited by
Cited by
Year
A graphical language for proof strategies
G Grov, A Kissinger, Y Lin
International Conference on Logic for Programming Artificial Intelligence …, 2013
232013
Tinker, tailor, solver, proof
G Grov, A Kissinger, Y Lin
Eleventh Workshop on User Interfaces for Theorem Provers (UITP 2014), 2014
102014
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
Automating Event-B invariant proofs by rippling and proof patching
Y Lin, A Bundy, G Grov, E Maclean
Formal Aspects of Computing 31 (1), 95-129, 2019
62019
The use of rippling to automate Event-B invariant preservation proofs
Y Lin, A Bundy, G Grov
NASA Formal Methods Symposium, 231-236, 2012
62012
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
42019
The Tinker tool for graphical tactic development
G Grov, Y Lin
International Journal on Software Tools for Technology Transfer 20 (2), 139-155, 2018
42018
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
32019
Formal analysis of Sneak-Peek: a data centre attack and its mitigations
W Chen, Y Lin, V Galpin, V Nigam, M Lee, D Aspinall
IFIP International Conference on ICT Systems Security and Privacy Protection …, 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
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
22019
A Super Industrial Application of PSGraph
Y Lin, G Grov, C O’Halloran, G Priiya
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
Automated Reasoning Workshop 2011, 13, 2011
22011
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
12020
Extending the Dafny IDE with tactics and dead annotation analysis (tool demo)
G Grov, Y Lin, L McGregor, V Tumas, D Cameron
Third Workshop on Formal Integrated Development Environment, 2017
12017
Verification, optimization, performance analysis and synthesis of cyber-physical systems
KG Larsen, G Grov, Y Lin, P Le Bras
Electronic Proceedings in Theoretical Computer Science, 2017
12017
The Tinker GUI for Graphical Proof Strategies (tool demo)
G Grov, Y Lin, P Le Bras
Third Workshop on Formal Integrated Development Environment, 98-101, 2016
12016
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
2021
The system can't perform the operation now. Try again later.
Articles 1–20