| 2008 |
|---|
| 21 | EE | Nan Guan,
Zonghua Gu,
Mingsong Lv,
Qingxu Deng,
Ge Yu:
Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.
ISORC 2008: 556-560 |
| 2007 |
|---|
| 20 | EE | Zonghua Gu,
Xiuqiang He,
Mingxuan Yuan:
Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking.
DAC 2007: 294-299 |
| 19 | EE | Jin Cui,
Qingxu Deng,
Xiuqiang He,
Zonghua Gu:
An efficient algorithm for online management of 2D area of partially reconfigurable FPGAs.
DATE 2007: 129-134 |
| 18 | EE | Nan Guan,
Zonghua Gu,
Qingxu Deng,
Weichen Liu,
Ge Yu:
Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices.
IPDPS 2007: 1-8 |
| 17 | EE | Jin Cui,
Zonghua Gu,
Weichen Liu,
Qingxu Deng:
An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware Devices.
ISORC 2007: 321-328 |
| 16 | EE | Xianli Jin,
Huadong Ma,
Zonghua Gu:
Real-Time Component Composition Using Hierarchical Timed Automata.
QSIC 2007: 90-99 |
| 15 | EE | Zonghua Gu,
Mingxuan Yuan,
Nan Guan,
Mingsong Lv,
Xiuqiang He,
Qingxu Deng,
Ge Yu:
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.
RTSS 2007: 353-364 |
| 14 | | Zonghua Gu,
Qingxu Deng:
QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution.
SEKE 2007: 320-325 |
| 13 | EE | Nan Guan,
Zonghua Gu,
Qingxu Deng,
Shuaihong Gao,
Ge Yu:
Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking.
SEUS 2007: 263-272 |
| 2005 |
|---|
| 12 | EE | Zonghua Gu,
Zhimin He:
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models.
CBSE 2005: 235-250 |
| 11 | EE | Zonghua Gu:
Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking.
EUC 2005: 214-223 |
| 10 | EE | Zonghua Gu:
Solving Real-Time Scheduling Problems with Model-Checking.
ICESS 2005: 186-197 |
| 9 | EE | Zonghua Gu,
Kang G. Shin:
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software.
ISORC 2005: 410-417 |
| 8 | EE | Zonghua Gu,
Kang G. Shin:
Synthesis of Real-Time Implementations from Component-Based Software Models.
RTSS 2005: 167-176 |
| 2004 |
|---|
| 7 | EE | Zonghua Gu,
Shige Wang,
Sharath Kodase,
Kang G. Shin:
Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation.
HASE 2004: 32-41 |
| 2003 |
|---|
| 6 | EE | Zonghua Gu,
Kang G. Shin:
Integrated Modeling and Analysis of Computer-Based Embedded Control Systems.
ECBS 2003: 141-148 |
| 5 | EE | Zonghua Gu,
Kang G. Shin:
An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Net.
ICDCS 2003: 350-359 |
| 4 | EE | Sharath Kodase,
Shige Wang,
Zonghua Gu,
Kang G. Shin:
Improving Scalability of Task Allocation and Scheduling in Large Distributed Real-Time Systems Using Shared Buffers.
IEEE Real Time Technology and Applications Symposium 2003: 181-188 |
| 3 | EE | Zonghua Gu,
Sharath Kodase,
Shige Wang,
Kang G. Shin:
A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software.
IEEE Real Time Technology and Applications Symposium 2003: 78- |
| 2 | EE | Zonghua Gu,
Shige Wang,
Sharath Kodase,
Kang G. Shin:
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software.
RTSS 2003: 78- |
| 2002 |
|---|
| 1 | | Zonghua Gu,
Kang G. Shin:
Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach.
DIPES 2002: 31-40 |
