Travelled to:1 × France
1 × Norway
Collaborated with:C.Cheng Y.Chai X.Zhu Y.Gu J.Zhang W.Zhang G.Zhang
Talks about:check (2) synchron (1) schedul (1) languag (1) consist (1) static (1) specif (1) formal (1) optim (1) natur (1)
Person: Rongjie Yan
DBLP: Yan:Rongjie
Contributed to:
2015
2015Wrote 2 papers:
- DATE-2015-YanCC #consistency #natural language #specification
- Formal consistency checking over specifications in natural languages (RY, CHC, YC), pp. 1677–1682.
- FM-2015-ZhuYGZZZ #data flow #graph #model checking #scheduling
- Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking (XZ, RY, YLG, JZ, WZ, GZ), pp. 551–569.