[1] Lei Luo ,  Shenglin Gui ,  and  Liang Ma ,  Limeng Yin. Research of automatic code generating technology based on AADL

[2] 雷航 and  桂盛霖 ,  On energ-constrained real-time scheduling for elastic tasks

[3] Lijie Wang ,  Yun Li ,  Lei Luo ,  and  Shenglin Gui ,  Formal Schedulability Analysis and Simulation for AADL

[4] Yun Li ,  Limeng Yin ,  Lei Luo ,  Liang Ma ,  and  Shenglin Gui ,  UCaG: An Automatic C Code Generator for AADL Based Upon DeltaOS

[5] Shaopeng Lu ,  Fulei Guo ,  Qian Liu ,  Lei Luo ,  and  Shenglin Gui ,  UCaS: a schedulability analysis tool for AADL models

[6] 罗惠琼 ,  罗蕾 ,  桂盛霖 ,  and  刘雪琴 ,  Code automatic generation technology of AADL models

[7] Shenglin Gui ,  Rong Gong ,  Lei Luo ,  and  Geng Chen ,  Dependability analysis for AADL models by PVS

[8] 尹立孟 ,  马亮 ,  桂盛霖 ,  and  陶勇 ,  Code automatic generation and integration technology of AADL model

[9] 罗蕾 ,  李允 ,  桂盛霖 ,  and  刘倩 ,  Schedulability verification of AADL model based on UPPAAL

[10] 罗蕾 ,  李允 ,  桂盛霖 ,  and  陆少朋 ,  LambdaMDE: embedded development environment baded on model.

[11] Lei Luo and  Shenglin Gui ,  Sensen Tang and Yang Meng. Optimal static partition configuration in ARINC653 system

[12] Lei Luo and  Shenglin Gui ,  Shenglin Gui, Lei Luo. End-to-end schedulability analysis for bi-directional real-time multistage pipeline

[13] Yun Li ,  Jianhua Xu ,  Miao Yu ,  Lei Luo ,  and  Shenglin Gui ,  Schedulability analysis for distributed systems using network of action automata and environment automata

[14] 徐建华 ,  于淼 ,  李允 ,  罗蕾 ,  and  桂盛霖 ,  Schedulability analysis tool for distributed real-time systems based on automata theory

[15] 罗蕾 ,  陈更 ,  桂盛霖 ,  and  李允 ,  The Model Development Environment Research of Embedded Real-Time Software

[16] Lei Luo and  Shenglin Gui ,  Reliability Analysis of Task Model in Real-Time Fault-Tolerant Systems

[17] Lei Luo and  Shenglin Gui ,  Reliability Analysis of Real-Time Fault-Tolerant Task Models