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 | 152 | 2016 |
Mutation-based test case generation for simulink models A Brillout, N He, M Mazzucchi, D Kroening, M Purandare, P Rümmer, ... International Symposium on Formal Methods for Components and Objects, 208-227, 2009 | 95 | 2009 |
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 | 91 | 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 | 47 | 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 | 32 | 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 | 23 | 2016 |
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 | 23 | 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 | 20 | 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 | 18 | 2010 |
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 | 16 | 2014 |
Use of FreeRTOS in Teaching Real-time Embedded Systems Design Course N He, H Huang Computers in Education 4, 18-25, 2014 | 15 | 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 | 10 | 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 | 7 | 2013 |
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 | 7 | 2008 |
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 | 7 | 2008 |
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 | 6 | 2017 |
Use of model-based design to teach embedded systems programming N He, H Huang 2017 IEEE International Conference on Electro Information Technology (EIT …, 2017 | 6 | 2017 |
Incorporating on-going verification & validation research to a reliable real-time embedded systems course N He 2013 North Midwest Section Meeting, 2021 | 4 | 2021 |
Teaching touch sensing technologies through project-based learning N He, H Huang, Y Qian 2016 IEEE Frontiers in Education Conference (FIE), 1-7, 2016 | 4 | 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 | 3 | 2006 |