Travelled to:1 × Canada
1 × Portugal
Collaborated with:E.V.Wyk M.P.E.Heimdahl D.Bodin L.Krishnan S.Rayadurgam W.Visser G.Devaraj
Talks about:extens (3) attribut (2) grammar (2) system (2) silver (2) model (2) sequenc (1) languag (1) generat (1) flexibl (1)
Person: Jimin Gao
DBLP: Gao:Jimin
Contributed to:
2007
20082010
2003Wrote 4 papers:
- FASE-2007-GaoHW #flexibility #modelling
- Flexible and Extensible Notations for Modeling Languages (JG, MPEH, EVW), pp. 102–116.
- LDTA-2007-WykBGK08 #attribute grammar #named
- Silver: an Extensible Attribute Grammar System (EVW, DB, JG, LK), pp. 103–116.
- LDTA-J-2007-WykBGK #attribute grammar #named
- Silver: An extensible attribute grammar system (EVW, DB, JG, LK), pp. 39–54.
- FATES-2003-HeimdahlRVDG #case study #model checking #sequence #testing #using
- Auto-generating Test Sequences Using Model Checkers: A Case Study (MPEH, SR, WV, GD, JG), pp. 42–59.