Auto-generating Test Sequences Using Model Checkers: A Case Study. - Mats Per Erik Heimdahl; Sanjai Rayadurgam; Willem Visser; George Devaraj; Jimin Gao (FATES, 2003)

On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. - David Owen 002; Tim Menzies; Mats Per Erik Heimdahl; Jimin Gao (SEW, 2003)

On the Distribution of Property Violations in Formal Models: An Initial Study. - Jimin Gao; Mats Per Erik Heimdahl; David Owen 002; Tim Menzies (COMPSAC (1), 2006)

Flexible and Extensible Notations for Modeling Languages. - Jimin Gao; Mats Per Erik Heimdahl; Eric Van Wyk (FASE, 2007)

Extending Lustre with Timeout Automata. - Jimin Gao; Mike Whalen; Eric Van Wyk (SLA++P@ETAPS, 2007)

Silver: An extensible attribute grammar system. - Eric Van Wyk; Derek Bodin; Jimin Gao; Lijesh Krishnan (Sci. Comput. Program., 2010)