Jimin Gao

According to our database, Jimin Gao authored at least 6 papers between 2003 and 2010.

Collaborative distances:

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

2010

Silver: An extensible attribute grammar system.

Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan

Sci. Comput. Program., 2010

2007

Extending Lustre with Timeout Automata.

Jimin Gao, Mike Whalen, Eric Van Wyk

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

Flexible and Extensible Notations for Modeling Languages.

Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006

On the Distribution of Property Violations in Formal Models: An Initial Study.

Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2003

On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate.

David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

Auto-generating Test Sequences Using Model Checkers: A Case Study.

Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao

Proceedings of the Formal Approaches to Software Testing, 2003