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 × Denmark
1 × United Kingdom
4 × USA
Collaborated with:
E.M.Clarke M.Jorda S.Jha H.Veith J.Jain R.d.Bruin A.Brombacher M.Fujita H.Kugler D.Harel A.Pnueli Y.Bontemps O.Grumberg K.Mohanram D.Moundanos I.Wegener
Talks about:
counterexampl (2) base (2) use (2) structur (1) scenario (1) intellig (1) feedback (1) ethernet (1) composit (1) abstract (1)

Person: Yuan Lu


Contributed to:

HCI/HIMI p1 20092009
TACAS 20052005
DAC 20042004
LICS 20022002
CAV 20002000
DAC 20002000

Wrote 7 papers:

HIMI-DIE-2009-BruinLB #case study #feedback #how
How to Learn from Intelligent Products; The Structuring of Incoherent Field Feedback Data in Two Case Studies (RdB, YL, AB), pp. 227–232.
TACAS-2005-KuglerHPLB #logic #specification
Temporal Logic for Scenario-Based Specifications (HK, DH, AP, YL, YB), pp. 445–460.
DAC-2004-LuJ #using #verification
Verifying a gigabit ethernet switch using SMV (YL, MJ), pp. 230–233.
LICS-2002-ClarkeJLV #model checking
Tree-Like Counterexamples in Model Checking (EMC, SJ, YL, HV), pp. 19–29.
CAV-2000-ClarkeGJLV #abstraction #refinement
Counterexample-Guided Abstraction Refinement (EMC, OG, SJ, YL, HV), pp. 154–169.
DAC-2000-JainMMWL #analysis #canonical #complexity #composition #graph #how
Analysis of composition complexity and how to obtain smaller canonical graphs (JJ, KM, DM, IW, YL), pp. 681–686.
DAC-2000-LuJCF #performance #using
Efficient variable ordering using aBDD based sampling (YL, JJ, EMC, MF), pp. 687–692.

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.