Nannan He

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 11

Top Venues

MIPPR

EIT

FIE

MDM

Virginia Tech, Blacksburg, VA, USA (PHD)

Education History

Virginia Tech, Blacksburg, VA, USA

PHD

Publications

Nannan He, Dong Huang
Meta-cluster Based Consensus Clustering with Local Weighting and Random Walking. IScIDE (2) (2019)
Shixin Luo, Yibin Ng, Terence Zheng Wei Lim, Cliff Choon Hua Tan, Nannan He, Giuseppe Manai, Ying Li
Improved Localisation Using Spatio-Temporal Data from Cellular Network. MDM (2018)
Tong Li, Kai Xie, Qiaojie Wang, Nannan He, Yushan Ye
An improved method for LCD displays colorimetric characterization. MIPPR (2017)
Yushan Ye, Kai Xie, Tong Li, Nannan He
Result ranking of XML keyword query over XML document. CISP-BMEI (2017)
Tong Li, Kai Xie, Nannan He, Yushan Ye
Effect of black point on accuracy of LCD displays colorimetric characterization. MIPPR (2017)
Nannan He, Rajeev Bukralia, Han-Way Huang
Teaching wireless networking technologies in the internet-of-things using ARM based microcontrollers. FIE (2017)
Nannan He, Han-Way Huang
Use of model-based design to teach embedded systems programming. EIT (2017)
Nannan He, Kai Xie, Tong Li, Yushan Ye
Image quality evaluation of full reference algorithm. MIPPR (2017)
Nannan He, Ying Qian, Han-Way Huang
Experience of teaching embedded systems design with BeagleBone Black board. EIT (2016)
Nannan He, Victor Oke, Gale Allen
Model-based verification of PLC programs using Simulink design. EIT (2016)
Nannan He, Han-Way Huang, Ying Qian
Teaching touch sensing technologies through project-based learning. FIE (2016)
Nannan He, Philipp Rümmer, Daniel Kroening
Test-case generation for embedded simulink via formal concept analysis. DAC (2011)
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)
Nannan He, Michael S. Hsiao
An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification. DATE (2009)
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)
Nannan He, Michael S. Hsiao
Bounded model checking of embedded software in wireless cognitive radio systems. ICCD (2007)
Boby George, Shawn A. Bohner, Nannan He
Towards a Model Level Debugger for the Cougaar Model Driven Architecture System. WRAC (2005)

Nannan He.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nannan He