Nannan He

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

3 Nannan He, Michael S. Hsiao: An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification. DATE 2009: 1602-1607

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

	2009
3		Nannan He, Michael S. Hsiao: An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification. DATE 2009: 1602-1607
	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 Boby George [1]

3 Michael S. Hsiao [2] [3]

Colors in the list of coauthors