Yuhui Lin

发表

Hardware-In-Loop Simulation of Active Noise Control in Car Cabins

Chenyuan Hou, Wei Peng, Xiaoxiong Jin, 2009, 2009 International Conference on Information Engineering and Computer Science.

A Fast and Accurate Pupil Localization Method Using Gray Gradient Differential and Curve Fitting

Yuhui Lin, Yu Zhang, Zhiyi Qu, 2015 .

The Tinker GUI for graphical proof strategies (tool demo)

Gudmund Grov, Yuhui Lin, Pierre Le Bras, 2017 .

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

Gudmund Grov, Yuhui Lin, Rob Arthan, 2016, J. Formaliz. Reason..

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

Alan Bundy, Gudmund Grov, Yuhui Lin, 2012, NASA Formal Methods.

The Tinker tool for graphical tactic development

Gudmund Grov, Yuhui Lin, 2017, International Journal on Software Tools for Technology Transfer.

Proceedings of the Third Workshop on Formal Integrated Development Environment: The Tinker GUI for Graphical Proof Strategies (tool demo)

Gudmund Grov, Yuhui Lin, Pierre Le Bras, 2017 .

Tinker, tailor, solver, proof

Gudmund Grov, Yuhui Lin, Aleks Kissinger, 2014, UITP.

Developing and Debugging Proof Strategies by Tinkering

Gudmund Grov, Yuhui Lin, Pierre Le Bras, 2016, TACAS.

Proceedings of the Third Workshop on Formal Integrated Development Environment: Extending the Dafny IDE with Tactics and Dead Annotation Analysis (tool demo)

Gudmund Grov, Yuhui Lin, Léon McGregor, 2016 .

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations

Wei Chen, Myungjin Lee, Yuhui Lin, 2018, SEC.

RNN-Enhanced Deep Residual Neural Networks for Web Page Classification

Yuhui Lin, 2016 .

Automating Event-B invariant proofs by rippling and proof patching

Alan Bundy, Gudmund Grov, Yuhui Lin, 2019, Formal Aspects of Computing.

Mechanised Verification Patterns for Dafny

Gudmund Grov, Yuhui Lin, Vytautas Tumas, 2016, FM.

'The Tinker' for Rodin

Gudmund Grov, Yuhui Lin, Yibo Liang, 2016, ABZ.