Nannan He

	2011
6		Nannan He, Philipp Rümmer, Daniel Kroening: Test-case generation for embedded simulink via formal concept analysis. DAC 2011: 224-229
	2010
5		Alastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Rümmer: Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction. FMCO 2010: 297-315
	2009
4		Nannan He, Michael S. Hsiao: An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification. DATE 2009: 1602-1607
3		Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher: Mutation-Based Test Case Generation for Simulink Models. FMCO 2009: 208-227
	2007
2		Nannan He, Michael S. Hsiao: Bounded model checking of embedded software in wireless cognitive radio systems. ICCD 2007: 19-24
	2005
1		Boby George, Shawn A. Bohner, Nannan He: Towards a Model Level Debugger for the Cougaar Model Driven Architecture System. WRAC 2005: 86-97

Coauthor Index

1	Shawn A. Bohner	[1]
2	Angelo Brillout	[3]
3	Alastair F. Donaldson	[5]
4	Boby George	[1]
5	Michael S. Hsiao	[2] [4]
6	Daniel Kroening (Daniel Kröning)	[3] [5] [6]
7	Michele Mazzucchi	[3]
8	Mitra Purandare	[3]
9	Philipp Rümmer	[3] [5] [6]
10	Georg Weissenbacher	[3]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page