Nannan He

According to our database, Nannan He authored at least 18 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Meta-cluster Based Consensus Clustering with Local Weighting and Random Walking.

Nannan He, Dong Huang

Proceedings of the Intelligence Science and Big Data Engineering. Big Data and Machine Learning, 2019

2018

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

Proceedings of the 19th IEEE International Conference on Mobile Data Management, 2018

2017

An improved method for LCD displays colorimetric characterization.

Tong Li, Kai Xie, Qiaojie Wang, Nannan He, Yushan Ye

Proceedings of the MIPPR 2017: Remote Sensing Image Processing, 2017

Effect of black point on accuracy of LCD displays colorimetric characterization.

Tong Li, Kai Xie, Nannan He, Yushan Ye

Proceedings of the MIPPR 2017: Remote Sensing Image Processing, 2017

Image quality evaluation of full reference algorithm.

Nannan He, Kai Xie, Tong Li, Yushan Ye

Proceedings of the MIPPR 2017: Remote Sensing Image Processing, 2017

Teaching wireless networking technologies in the internet-of-things using ARM based microcontrollers.

Nannan He, Rajeev Bukralia, Han-Way Huang

Proceedings of the 2017 IEEE Frontiers in Education Conference, 2017

Use of model-based design to teach embedded systems programming.

Nannan He, Han-Way Huang

Proceedings of the IEEE International Conference on Electro Information Technology, 2017

Result ranking of XML keyword query over XML document.

Yushan Ye, Kai Xie, Tong Li, Nannan He

Proceedings of the 10th International Congress on Image and Signal Processing, 2017

2016

Teaching touch sensing technologies through project-based learning.

Nannan He, Han-Way Huang, Ying Qian

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

Experience of teaching embedded systems design with BeagleBone Black board.

Nannan He, Ying Qian, Han-Way Huang

Proceedings of the 2016 IEEE International Conference on Electro Information Technology, 2016

Model-based verification of PLC programs using Simulink design.

Nannan He, Victor Oke, Gale Allen

Proceedings of the 2016 IEEE International Conference on Electro Information Technology, 2016

2011

Test-case generation for embedded simulink via formal concept analysis.

Nannan He, Philipp Rümmer, Daniel Kroening

Proceedings of the 48th Design Automation Conference, 2011

2010

Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction.

Alastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Rümmer

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software.

Nannan He

PhD thesis, 2009

Mutation-Based Test Case Generation for Simulink Models.

Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification.

Nannan He, Michael S. Hsiao

Proceedings of the Design, Automation and Test in Europe, 2009

2007

Bounded model checking of embedded software in wireless cognitive radio systems.

Nannan He, Michael S. Hsiao

Proceedings of the 25th International Conference on Computer Design, 2007

2005

Towards a Model Level Debugger for the Cougaar Model Driven Architecture System.

Boby George, Shawn A. Bohner, Nannan He

Proceedings of the Innovative Concepts for Autonomic and Agent-Based Systems, 2005