Travelled to:1 × Canada
Collaborated with:M.Sassa T.Kitamura T.B.N.Do H.Ohsaki
Talks about:multicor (1) bidirect (1) generat (1) autosar (1) formal (1) compil (1) optim (1) model (1) test (1) rtos (1)
Person: Ling Fang
DBLP: Fang:Ling
Contributed to:
2012
2007Wrote 2 papers:
- ICST-2012-FangKDO #formal method #manycore #modelling
- Formal Model-Based Test for AUTOSAR Multicore RTOS (LF, TK, TBND, HO), pp. 251–259.
- COCV-2007-FangS #bidirectional #compilation #generative #java #using
- Generating Java Compiler Optimizers Using Bidirectional CTL (LF, MS), pp. 49–63.