| A graphical language for proof strategies G Grov, A Kissinger, Y Lin Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 22 | 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 | 11* | 2020 |
| Tinker, tailor, solver, proof G Grov, A Kissinger, Y Lin Eleventh Workshop on User Interfaces for Theorem Provers (UITP 2014), 2014 | 11 | 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 | 7 | 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 | 7 | 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 | 6 | 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 | 6 | 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 | 5 | 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 | 5 | 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 | 4 | 2019 |
| The Tinker tool for graphical tactic development G Grov, Y Lin International Journal on Software Tools for Technology Transfer 20, 139-155, 2018 | 4 | 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 | 4 | 2018 |
| Mechanised Verification Patterns for Dafny G Grov, Y Lin, V Tumas International Symposium on Formal Methods, 326-343, 2016 | 3 | 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 | 3 | 2016 |
| ‘The Tinker’ for Rodin Y Liang, Y Lin, G Grov International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016 | 3 | 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 | 2 | 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 | 2 | 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 | 2 | 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 | 2 | 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 | 1 | 2022 |
Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
