Towards a Model Level Debugger for the Cougaar Model Driven Architecture System. - Boby George; Shawn A. Bohner; Nannan He (WRAC, 2005)

Bounded model checking of embedded software in wireless cognitive radio systems. - Nannan He; Michael S. Hsiao (ICCD, 2007)

An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification. - Nannan He; Michael S. Hsiao (DATE, 2009)

Mutation-Based Test Case Generation for Simulink Models. - Angelo Brillout; Nannan He; Michele Mazzucchi; Daniel Kroening; Mitra Purandare; Philipp Rümmer; Georg Weissenbacher (FMCO, 2009)

Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software. - Nannan He (2009)

Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction. - Alastair F. Donaldson; Nannan He; Daniel Kroening; Philipp Rümmer (FMCO, 2010)

Test-case generation for embedded simulink via formal concept analysis. - Nannan He; Philipp Rümmer; Daniel Kroening (DAC, 2011)

Model-based verification of PLC programs using Simulink design. - Nannan He; Victor Oke; Gale Allen (EIT, 2016)

Experience of teaching embedded systems design with BeagleBone Black board. - Nannan He; Ying Qian; Han-Way Huang (EIT, 2016)

Teaching touch sensing technologies through project-based learning. - Nannan He; Han-Way Huang; Ying Qian (FIE, 2016)

Result ranking of XML keyword query over XML document. - Yushan Ye; Kai Xie; Tong Li; Nannan He (CISP-BMEI, 2017)

Use of model-based design to teach embedded systems programming. - Nannan He; Han-Way Huang (EIT, 2017)

Teaching wireless networking technologies in the internet-of-things using ARM based microcontrollers. - Nannan He; Rajeev Bukralia; Han-Way Huang (FIE, 2017)

Image quality evaluation of full reference algorithm. - Nannan He; Kai Xie; Tong Li; Yushan Ye (MIPPR, 2017)

Effect of black point on accuracy of LCD displays colorimetric characterization. - Tong Li; Kai Xie; Nannan He; Yushan Ye (MIPPR, 2017)

An improved method for LCD displays colorimetric characterization. - Tong Li; Kai Xie; Qiaojie Wang; Nannan He; Yushan Ye (MIPPR, 2017)

Improved Localisation Using Spatio-Temporal Data from Cellular Network. - Shixin Luo; Yibin Ng; Terence Zheng Wei Lim; Cliff Choon Hua Tan; Nannan He; Giuseppe Manai; Ying Li 040 (MDM, 2018)

Meta-cluster Based Consensus Clustering with Local Weighting and Random Walking. - Nannan He; Dong Huang 001 (IScIDE (2), 2019)