Jimin Gao

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Silver: An extensible attribute grammar system.
Sci. Comput. Program., 2010

2007
Extending Lustre with Timeout Automata.
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

Flexible and Extensible Notations for Modeling Languages.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006
On the Distribution of Property Violations in Formal Models: An Initial Study.
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.
Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

Auto-generating Test Sequences Using Model Checkers: A Case Study.
Proceedings of the Formal Approaches to Software Testing, 2003


  Loading...