 | 2011 |
|---|
| 5 |       | Shenglin Gui,
Lei Luo:
End-to-End Schedulability Analysis for Bi-directional Real-Time Multistage Pipeline.
ISPA 2011: 219-224 |
| 4 | | Shenglin Gui,
Lei Luo,
Miao Yu,
Jianhua Xu,
Yun Li:
Schedulability Analysis for Distributed Systems Using Network of Action Automata and Environment Automata.
ISPA 2011: 225-231 |
| 2009 |
|---|
| 3 | | Geng Chen,
Lei Luo,
Rong Gong,
Shenglin Gui:
Dependability Analysis for AADL Models by PVS.
DASC 2009: 19-24 |
| 2008 |
|---|
| 2 | | Shenglin Gui,
Lei Luo,
Qian Liu,
Fulei Guo,
Shaopeng Lu:
UCaS: A Schedulability Analysis Tool for AADL Models.
EUC (2) 2008: 449-454 |
| 1 | | Shenglin Gui,
Lei Luo,
Yun Li,
Lijie Wang:
Formal Schedulability Analysis and Simulation for AADL.
ICESS 2008: 429-435 |
Data released under the ODC-BY 1.0 license — See also our legal information page