Nannan He

18 papers A* 1A 1B 1C 3Unranked 11
YearRankTypeTitle / Venue / Authors
2019 — conf
Meta-cluster Based Consensus Clustering with Local Weighting and Random Walking.
IScIDE (2)
Nannan He, Dong Huang
2018 B conf
Improved Localisation Using Spatio-Temporal Data from Cellular Network.
MDM
Shixin Luo, Yibin Ng, Terence Zheng Wei Lim, Cliff Choon Hua Tan, Nannan He, Giuseppe Manai, Ying Li
2017 — conf
An improved method for LCD displays colorimetric characterization.
MIPPR
Tong Li, Kai Xie, Qiaojie Wang, Nannan He, Yushan Ye
2017 — conf
Effect of black point on accuracy of LCD displays colorimetric characterization.
MIPPR
Tong Li, Kai Xie, Nannan He, Yushan Ye
2017 — conf
Image quality evaluation of full reference algorithm.
MIPPR
Nannan He, Kai Xie, Tong Li, Yushan Ye
2017 — conf
Result ranking of XML keyword query over XML document.
CISP-BMEI
Yushan Ye, Kai Xie, Tong Li, Nannan He
2017 C conf
Teaching wireless networking technologies in the internet-of-things using ARM based microcontrollers.
FIE
Nannan He, Rajeev Bukralia, Han-Way Huang
2017 — conf
Use of model-based design to teach embedded systems programming.
EIT
Nannan He, Han-Way Huang
2016 — conf
Experience of teaching embedded systems design with BeagleBone Black board.
EIT
Nannan He, Ying Qian, Han-Way Huang
2016 — conf
Model-based verification of PLC programs using Simulink design.
EIT
Nannan He, Victor Oke, Gale Allen
2016 C conf
Teaching touch sensing technologies through project-based learning.
FIE
Nannan He, Han-Way Huang, Ying Qian
2011 A* conf
Test-case generation for embedded simulink via formal concept analysis.
DAC
Nannan He, Philipp Rümmer, Daniel Kroening
2010 — conf
Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction.
FMCO
Alastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Rümmer
2009 A conf
An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification.
DATE
Nannan He, Michael S. Hsiao
2009 — —
Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software.
Nannan He
2009 — conf
Mutation-Based Test Case Generation for Simulink Models.
FMCO
Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher
2007 C conf
Bounded model checking of embedded software in wireless cognitive radio systems.
ICCD
Nannan He, Michael S. Hsiao
2005 — conf
Towards a Model Level Debugger for the Cougaar Model Driven Architecture System.
WRAC
Boby George, Shawn A. Bohner, Nannan He