He Nannan
He Nannan
Associate Professor of ECET, Minnesota State University, Mankato
Verified email at - Homepage
Cited by
Cited by
Isotopic composition of atmospheric mercury in China: new evidence for sources and transformation processes in air and in vegetation
B Yu, X Fu, R Yin, H Zhang, X Wang, CJ Lin, C Wu, Y Zhang, N He, P Fu, ...
Environmental Science & Technology 50 (17), 9262-9269, 2016
Mutation-based test case generation for simulink models
A Brillout, N He, M Mazzucchi, D Kroening, M Purandare, P Rümmer, ...
Formal Methods for Components and Objects: 8th International Symposium, FMCO …, 2010
Test-case generation for embedded simulink via formal concept analysis
N He, P Rümmer, D Kroening
Proceedings of the 48th Design Automation Conference, 224-229, 2011
Component-based design and verification in X-MAN
N He, D Kroening, T Wahl, KK Lau, F Taweel, C Tran, P Rümmer, ...
Embedded Real Time Software and Systems (ERTS2012), 2012
Diurnal and temporal variations of water-soluble dicarboxylic acids and related compounds in aerosols from the northern vicinity of Beijing: Implication for photochemical aging …
N He, K Kawamura, K Okuzawa, P Pochanart, Y Liu, Y Kanaya, ZF Wang
Science of the total environment 499, 154-165, 2014
Experience of teaching embedded systems design with BeagleBone Black board
N He, Y Qian, H Huang
2016 IEEE international conference on electro information technology (EIT …, 2016
Diurnal variations of carbonaceous components, major ions, and stable carbon and nitrogen isotope ratios in suburban aerosols from northern vicinity of Beijing
N He, K Kawamura, Y Kanaya, Z Wang
Atmospheric Environment 123, 18-24, 2015
Distributions and diurnal changes of low molecular weight organic acids and α-dicarbonyls in suburban aerosols collected at Mangshan, North China
N He, K Kawamura
Geochemical Journal 44 (4), e17-e22, 2010
Model-based verification of PLC programs using Simulink design
N He, V Oke, G Allen
2016 IEEE International Conference on Electro Information Technology (EIT …, 2016
The use of beaglebone black board in engineering design and development
N He, HW Huang, BD Woltman
2014 ASEE North Midwest Section Conference 2014 (1), 2014
Use of FreeRTOS in Teaching Real-time Embedded Systems Design Course
N He, H Huang
Computers in Education 4, 18-25, 2014
Bounded model checking of embedded software in wireless cognitive radio systems
N He, MS Hsiao
2007 25th International Conference on Computer Design, 19-24, 2007
Diurnal variations of total carbon, dicarboxylic acids, ketoacids and α-dicarbonyls in aerosols in the northern vicinity of Beijing
N He, K Kawamura, K Okuzawa, Y Kanaya, ZF Wang
Atmospheric Chemistry and Physics Discussions 13 (6), 16699-16731, 2013
Use of model-based design to teach embedded systems programming
N He, H Huang
2017 IEEE International Conference on Electro Information Technology (EIT …, 2017
A new security sensitivity measurement for software variables
X Cheng, N He, MS Hsiao
2008 IEEE Conference on Technologies for Homeland Security, 593-598, 2008
A new testability guided abstraction to solving bit-vector formula
N He, MS Hsiao
Proceedings of the Joint Workshops of the 6th International Workshop on …, 2008
Incorporating on-going verification & validation research to a reliable real-time embedded systems course
N He
2013 North Midwest Section Meeting, 2021
Teaching wireless networking technologies in the internet-of-things using ARM based microcontrollers
N He, R Bukralia, H Huang
2017 IEEE Frontiers in Education Conference (FIE), 1-4, 2017
Teaching touch sensing technologies through project-based learning
N He, H Huang, Y Qian
2016 IEEE Frontiers in Education Conference (FIE), 1-7, 2016
Using symbolic simulation and weakening abstraction for formal verification of embedded software
N He, MS Hsiao
Proceedings of the 10 th IASTED International Conference on Software …, 2006
The system can't perform the operation now. Try again later.
Articles 1–20