Travelled to:1 × Russia
3 × France
3 × USA
Collaborated with:S.A.Seshia W.Zhou A.L.Sangiovanni-Vincentelli S.Jha A.Forin D.E.Holcomb S.Mitra D.Sadigh S.S.Sastry A.Puggelli B.Zheng P.Deng L.Gérard Q.Zhu N.Shankar M.D.Natale W.Zheng P.Giusto B.Liu W.Huo C.Z.0008 F.Li A.Piao W.Zou
Talks about:verif (5) system (3) design (2) level (2) human (2) error (2) soft (2) mine (2) apprenticeship (1) uncertainti (1)
Person: Wenchao Li
DBLP: Li:Wenchao
Contributed to:
2015
2014
201320122010
20092007
20182018Wrote 10 papers:
- DAC-2015-ZhengLDGZS #design #security #verification
- Design and verification for transportation system security (BZ, WL, PD, LG, QZ, NS), p. 6.
- TACAS-2014-LiSSS #synthesis
- Synthesis for Human-in-the-Loop Control Systems (WL, DS, SSS, SAS), pp. 470–484.
- CAV-2013-PuggelliLSS #nondeterminism #polynomial #verification
- Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties (AP, WL, ALSV, SAS), pp. 527–542.
- DAC-2012-LiSJ #crowdsourcing #named #towards #verification
- CrowdMine: towards crowdsourced human-assisted verification (WL, SAS, SJ), pp. 1254–1255.
- DAC-2010-LiFS #mining #scalability #specification #verification
- Scalable specification mining for verification and diagnosis (WL, AF, SAS), pp. 755–760.
- DATE-2009-HolcombLS #analysis #design #fault
- Design as you see FIT: System-level soft error analysis of sequential circuits (DEH, WL, SAS), pp. 785–790.
- DATE-2009-LiNZGSS #dependence #optimisation #protocol
- Optimizations of an application-level protocol for enhanced dependability in FlexRay (WL, MDN, WZ, PG, ALSV, SAS), pp. 1076–1081.
- DATE-2007-SeshiaLM #fault
- Verification-guided soft error resilience (SAS, WL, SM), pp. 1442–1447.
- ASE-2018-LiuHZLLPZ #detection #named #similarity
- αDiff: cross-version binary code similarity detection with DNN (BL, WH, CZ0, WL, FL, AP, WZ), pp. 667–678.
- CAV-2018-ZhouL #learning
- Safety-Aware Apprenticeship Learning (WZ, WL), pp. 662–680.