Travelled to:1 × Korea
1 × Turkey
2 × USA
Collaborated with:R.Kumar X.Liu Y.Cheung H.Liu Y.Wang X.Yi Z.Song M.Orshansky C.Caramanis
Talks about:stateflow (2) simulink (2) generat (2) contour (2) automat (2) reduct (2) method (2) novel (2) model (2) test (2)
Person: Meng Li
DBLP: Li:Meng
Contributed to:
2015
20132012
2010Wrote 4 papers:
- DAC-2015-WangLYSOC #grid #novel #power management #reduction
- Novel power grid reduction method based on L1 regularization (YW, ML, XY, ZS, MO, CC), p. 6.
- CASE-2013-LiK #automation #generative #novel #reachability #reduction #testing
- Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.
- CASE-2012-LiK #automation #automaton #finite #generative #modelling #testing #using
- Model-based automatic test generation for Simulink/Stateflow using extended finite automaton (ML, RK), pp. 857–862.
- ICPR-2010-LiuCLL #automation #locality #parametricity #using
- A Lip Contour Extraction Method Using Localized Active Contour Model with Automatic Parameter Selection (XL, YmC, ML, HL), pp. 4332–4335.