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
222013
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
The use of rippling to automate Event-B invariant preservation proofs
Y Lin, A Bundy, G Grov
NASA Formal Methods Symposium, 231-236, 2012
52012
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
A framework for SLO-driven cloud specification and brokerage
A Elhabbash, Y Elkhatib, GS Blair, Y Lin, A Barker
IEEE, 2019
32019
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 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
32016
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
22019
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
22019
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
22018
Productive use of failure in top-down formal methods
A Bundy, G Grov, Y Lin
Automated Reasoning Workshop 2011, 13, 2011
22011
The Tinker GUI for graphical proof strategies (tool demo)
G Grov, Y Lin, P Le Bras
Proceedings of the Third Workshop on Formal Integrated Development …, 2017
12017
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
Modelling VM latent characteristics and predicting application performance using semi-supervised non-negative matrix factorization
Y Lin, AD Barker, JD Thomson
2020 IEEE 13th International Conference on Cloud Computing (CLOUD), 2020
2020
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
2019
The system can't perform the operation now. Try again later.
Articles 1–19