晏荣杰
副研究员
硕士生导师
嵌入式系统分析与验证，智能系统
论文
2013
Communication Pipelining for Code Generation from Simulink Models
M2A2 2013（ISPA 附属研讨会）Rongjie YanKai HuangMin YuXiaomeng Zhang- JZUS-C 2013CCF CKai HuangDe MaRong-jie YanHai-tong GeXiao-lang Yan
2011
Model Construction and Priority Synthesis for Simple Interaction Systems
NASA Formal Methods 2011Chih-Hong ChengSaddek BensalemBarbara JobstmannRongjie YanAlois KnollHarald Ruess
2007
Improvements for the Symbolic Verification of Timed Automata
FORTE 2007CCF CRongjie YanGuangyuan LiWenliang ZhangYunquan Peng
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。