Yuan Lu

2009
16	EE	Jeroen Keijzers, Elke den Ouden, Yuan Lu: Understanding consumer perception of technological product failures: an attributional approach. CHI Extended Abstracts 2009: 4057-4062
2008
15	EE	Yuan Lu, Guojun Wang, Weijia Jia, Sancheng Peng: Multipath-Based Segment-by-Segment Routing Protocol in MANETs. ICYCS 2008: 527-532
14	EE	Jeroen Keijzers, Elke den Ouden, Yuan Lu: Usability benchmark study of commercially available smart phones: cell phone type platform, PDA type platform and PC type platform. Mobile HCI 2008: 265-272
2005
13		Alfred Koelbl, Yuan Lu, Anmol Mathur: Embedded tutorial: formal equivalence checking between system-level models and RTL. ICCAD 2005: 965-971
12	EE	Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps: Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460
2004
11	EE	Yuan Lu, Mike Jorda: Verifying a gigabit ethernet switch using SMV. DAC 2004: 230-233
2003
10	EE	Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5): 752-794 (2003)
2002
9	EE	Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith: Tree-Like Counterexamples in Model Checking. LICS 2002: 19-29
2001
8	EE	Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Progress on the State Explosion Problem in Model Checking. Informatics 2001: 176-194
2000
7		Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Counterexample-Guided Abstraction Refinement. CAV 2000: 154-169
6	EE	Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu: Analysis of composition complexity and how to obtain smaller canonical graphs. DAC 2000: 681-686
5	EE	Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita: Efficient variable ordering using aBDD based sampling. DAC 2000: 687-692
4	EE	Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang: Executable Protocol Specification in ESL. FMCAD 2000: 197-216
1999
3	EE	Edmund M. Clarke, Somesh Jha, Yuan Lu, Dong Wang: Abstract BDDs: A Technque for Using Abstraction in Model Checking. CHARME 1999: 172-186
1997
2		Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke: Equivalence Checking Using Abstract BDDs. ICCD 1997: 332-337
1996
1	EE	Yuan Lu, Irith Pomeranz: Synchronization of large sequential circuits by partial reset. VTS 1996: 93-98

Coauthor Index

1	Yves Bontemps	[12]
2	Edmund M. Clarke	[2] [3] [4] [5] [7] [8] [9] [10]
3	Masahiro Fujita	[5]
4	Steven M. German	[4]
5	Orna Grumberg	[7] [8] [10]
6	David Harel	[12]
7	Jawahar Jain	[5] [6]
8	Somesh Jha	[2] [3] [7] [8] [9] [10]
9	Weijia Jia	[15]
10	Mike Jorda	[11]
11	Jeroen Keijzers	[14] [16]
12	Alfred Koelbl	[13]
13	Hillel Kugler	[12]
14	Anmol Mathur	[13]
15	Marius Minea	[2]
16	K. Mohanram	[6]
17	Dinos Moundanos	[6]
18	Elke den Ouden	[14] [16]
19	Sancheng Peng	[15]
20	Amir Pnueli	[12]
21	Irith Pomeranz	[1]
22	Helmut Veith	[4] [7] [8] [9] [10]
23	Dong Wang	[3] [4]
24	Guojun Wang	[15]
25	Ingo Wegener	[6]

Colors in the list of coauthors