Nannan He

Proceedings - International Conference on Software Engineering: Preface

Alessandro Orso, David Notkin, Pietro Ferrara, 2011, International Conference on Software Engineering.

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

Nannan He, Nannan He, 2009 .

Test-case generation for embedded simulink via formal concept analysis

Daniel Kroening, Philipp Rümmer, Nannan He, 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

Mutation-Based Test Case Generation for Simulink Models

Daniel Kroening, Philipp Rümmer, Nannan He, 2009, FMCO.

Experience of teaching embedded systems design with BeagleBone Black board

Nannan He, Ying Qian, Han-way Huang, 2016, 2016 IEEE International Conference on Electro Information Technology (EIT).

Utilization of Eclipse-based Software Tools in Teaching a New Software De- velopment Methodology to Engineers

Nannan He, Han-Way Huang, Nannan He, 2014 .

USING ECLIPSE-BASED SOFTWARE TOOLS TO TEACH MODEL-BASED DESIGN METHODOLOGY IN A PROGRAMMING TOOLS COURSE AND AN EMBEDDED COMPUTER SYSTEMS COURSE

Nannan He, Han-Way P Huang, Nannan He, 2015 .

Integrating Modern Model-based Development Concepts and Tools in a Programming Tools course

Nannan He, Han-Way Huang, Nannan He, 2013 .