Hongping Lim

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno
Specifying and proving properties of timed I/O automata using Tempo. Des. Autom. Embed. Syst. 12 (1-2) (2008)
Hongping Lim, Myla Archer
Translation Templates to Support Strategy Development in PVS. Electron. Notes Theor. Comput. Sci. 174 (11) (2007)
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno
Specifying and proving properties of timed I/O automata in the TIOA toolkit. MEMOCODE (2006)
Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra
Translating Timed I/O Automata Specifications for Theorem Proving in PVS. FORMATS (2005)