Jimin Gao

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan
Silver: An extensible attribute grammar system. Sci. Comput. Program. 75 (1-2) (2010)
Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan
Silver: an Extensible Attribute Grammar System. Electron. Notes Theor. Comput. Sci. 203 (2) (2008)
Jimin Gao, Mike Whalen, Eric Van Wyk
Extending Lustre with Timeout Automata. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
Flexible and Extensible Notations for Modeling Languages. FASE (2007)
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies
On the Distribution of Property Violations in Formal Models: An Initial Study. COMPSAC (1) (2006)
David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao
On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. SEW (2003)
Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao
Auto-generating Test Sequences Using Model Checkers: A Case Study. FATES (2003)