Nan Guan
Real-Time Embedded Systems Laboratory
Northeastern University, China
  Northeastern University > RTES

Nan Guan
Ph.D. Student

Institute of Computer Software and Theory
Northeastern University, China P.R.

Email: nan.guan(at)
Phone: +46 18 - 471 6234
Fax: +46 18 511925
Visit: MIC building 1, floor 2, room 1238
Uppsala University, Sweden


I am a Ph.D. student in the Institute of Computer Software and Theory, Northeastern University, China. I started the Ph.D. program in 2006. My supervisor is Prof. Ge Yu.

During Oct. 2006 ~ Jan. 2008, I was visiting the Real-Time Embedded Systems Group of Hong Kong University of Science and Technology, under Prof. Zonghua Gu's supervision.

Currently I am visiting the UPPAAL group in Uppsala University, Sweden, under the supervision of Prof. Wang Yi.


My research interest includes:

  • Multiprocessor/multicore scheduling
  • Worst-Case Execution Time analysis
  • Software synthesis of dataflow models


  1. Research on Real-Time Scheduling Issues and Operating System Technology of Reconfigurable Computing Systems (Supported by National 863 Program of China), Northeastern University, 2007 - 2009
  2. The Embedded Software Platform for the Large-Scale Machine Supervision Systems (Supported by National 863 Program of China), Northeastern University, 2003 - 2005

Publications (full list)

  1. Nan Guan, Zonghua Gu, Wang Yi, Ge Yu: Improving Scalability of Model Checking for Minimizing Buffer Requirements of Synchronous Data Flow Graphs, ASPDAC 2009 (Best paper nominated).
  2. Nan Guan, Qingxu Deng, Zonghua Gu, Wenyao Xu and Ge Yu: Schedulability Analysis of Preemptive and Non-preemptive EDF on Partially Runtime Reconfigurable FPGAs, ACM Transactions on Design Automation of Electronic Systems (TODAES).
  3. Nan Guan, Wang Yi, Zonghua Gu and Ge Yu: New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms, the 29th Real-Time Systems Symposium (RTSS 2008).
  4. Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng and Ge Yu: Exact Schedulability Analysis of Global Scheduling on Multiprocessor Platforms by Symbolic Model Checking, In proceeding of the 11th IEEE International Symposium on Object-Oriented Real-Time Systems (ISORC 2008).
  5. Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Qingxu Deng and Ge Yu: Static Scheduling and Software Synthesis of Dataflow Models with Symbolic Model-Checking, 28th Real-Time Systems Symposium (RTSS 2007).
  6. Nan Guan, Zonghua Gu, Qingxu Deng, Weichen Liu and Ge Yu: Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices, In Proc. of 21st IEEE International Parallel & Distributed Processing Symposium (IPDPS 2007).


I'd rather program programs that program programs than program programs.


Last updated June 2009. For any questions or suggestions on this website, please contact the webmaster