(Former employee or visitor)
- 2019
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
- 2018
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
- 2017
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
- 2016
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
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
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
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
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
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
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
- 2015
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
- 2014
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
- 2013
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
- 2012
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
- 2011
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