<!-- saved from url=(0042)https://mavdisk.mnsu.edu/hen/index_cp.html --> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> <HTML xmlns="https://mavdisk.mnsu.edu/hen" xml:lang="en"> <HEAD> <TITLE>Welcome to Nannan He's Webpage</TITLE> <LINK title="1024px style" rel=stylesheet type=text/css href="style.css" media=screen,projection> </HEAD> <BODY> <DIV id=wrap> <DIV id=header><img class="right photo" alt="Minnesota State image" src="images/mnsu5.jpg" width="720" height="180"> <DIV id=sidebar> <P id=slogan><h1>Minnesota</h1></P> <P id=slogan><h1>State</h1></P> <P id=slogan><h1>University</h1></P> <P id=slogan>AT MANKATO</P> </DIV></DIV> <DIV id=content> <P id=toplinks><A href="index.html">Home</A> | <A href="publications.html">Publications</A> | <A href="research.html">Research</A> | <A href="teaching.html">Teaching</A> |<A href="links.html">Links</A></P> <BR></BR> <H2>LIST OF PUBLICATIONS(Reverse Chronological)</H2> <p> <ol> <H3>Books</H3> <li><B>Nannan He</B>, <B>Scalable Bit-precise Formal Verification of Embedded Software</B>, LAP LAMBERT academic publishing, Oct. 2016, ISBN:3659936545. </li> <li>An author of the book CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems, Springer Verlag, <a href="http://www.springer.com/engineering/production+engineering/book/978-3-7091-1386-8">Electronic Edition</a>, 2013. </li> <H3>Journals</H3> <li><B>Nannan He</B>, Han-way Huang, Qijie Cai. <B>Teaching Touch Sensing Technologies Using ARM Cortex-M4 Microcontrollers</B>, Journal of Computers in Education (CoED), April - June Issue, 2016. </li> <li><B>Nannan He</B>, Han-way Huang, Navya Mereddy. <B>Experience of Teaching Internet-of-Things Using TI ARM based Connected Launchpad</B>, Transactions on Techniques for STEM Education, October - December 2015. </li> <li>Lakshmi Teja Mullapudi, <B>Nannan He</B>, <B>Introducing Model-based Design Methodology with LabVIEW to Teaching ARM-based Embedded System Design</B>, Intl Journal for Innovation Education and Research, Vol-3, No-8, 2015. </li> <li><B>Nannan He</B>, Han-way Huang, <B>Using Eclipse-based Software Tools to Teach Model-based Design Methodology in a Programming Tools Course and an Embedded Computer Systems Course</B>, Journal of Computers in Education (CoED), July-September Issue, 2015. </li> <li><B>Nannan He</B>, Han-way Huang, <B>Use of FreeRTOS in Teaching Real-Time Embedded Systems Design Course</B>, Journal of Computers in Education (CoED), October-December Issue, 2014. </li> <li><B>Nannan He</B>, Michael S. Hsiao, <B>Testability Guided Abstraction for Scalable Bounded Model Checking of Embedded Software</B>. In Intl. Journal of Modern Engineering, Volume 14, Number 2, Spring/Summer, 2014. <a href="http://ijme.us/issues/spring2014/Z__IJME%20spring%202014%20v14%20n2%20%28PDW-3%29.pdf#page=92">(pdf)</a> </li> <H3>Conference proceedings</H3> <li><B>Nannan He</B>, Han-way Huang and Ying Qian, <B>Teaching Touch Sensing Technologies through Project-based Learning</B>, Proceedings of the ASEE/IEEE Intl. Conf. on Frontiers in Education (FIE), Erie, PA, 2016. </li> <li><B>Nannan He</B>, Victor Oke, Gale Allen, <B>Model-based Verification of PLC programs using Simulink Design</B>, Proceedings of the IEEE Intl. Conf. on Electro/Information Technology (EIT), Grand Forks, ND, May, 2016, pp211-216. </li> <li><B>Nannan He</B>, Ying Qian, Han-way Huang, <B>Experience of Teaching Embedded Systems Design with BeagleBone Black Board</B>, Proceedings of the IEEE Intl. Conf. on Electro/Information Technology (EIT), Grand Forks, ND, May, 2016, pp217-220. </li> <li><B>Nannan He</B>, Han-way Huang, <B>Teaching Advanced Touch Sensing Technologies Using ARM Cortex-M based Microcontroller</B>, Proceedings of the ASEE Annual Conference, Seattle, 2015. </li> <li><B>Nannan He</B>, Han-way Huang, <B>Experience of Teaching Advanced Touch Sensing Technologies</B>, In proceeding of the ASEE North Midwest Sectional Conference, Iowa City, 2014. </li> <li><B>Nannan He</B>, Han-way Huang, <B>The Use of BeagleBone Black Board in Engineering Design and Development</B>, In proceeding of the ASEE North Midwest Sectional Conference, Iowa City, 2014. </li> <li><B>Nannan He</B>, Han-Way Huang, <B>Utilization of Eclipse-based Software Tools in Teaching a New Software Development Methodology to Engineers</B>. In proceeding of the International Forum of ASEE Annual Conference, Indianapolis, 2014. </li> <li><B>Nannan He</B>, Han-Way Huang, <B>Use of FreeRTOS in Teaching Real-time Embedded Systems Design Course</B>. In proceeding of the ASEE Annual Conference, Indianapolis, 2014. </li> <li><B>Nannan He</B>. <B>Incorporating On-going Verification & Validation Research to a Reliable Real-Time Embedded Systems Course</B>. In proceeding of the ASEE North Midwest Sectional Conference, 2013. <a href="http://whavenlabs.com/ASEEConference/html/papers/ASEE-NMWSC2013-0049.pdf">(pdf)</a> </li> <li><B>Nannan He</B>, Gale Allen, Cameron Johnson. <B>Exploring Real-Time Applications in Hands-On Automation Courses</B>. In Proceeding of the ASEE North Midwest Sectional Conference, 2013. <a href="http://whavenlabs.com/ASEEConference/html/papers/ASEE-NMWSC2013-0019.pdf">(pdf)</a> </li> <li><B>Nannan He</B>, Han-Way Huang. <B>Integrating Modern Model-based Development Concepts and Tools in a Programming Tools Course</B>. In Proceeding of the ASEE North Midwest Sectional Conference, 2013. <a href="http://whavenlabs.com/ASEEConference/html/papers/ASEE-NMWSC2013-0050.pdf">(pdf)</a> </li> <li>Han-Way Huang, <B>Nannan He</B>. <B>Experience of Teaching Embedded System Design using FPGAs</B>. In Proceeding of the ASEE North Midwest Sectional Conference, 2013. <a href="http://whavenlabs.com/ASEEConference/html/papers/ASEE-NMWSC2013-0040.pdf">(pdf)</a> </li> <li>Han-Way Huang, <B>Nannan He</B>. <B>Teaching the ARM Microcontroller to Keep Up with the Embedded Industry Technology Change</B>. In Proceeding of the ASEE North Midwest Sectional Conference, 2013. <a href="http://whavenlabs.com/ASEEConference/html/papers/ASEE-NMWSC2013-0039.pdf">(pdf)</a> </li> <li><B>Nannan He</B>, Daniel Kroening, Thomas Wahl, Kung-Kiu Lau, Faris Taweel, Cuong M. Tan, Philipp Ruemmer, Sanjiv S. Sharm. <B>Component-based Design and Verification in X-MAN</B>. In Proceedings of Intl. Embedded Real Time Software and Systems Conference, 2012. <a href="https://www.escholar.manchester.ac.uk/uk-ac-man-scw:176065">(pdf)</a> </li> <li> <B>Nannan He</B>, Philipp Rummer, Daniel Kroening. <B>Test-Case Generation for Embedded Simulink via Formal Concept Analysis</B>. In Proceedings of Intl. ACM Design Automation Conferences (DAC), 2011.(Best paper nomination, 7 out of around 460 submissions) <a href="http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5981757&abstractAccess=no&userType=inst">(pdf)</a> </li> <li> Alastair F. Donaldson, <B>Nannan He</B>, Daniel Kroening, Philipp Rmmer. <B>Tightening Test Coverage Metrics: A Case Study in Equivalence Checking using k-induction</B>. In Proceedings of FMCO 2010. <a href="http://link.springer.com/chapter/10.1007%2F978-3-642-25271-6_16">(pdf)</a> </li> <li> Angelo Brillout, <B>Nannan He</B>, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rmmer, Georg Weissenbacher. <B>Mutation-Based Test Case Generation for Simulink Models</B>. In Proceedings of FMCO 2009. <a href="http://dl.acm.org/citation.cfm?id=1939120">(pdf)</a> </li> <li> <B>Nannan He</B>, Michael S. Hsiao. <B>An Efficient Path-oriented Bit-vector Encoding Width Computation Algorithm for Bit-precise Verification</B>. In Proceedings of IEEE/ACM Design Automation and Test in Europe Conference (DATE), 2009. <a href="http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5090920&abstractAccess=no&userType=inst">(pdf)</a> </li> <li> <B>Nannan He</B>, Michael S. Hsiao. <B>A New Testability Guided Abstraction to Solving Bit-vector Formula</B>. In Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning, 2008. <a href="http://dl.acm.org/citation.cfm?id=1512473">(pdf)</a> </li> <li> <B>Nannan He</B>, Xueqi Cheng, Michael S. Hsiao. <B>A New Hybrid Static/Run-time Secure Memory Access Protection</B>. In Proceedings of IEEE Intl. Conf. on Technologies for Homeland Security, 2008. <a href="http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4534522&abstractAccess=no&userType=inst">(pdf)</a> </li> <li> Xueqi Cheng, <B>Nannan He</B>, Michael S. Hsiao. <B>A New Security Sensitivity Measurement for Software Variables</B>. In Proceedings of IEEE Intl. Conf. on Technologies for Homeland Security, 2008. <a href="http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4534520&abstractAccess=no&userType=inst">(pdf)</a> </li> <li> Xueqi Cheng, <B>Nannan He</B>, Michael S. Hsiao. <B>Hybrid Testing and Verification Techniques for a Cognitive Radio System</B>. In Proceedings of Intl. Conf. on Software Engineering and Applications, 2007. <a href="http://dl.acm.org/citation.cfm?id=1647677">(pdf)</a> </li> <li><B>Nannan He</B>, Michael S. Hsiao. <B>Bounded Model Checking of Embedded Software in Wireless Cognitive Radio Systems</B>. In Proceedings of IEEE Intl. Conference on Computer Design (ICCD), 2007. <a href="http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4601875">(pdf)</a> </li> <li> <B>Nannan He</B>, Michael S. Hsiao. <B>Using symbolic simulation and weakening abstraction for formal verification of embedded software</B>. In Proceedings of Intl. Conf. on Software Engineering and Applications, 2006. <a href="http://www.actapress.com/Abstract.aspx?paperId=28924">(pdf)</a> </li> <li> Boby George, Shawn A. Bohner, <B>Nannan He</B>. <B>Towards a Model Level Debugger for the Cougaar Model Driven Architecture System</B>. In Proceedings of Workshop on Radical Agent Concepts, 2005. <a href="http://dl.acm.org/citation.cfm?id=2105184">(pdf)</a> </li> </ol> </p> </DIV> <DIV id=footer> <P></P> </DIV> </BODY> </HTML>