Full Publication List
  1. Mingsong Lv, Nan Guan, Yi Zhang, Qingxu Deng, Ge Yu, Jianming Zhang: A Survey of WCET Analysis of Real-Time Operating Systems, ICESS 2009.
  2. 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).
  3. 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).
  4. 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).
  5. 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).
  6. Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge Yu: Performance Comparison of Techniques on Static Path Analysis of WCET, the 2008 IEEE/IFIP International Conference On Embedded and Ubiquitous Computing (EUC 2008).
  7. Mingsong Lv, Ying Guo, Nan Guan, Qingxu Deng: RTNoC: A Simulation Tool for Real-Time Communication Scheduling on Networks-on-Chips, accepted to the 2008 International Conference on Computer Science and Software Engineering (CSSE 2008).
  8. Mingsong Lv, Qingxu Deng, Nan Guan, Yaming Xie, Ge Yu: ARMISS: An Instruction Set Simulator for the ARM Architecture, the 2008 International Conference on Embedded Software and Systems (ICESS 2008).
  9. Qingxu Deng, Fanxin Kong, Nan Guan, Mingsong Lv and Wang Yi: On-line Placement of Real-time Tasks on 2D Partially Run-time Reconfigurable FPGAs, accepted to the 5th IEEE International Symposium on Embedded Computing (SEC 2008).
  10. Qingxu Deng, Yi Zhang, Nan Guan and Zonghua Gu: A Unified HW/SW Operating System for Partially Runtime Reconfigurable FPGA based Computer Systems, In Proc. of the 20th Euro-Micro Conference on Real-time Systems Work-in-Progress Session  (ECRTS 2008 WiP).
  11. 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).
  12. 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).
  13. Nan Guan, Zonghua Gu, Qingxu Deng and Ge Yu: Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling using Model-Checking, In Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007).
  14. Nan Guan, Mingsong Lv, Qingxu Deng and Ge Yu: A Real-Time Scheduling Algorithm with Buffer Optimization for Embedded Signal Processing Systems, In Proc. of the 4th IEEE International Symposium on Embedded Computing (SEC 2007).