Rongjie Yan
Associate Professor
Master Supervisor
Analysis and Verification of Embedded, Intelligent Systems
Publications
34 publications
Clear all filtersNo publications found
2013
Communication Pipelining for Code Generation from Simulink Models
M2A2 2013 (workshop at ISPA)Rongjie YanKai HuangMin YuXiaomeng Zhang- JZUS-C 2013Kai 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 2007Rongjie YanGuangyuan LiWenliang ZhangYunquan Peng