LIST OF PUBLICATIONS(Reverse Chronological)

    Books

  1. Nannan He, Scalable Bit-precise Formal Verification of Embedded Software, LAP LAMBERT academic publishing, Oct. 2016, ISBN:3659936545.
  2. An author of the book CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems, Springer Verlag, Electronic Edition, 2013.

    3. Journals

  3. Nannan He, Han-way Huang, Qijie Cai. Teaching Touch Sensing Technologies Using ARM Cortex-M4 Microcontrollers, Journal of Computers in Education (CoED), April - June Issue, 2016.
  4. Nannan He, Han-way Huang, Navya Mereddy. Experience of Teaching Internet-of-Things Using TI ARM based Connected Launchpad, Transactions on Techniques for STEM Education, October - December 2015.
  5. Lakshmi Teja Mullapudi, Nannan He, Introducing Model-based Design Methodology with LabVIEW to Teaching ARM-based Embedded System Design, Intl Journal for Innovation Education and Research, Vol-3, No-8, 2015.
  6. Nannan He, Han-way Huang, Using Eclipse-based Software Tools to Teach Model-based Design Methodology in a Programming Tools Course and an Embedded Computer Systems Course, Journal of Computers in Education (CoED), July-September Issue, 2015.
  7. Nannan He, Han-way Huang, Use of FreeRTOS in Teaching Real-Time Embedded Systems Design Course, Journal of Computers in Education (CoED), October-December Issue, 2014.
  8. Nannan He, Michael S. Hsiao, Testability Guided Abstraction for Scalable Bounded Model Checking of Embedded Software. In Intl. Journal of Modern Engineering, Volume 14, Number 2, Spring/Summer, 2014. (pdf)

    9. Conference proceedings

  9. Nannan He, Han-way Huang and Ying Qian, Teaching Touch Sensing Technologies through Project-based Learning, Proceedings of the ASEE/IEEE Intl. Conf. on Frontiers in Education (FIE), Erie, PA, 2016.
  10. Nannan He, Victor Oke, Gale Allen, Model-based Verification of PLC programs using Simulink Design, Proceedings of the IEEE Intl. Conf. on Electro/Information Technology (EIT), Grand Forks, ND, May, 2016, pp211-216.
  11. Nannan He, Ying Qian, Han-way Huang, Experience of Teaching Embedded Systems Design with BeagleBone Black Board, Proceedings of the IEEE Intl. Conf. on Electro/Information Technology (EIT), Grand Forks, ND, May, 2016, pp217-220.
  12. Nannan He, Han-way Huang, Teaching Advanced Touch Sensing Technologies Using ARM Cortex-M based Microcontroller, Proceedings of the ASEE Annual Conference, Seattle, 2015.
  13. Nannan He, Han-way Huang, Experience of Teaching Advanced Touch Sensing Technologies, In proceeding of the ASEE North Midwest Sectional Conference, Iowa City, 2014.
  14. Nannan He, Han-way Huang, The Use of BeagleBone Black Board in Engineering Design and Development, In proceeding of the ASEE North Midwest Sectional Conference, Iowa City, 2014.
  15. Nannan He, Han-Way Huang, Utilization of Eclipse-based Software Tools in Teaching a New Software Development Methodology to Engineers. In proceeding of the International Forum of ASEE Annual Conference, Indianapolis, 2014.
  16. Nannan He, Han-Way Huang, Use of FreeRTOS in Teaching Real-time Embedded Systems Design Course. In proceeding of the ASEE Annual Conference, Indianapolis, 2014.
  17. Nannan He. Incorporating On-going Verification & Validation Research to a Reliable Real-Time Embedded Systems Course. In proceeding of the ASEE North Midwest Sectional Conference, 2013. (pdf)
  18. Nannan He, Gale Allen, Cameron Johnson. Exploring Real-Time Applications in Hands-On Automation Courses. In Proceeding of the ASEE North Midwest Sectional Conference, 2013. (pdf)
  19. Nannan He, Han-Way Huang. Integrating Modern Model-based Development Concepts and Tools in a Programming Tools Course. In Proceeding of the ASEE North Midwest Sectional Conference, 2013. (pdf)
  20. Han-Way Huang, Nannan He. Experience of Teaching Embedded System Design using FPGAs. In Proceeding of the ASEE North Midwest Sectional Conference, 2013. (pdf)
  21. Han-Way Huang, Nannan He. Teaching the ARM Microcontroller to Keep Up with the Embedded Industry Technology Change. In Proceeding of the ASEE North Midwest Sectional Conference, 2013. (pdf)
  22. Nannan He, Daniel Kroening, Thomas Wahl, Kung-Kiu Lau, Faris Taweel, Cuong M. Tan, Philipp Ruemmer, Sanjiv S. Sharm. Component-based Design and Verification in X-MAN. In Proceedings of Intl. Embedded Real Time Software and Systems Conference, 2012. (pdf)
  23. Nannan He, Philipp Rummer, Daniel Kroening. Test-Case Generation for Embedded Simulink via Formal Concept Analysis. In Proceedings of Intl. ACM Design Automation Conferences (DAC), 2011.(Best paper nomination, 7 out of around 460 submissions) (pdf)
  24. Alastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Rümmer. Tightening Test Coverage Metrics: A Case Study in Equivalence Checking using k-induction. In Proceedings of FMCO 2010. (pdf)
  25. Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher. Mutation-Based Test Case Generation for Simulink Models. In Proceedings of FMCO 2009. (pdf)
  26. Nannan He, Michael S. Hsiao. An Efficient Path-oriented Bit-vector Encoding Width Computation Algorithm for Bit-precise Verification. In Proceedings of IEEE/ACM Design Automation and Test in Europe Conference (DATE), 2009. (pdf)
  27. Nannan He, Michael S. Hsiao. A New Testability Guided Abstraction to Solving Bit-vector Formula. In Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning, 2008. (pdf)
  28. Nannan He, Xueqi Cheng, Michael S. Hsiao. A New Hybrid Static/Run-time Secure Memory Access Protection. In Proceedings of IEEE Intl. Conf. on Technologies for Homeland Security, 2008. (pdf)
  29. Xueqi Cheng, Nannan He, Michael S. Hsiao. A New Security Sensitivity Measurement for Software Variables. In Proceedings of IEEE Intl. Conf. on Technologies for Homeland Security, 2008. (pdf)
  30. Xueqi Cheng, Nannan He, Michael S. Hsiao. Hybrid Testing and Verification Techniques for a Cognitive Radio System. In Proceedings of Intl. Conf. on Software Engineering and Applications, 2007. (pdf)
  31. Nannan He, Michael S. Hsiao. Bounded Model Checking of Embedded Software in Wireless Cognitive Radio Systems. In Proceedings of IEEE Intl. Conference on Computer Design (ICCD), 2007. (pdf)
  32. Nannan He, Michael S. Hsiao. Using symbolic simulation and weakening abstraction for formal verification of embedded software. In Proceedings of Intl. Conf. on Software Engineering and Applications, 2006. (pdf)
  33. Boby George, Shawn A. Bohner, Nannan He. Towards a Model Level Debugger for the Cougaar Model Driven Architecture System. In Proceedings of Workshop on Radical Agent Concepts, 2005. (pdf)