Hongping Lim

According to our database, Hongping Lim authored at least 4 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Specifying and proving properties of timed I/O automata using Tempo.

Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno

Des. Autom. Embed. Syst., 2008

2006

Translation Templates to Support Strategy Development in PVS.

Hongping Lim, Myla Archer

Proceedings of the 6th International Workshop on Strategies in Automated Deduction, 2006

Specifying and proving properties of timed I/O automata in the TIOA toolkit.

Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

2005

Translating Timed I/O Automata Specifications for Theorem Proving in PVS.

Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005