Rongjie Yan
发表
Rongjie Yan,
Guangyuan Li,
Zhisong Tang,
2005
.
Rongjie Yan,
Guangyuan Li,
Wenliang Zhang,
2007
.
Rongjie Yan,
Changwen Li,
Chih-Hong Cheng,
2021,
2022 International Conference on Robotics and Automation (ICRA).
Rongjie Yan,
Xue-Yang Zhu,
2014
.
Xu Yu-bo,
Yan Rong-jie,
Rongjie Yan,
2006
.
Guangquan Zhang,
Rongjie Yan,
Yejing Li,
2014,
J. Comput..
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2014,
Software & Systems Modeling.
Chih-Hong Cheng,
Rongjie Yan,
Rongjie Yan,
2020,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Rongjie Yan,
Li Changwen,
Jian Zhang,
2023
.
Xiaolang Yan,
Xiaomeng Zhang,
Ke Wang,
2018,
IEEE Access.
Xiaolang Yan,
Xiaomeng Zhang,
Min Yu,
2019,
IEEE Access.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2010,
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.
J. Sifakis,
Axel Legay,
M. Bozga,
2016,
Software & Systems Modeling.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2011,
NASA Formal Methods.
Guangyuan Li,
Wenliang Zhang,
Rongjie Yan,
2007,
FORTE.
Guangyuan Li,
Rongjie Yan,
Zhisong Tang,
2005,
ICTAC.
Alois Knoll,
Chih-Hong Cheng,
Yu-Fang Chen,
2011,
ATVA.
Alois Knoll,
Chih-Hong Cheng,
Harald Ruess,
2011,
NASA Formal Methods.
Chih-Hong Cheng,
Rongjie Yan,
Dhiraj Gulati,
2019,
ArXiv.
J. Sifakis,
Rongjie Yan,
Chang Li,
2023,
International Symposium on Software Testing and Analysis.
Axel Legay,
Lavindra de Silva,
Saddek Bensalem,
2011,
SC@TOOLS.
Lavindra de Silva,
Saddek Bensalem,
Félix Ingrand,
2011,
ArXiv.
Ke Wang,
Xiaolang Yan,
Xiaomeng Zhang,
2018,
Electronics.
Peng Zhu,
Xiaolang Yan,
Huang Kai,
2015,
VLSI Design.
Fan Zhang,
Junjie Yang,
Kai Huang,
2018,
FM.
Kai Zhang,
Rongjie Yan,
Yongtai Zhang,
2020,
2020 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Ping Wang,
Jun Yan,
Jiwei Yan,
2021,
Sci. Comput. Program..
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2010,
Formal Methods in Computer Aided Design.