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
DBLP: Lu:Yuan
Contributed to:
2009
2005
2004
2002
20002000Wrote 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.