Rongjie Yan
发表
Chih-Hong Cheng,
Harald Ruess,
Saddek Bensalem,
2011,
ArXiv.
Guangyuan Li,
Xue-Yang Zhu,
Rongjie Yan,
2014,
ICFEM.
Ahmed Amine Jerraya,
Xiaolang Yan,
Min Yu,
2013,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Fan Zhang,
Junjie Yang,
Kai Huang,
2018,
FM.
Xu Yu-bo,
Yan Rong-jie,
Rongjie Yan,
2006
.
Chih-Hong Cheng,
Rongjie Yan,
Dhiraj Gulati,
2019,
ArXiv.
Chih-Hong Cheng,
Rongjie Yan,
2020,
ArXiv.
Xue-Yang Zhu,
Rongjie Yan,
Yu-Lei Gu,
2015,
计算机科学.
Peng Zhu,
Xiaolang Yan,
Huang Kai,
2015,
VLSI Design.
Lavindra de Silva,
Saddek Bensalem,
Félix Ingrand,
2011,
ArXiv.
Chih-Hong Cheng,
Rongjie Yan,
Yesheng Chai,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Guangyuan Li,
Rongjie Yan,
Zhisong Tang,
2005,
ICTAC.
Xiaolang Yan,
Kai Huang,
De Ma,
2013,
Journal of Zhejiang University SCIENCE C.
Min Yu,
Xiaomeng Zhang,
Kai Huang,
2014,
Int. J. Embed. Syst..
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2010,
Formal Methods in Computer Aided Design.
Jian Zhang,
Wenhui Zhang,
Xue-Yang Zhu,
2015,
FM.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2011,
NASA Formal Methods.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2014,
Software & Systems Modeling.
Yi Zhu,
Jianning Zhang,
Rongjie Yan,
2014,
MUE 2014.
Kai Huang,
De Ma,
Xiaoxu Zhang,
2014,
2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).
Minghao Yin,
Rongjie Yan,
Yupeng Zhou,
2020,
AAAI.
Kai Huang,
Rongjie Yan,
Junjie Yang,
2017
.
Kai Huang,
Xiaolang Yan,
Zhili Liu,
2014,
IEICE Trans. Inf. Syst..
Ke Wang,
Xiaolang Yan,
Xiaomeng Zhang,
2018
.
Xiaolang Yan,
Xiaomeng Zhang,
Ke Wang,
2018,
IEEE Access.
Ping Wang,
Jun Yan,
Jiwei Yan,
2021,
Sci. Comput. Program..
Rachid Alami,
Lavindra de Silva,
Saddek Bensalem,
2015,
HRI.
Guangyuan Li,
Wenliang Zhang,
Rongjie Yan,
2007,
FORTE.
Mei Rong,
Yali He,
Xue-Yang Zhu,
2010,
2010 Fifth IEEE International Symposium on Service Oriented System Engineering.
Xue-Yang Zhu,
Rongjie Yan,
Guangquan Zhang,
2015,
计算机科学.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2010,
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.
Alois Knoll,
Chih-Hong Cheng,
Yu-Fang Chen,
2011,
ATVA.
Axel Legay,
Lavindra de Silva,
Saddek Bensalem,
2011,
SC@TOOLS.
Min Yu,
Xiaomeng Zhang,
Kai Huang,
2013,
2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications.
Joseph Sifakis,
Thanh-Hung Nguyen,
Saddek Bensalem,
2009
.
Guangquan Zhang,
Rongjie Yan,
Yejing Li,
2014,
J. Comput..
Alois Knoll,
Chih-Hong Cheng,
Harald Ruess,
2011,
NASA Formal Methods.
Chih-Hong Cheng,
Harald Ruess,
Saddek Bensalem,
2012,
AGERE! 2012.
Minghao Yin,
Min Yu,
Kai Huang,
2017,
2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI).
Hongyu Gao,
Feifei Ma,
Jun Yan,
2019,
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Xiaolang Yan,
Zhili Liu,
Xiaomeng Zhang,
2015
.
Xiaolang Yan,
Xiaomeng Zhang,
Min Yu,
2019,
IEEE Access.
Chih-Hong Cheng,
Harald Ruess,
Saddek Bensalem,
2012,
SSV.
Junjie Yang,
Kai Huang,
Di Zhu,
2018,
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS).
Ke Wang,
Xiaolang Yan,
Xiaomeng Zhang,
2018,
Electronics.
Ahmed Amine Jerraya,
Xiaolang Yan,
Min Yu,
2015,
ACM Trans. Embed. Comput. Syst..
Dong Yan,
Jun Yan,
Jian Zhang,
2017,
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).
Rongjie Yan,
Wen-Liang Zhang,
Zhi-Song Tang,
2009
.
Rongjie Yan,
Yuhang Chen,
Changwen Li,
2021,
ArXiv.
Hongyu Gao,
Rongjie Yan,
Jun Yan,
2021,
J. Syst. Softw..
Chih-Hong Cheng,
Rongjie Yan,
Rongjie Yan,
2020,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Chih-Hong Cheng,
Rongjie Yan,
Yuhang Chen,
2021,
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Chih-Hong Cheng,
Rongjie Yan,
2021,
2021 IEEE International Conference on Artificial Intelligence Testing (AITest).