Travelled to:1 × Canada
1 × Germany
1 × Korea
3 × USA
Collaborated with:W.Jia Z.Jiang L.Wang X.Li L.Bu Y.Li G.Chen Z.Su X.Chen L.Yang J.Zhao
Talks about:algorithm (2) polici (2) machin (2) base (2) semiconductor (1) reachabl (1) distinct (1) dispatch (1) composit (1) support (1)
Person: You Li
DBLP: Li:You
Contributed to:
2014
2013
20132012
2010
2010Wrote 7 papers:
- SEKE-2014-LiLWC #automation #data access #generative #policy #testing
- Automatic XACML requests generation for testing access control policies (YL, YL, LW, GC), pp. 217–222.
- CASE-2013-JiaJL #algorithm #scheduling
- A job-family-oriented algorithm for re-entrant batch processing machine scheduling (WJ, ZJ, YL), pp. 1022–1027.
- CASE-2013-LiJJ #algorithm #heuristic
- A heuristic algorithm for minimizing total absolute deviation from distinct due dates on a single machine (YL, ZJ, WJ), pp. 392–397.
- OOPSLA-2013-LiSWL #execution #symbolic computation
- Steering symbolic execution to less traveled paths (YL, ZS, LW, XL), pp. 19–32.
- CASE-2012-LiJJ #policy
- A pull VPLs based release policy and dispatching rule for semiconductor wafer fabrication (YL, ZJ, WJ), pp. 396–400.
- DATE-2010-BuLWCL #bound #composition #hybrid #linear #reachability
- BACH 2 : Bounded reachability checker for compositional linear hybrid systems (LB, YL, LW, XC, XL), pp. 1512–1517.
- SIGAda-2010-LiYBWZL #ada #fault tolerance #manycore #monitoring
- Extending Ada to support multi-core based monitoring and fault tolerance (YL, LY, LB, LW, JZ, XL), pp. 53–62.