BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Li:Wenchao

Contributed to:

DAC 20152015
TACAS 20142014
CAV 20132013
DAC 20122012
DAC 20102010
DATE 20092009
DATE 20072007
ASE 20182018
CAV (1) 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.