Edinburgh Research Explorer

Dr Yuhui Lin

(Former employee or visitor)

1 - 15 out of 15Page size: 20
???rss???
  1. 2019

  2. Automating Event-B invariant proofs by rippling and proof patching

    Lin, Y., Bundy, A., Grov, G. & Maclean, E., 2 Jan 2019, In : Formal Aspects of Computing. p. 1-35 35 p.

    Research output: Contribution to journal › Article

  3. 2018

  4. Formal Analysis of Sneak-Peek: A Data-Centre Attack and its Mitigations

    Chen, W., Lin, Y., Galpin, V., Nigam, V., Lee, M. & Aspinall, D., 2018, 33rd International Conference on Information Security and Privacy Protection (IFIP SEC 2018). Poznan, Poland: Springer, Cham, p. 307-322 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  5. 2017

  6. The Tinker tool for graphical tactic development

    Grov, G. & Lin, Y., 17 Mar 2017, In : International Journal on Software Tools for Technology Transfer. p. 1-17 17 p.

    Research output: Contribution to journal › Article

  7. 2016

  8. Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC

    Lin, Y., Grov, G. & Arthan, R., 15 Dec 2016, In : Journal of Formalized Reasoning. 9, 2, p. 69-130 62 p.

    Research output: Contribution to journal › Article

  9. Extending the Dafny IDE with tactics and dead annotation analysis (tool demo)

    Grov, G., Lin, Y., McGregor, L., Tumas, V. & Cameron, D., 8 Nov 2016, Proceedings of the Third Workshop on Formal Integrated Development Environment . Open Publishing Association, (Electronic Proceedings in Theoretical Computer Science; vol. 240).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  10. Mechanised Verification Patterns for Dafny

    Grov, G., Lin, Y. & Tumas, V., 8 Nov 2016, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Springer, Cham, p. 326-343 18 p. (Lecture Notes in Computer Science ; vol. 9995).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  11. The Tinker GUI for Graphical Proof Strategies (tool demo)

    Grov, G., Lin, Y. & Bras, P. L., 8 Nov 2016, Proceedings of the Third Workshop on Formal Integrated Development Environment . Open Publishing Association, p. 98-101 3 p. (Electronic Proceedings in Theoretical Computer Science; vol. 240).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  12. 'The Tinker' for Rodin

    Liang, Y., Lin, Y. & Grov, G., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer, Cham, p. 262-268 7 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  13. A Super Industrial Application of PSGraph

    Lin, Y., Grov, G., O'Halloran, C. & G., P., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer, Cham, p. 319-325 7 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  14. Developing and Debugging Proof Strategies by Tinkering

    Lin, Y., Bras, P. L. & Grov, G., 9 Apr 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer Berlin Heidelberg, p. 573-579 7 p. (Lecture Notes in Computer Science; vol. 9636).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  15. 2015

  16. Tinker: A Graph Based Proof Strategy System

    Bras, P. L., Lin, Y. & Grov, G., 2015, In AI4FM 2015 (extended abstract). 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  17. 2014

  18. Tinker, Tailor, Solver, Proof

    Grov, G., Kissinger, A. & Lin, Y., 2014, In Proceedings of Eleventh Workshop on User Interfaces for Theorem Provers (UITP 2014). Open Publishing Association, p. 23-34 12 p. (Electronic Proceedings in Theoretical Computer Science; vol. 167).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  19. 2013

  20. A Graphical Language for Proof Strategies

    Grov, G., Kissinger, A. & Lin, Y., 2013, Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 324-339 16 p. (Lecture Notes in Computer Science ; vol. 8312).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  21. 2012

  22. The Use of Rippling to Automate Event-B Invariant Preservation Proofs

    Lin, Y., Bundy, A. & Grov, G., 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. & Person, S. (eds.). Springer-Verlag GmbH, p. 231-236 6 p. (Lecture Notes in Computer Science; vol. 7226).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  23. 2011

  24. Productive Use of Failure in Top-down Formal Methods

    Bundy, A., Grov, G. & Lin, Y., 2011, In Proceedings of 18th Automated Reasoning Workshop. p. 13-14 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution