Wang Yi
发表
Wang Yi,
Paul Pettersson,
Elena Fersman,
2002,
TACAS.
Wang Yi,
2007
.
Wang Yi,
Kim G. Larsen,
K. Larsen,
1997,
Inf. Comput..
Wang Yi,
2009
.
Wang Yi,
Tian Hai,
Yang Shengsheng,
2012
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2002,
FTRTFT.
Parosh Aziz Abdulla,
Wang Yi,
Pavel Krcál,
2009,
INFINITY.
Wang Yi,
Nan Guan,
Pontus Ekberg,
2015,
J. Log. Algebraic Methods Program..
Wang Yi,
Xu Wei,
Xei Qi,
2011,
2011 International Conference on Electrical and Control Engineering.
Wang Yi,
W. Yi,
2009,
2009 International Joint Conference on Artificial Intelligence.
Wang Yi,
Frank S. de Boer,
Mohammad Mahdi Jaghoori,
2009,
ICFEM.
Wang Yi,
2007
.
Wang Yi,
Paul Pettersson,
Leonid Mokrushin,
2002,
TACAS.
Wang Yi,
2009
.
Wang Yi,
Simon Tschirner,
Liang Xuedong,
2008,
EMSOFT '08.
Wang Yi,
2012
.
Wang Yi,
Jin Liu,
Wu Yan,
2015
.
Wang Yi,
Ge Yu,
Nan Guan,
2009,
2009 30th IEEE Real-Time Systems Symposium.
Wang Yi,
Ge Yu,
Zonghua Gu,
2009,
2009 Asia and South Pacific Design Automation Conference.
Wang Yi,
Paul Pettersson,
Leonid Mokrushin,
2006,
Theor. Comput. Sci..
Wang Yi,
Anders Wall,
Christer Norström,
1999,
Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).
Wang Yi,
2002
.
Wang Yi,
Yang Wang,
Nan Guan,
2017,
2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Wang Yi,
Lothar Thiele,
Bengt Jonsson,
2008,
EMSOFT '08.
Wang Yi,
Jakaria Abdullah,
Gaoyang Dai,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Wang Yi,
Xiaoquan Gong,
Jinsong Pei,
2010,
2010 International Conference on Computer Application and System Modeling (ICCASM 2010).
Wang Yi,
2003
.
Wang Yi,
Zhang Zhe,
He Yu,
2018,
The Journal of Engineering.
Wang Yi,
Paul Pettersson,
Fredrik Larsson,
2000
.
Wang Yi,
Ge Yu,
Nan Guan,
2012,
2012 IEEE 26th International Parallel and Distributed Processing Symposium.
Wang Yi,
Ke Zhang,
Desheng Wang,
2019,
2019 12th International Symposium on Computational Intelligence and Design (ISCID).
Wang Yi,
Nan Guan,
Wei Zhang,
2019,
J. Syst. Archit..
Wang Yi,
Wan Shuting,
Li Heming,
2005,
IEEE International Conference on Electric Machines and Drives, 2005..
Wang Yi,
2005
.
Wang Yi,
Yan Suyun,
Shu Hong,
2010,
2010 2nd International Conference on Future Computer and Communication.
Analysis of line parameter symmetry and phase sequence arrange concerning four circuits on one tower
Wang Yi,
Li Tiangang,
Long Mao,
2014,
2014 China International Conference on Electricity Distribution (CICED).
Wang Yi,
2000
.
Wang Yi,
2013
.
Wang Yi,
Guo Xiaopeng,
W. Yi,
2013
.
Wang Yi,
2004
.
Wang Yi,
2010
.
Wang Yi,
Guo Feng,
2011
.
Wang Yi,
Hu Yanjun,
Chu Shiqiang,
2018,
ICCC 2018.
Wang Yi,
Wan Shuting,
Li Yonggang,
2005,
IEEE International Conference on Electric Machines and Drives, 2005..
Wang Yi,
Philipp Rümmer,
2016,
Theory and Practice of Formal Methods.
Wang Yi,
2009
.
Parosh Aziz Abdulla,
Wang Yi,
Pavel Krcál,
2007,
FoSSaCS.
Wang Yi,
2013
.
Wang Yi,
2004
.
Wang Yi,
Morteza Mohaqeqi,
Jakaria Abdullah,
2016,
Ada-Europe.
Wang Yi,
He Hong-wen,
Xiong Rui,
2010,
2010 3rd International Conference on Computer Science and Information Technology.
Wang Yi,
Li Chao,
Li Hao,
2017,
2017 9th International Conference on Measuring Technology and Mechatronics Automation (ICMTMA).
Wang Yi,
Li Hongxin,
2011,
2011 International Conference on Electronics, Communications and Control (ICECC).
Wang Yi,
Xu Jiang,
Nan Guan,
2017,
2017 IEEE Real-Time Systems Symposium (RTSS).
Wang Yi,
Fan Jizhuang,
Du Qilong,
2020
.
Wang Yi,
Gu Wenbin,
Wang Dengyang,
2016,
2016 IEEE Information Technology, Networking, Electronic and Automation Control Conference.
Wang Yi,
Yi Zhang,
Yanbin Xiao,
2011,
2011 6th IEEE International Symposium on Industrial and Embedded Systems.
Wang Yi,
Ge Yu,
Nan Guan,
2010,
2010 31st IEEE Real-Time Systems Symposium.
Wang Yi,
2008
.
Wang Yi,
2010
.
Wang Yi,
2011
.
Wang Yi,
Wang Yi,
2002
.
Wang Yi,
Alexandre David,
Tobias Amnell,
2000,
LCTES.
Wang Yi,
1996
.
Wang Yi,
2006
.
Wang Yi,
Pontus Ekberg,
W. Yi,
2015,
2015 IEEE Real-Time Systems Symposium.
Wang Yi,
2007
.
Wang Yi,
2011
.
Wang Yi,
Peng Li,
Mingzhi Zhang,
2019
.
Wang Yi,
2002
.
Wang Yi,
Kim G. Larsen,
Uno Holmer,
1991,
CAV.
Wang Yi,
W. Yi,
1994,
FTRTFT.
Wang Yi,
Wang Yi,
2016
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1995,
Hybrid Systems.
Wang Yi,
2003
.
Wang Yi,
2005
.
Wang Yi,
Yang Weifeng,
Xia Xiaohong,
2010,
2010 3rd International Conference on Information Management, Innovation Management and Industrial Engineering.
Wang Yi,
Morteza Mohaqeqi,
Nan Guan,
2017,
Models, Algorithms, Logics and Tools.
Wang Yi,
Yang Jun-an,
Liu Hui,
2010
.
Wang Yi,
2002
.
Wang Yi,
Jifeng He,
Geguang Pu,
2004,
IFM.
Wang Yi,
Wei Dong,
W. Dong,
2015
.
Wang Yi,
Ge Yu,
Nan Guan,
2010,
2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.
Wang Yi,
2014
.
Wang Yi,
2008
.
Wang Yi,
Huang Jiao,
Ou Jieyun,
2005,
31st Annual Conference of IEEE Industrial Electronics Society, 2005. IECON 2005..
Wang Yi,
Giuseppe Lipari,
Nan Guan,
2014,
2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications.
Wang Yi,
2013
.
Wang Yi,
2007
.
Wang Yi,
Nie Rui-xing,
Li En,
2011,
2011 IEEE International Conference on Microwave Technology & Computational Electromagnetics.
Wang Yi,
2010
.
Wang Yi,
2002
.
Wang Yi,
2013
.
Wang Yi,
1999
.
Wang Yi,
2008
.
Wang Yi,
2006
.
Wang Yi,
Zhou Hua,
Wu Jianming,
2012,
2012 8th International Wireless Communications and Mobile Computing Conference (IWCMC).
Wang Yi,
Yang Xiao-dong,
Pan Xiao,
2012
.
Wang Yi,
Xue Liu,
Weichen Liu,
2019,
J. Syst. Archit..
Wang Yi,
Lin Jianliang,
2010
.
Wang Yi,
Cao Maoyong,
Zhu Deping,
2012,
Proceedings of the 31st Chinese Control Conference.
Wang Yi,
2010
.
Wang Yi,
2011
.
Wang Yi,
2012
.
Wang Yi,
Paul Pettersson,
Mats Daniels,
1994,
FORTE.
Wang Yi,
Kim Guldstrand Larsen,
Paul Pettersson,
2002
.
Wang Yi,
2007
.
Wang Yi,
Pavel Krcál,
2004,
TACAS.
Wang Yi,
2013
.
Wang Yi,
Morteza Mohaqeqi,
Jakaria Abdullah,
2018,
2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
Wang Yi,
Huimin Lin,
2000,
FSTTCS.
Wang Yi,
Wenyao Xu,
Nan Guan,
2015,
IEEE Intelligent Systems.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
TACAS.
Wang Yi,
Bengt Jonsson,
W. Yi,
1999,
ARTS.
Wang Yi,
2012
.
Wang Yi,
2009
.
Wang Yi,
2011
.
Wang Yi,
Ming-Chun Huang,
Wenyao Xu,
2013,
BODYNETS.
Wang Yi,
Nan Guan,
Pontus Ekberg,
2011,
2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.
Wang Yi,
Zhao Hao,
2002
.
Wang Yi,
Tiziana Margaria,
W. Yi,
2003,
International Journal on Software Tools for Technology Transfer.
Wang Yi,
Tiziana Margaria,
W. Yi,
2003
.
Wang Yi,
Bengt Jonsson,
W. Yi,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Wang Yi,
Fan Tongrang,
Yin Wenyi,
2008,
2008 27th Chinese Control Conference.
Wang Yi,
Li Heming,
Yan Xiangwu,
2005,
Fourtieth IAS Annual Meeting. Conference Record of the 2005 Industry Applications Conference, 2005..
Wang Yi,
Xu Qian,
Xuyang Qian,
2013
.
Wang Yi,
Yang Jun-an,
Liu Hui,
2011
.
Wang Yi,
Zhao Kaiqi,
2005,
31st Annual Conference of IEEE Industrial Electronics Society, 2005. IECON 2005..
Wang Yi,
Xu Dianguo,
Zhao Kaiqi,
2003,
IECON'03. 29th Annual Conference of the IEEE Industrial Electronics Society (IEEE Cat. No.03CH37468).
Wang Yi,
Cic Phosphoric,
2003
.
Wang Yi,
2009
.
Wang Yi,
Cao Maoyong,
Zhu Deping,
2013,
2013 25th Chinese Control and Decision Conference (CCDC).
Wang Yi,
Kai Lampka,
Syed Md Jakaria Abdullah,
2016,
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
Hybrid Systems.
Wang Yi,
2002
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1997,
International Journal on Software Tools for Technology Transfer.
Wang Yi,
Kim G. Larsen,
John Håkansson,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Wang Yi,
2009
.
Wang Yi,
2009
.
Wang Yi,
Xiang Qingpei,
Hao Fanhua,
2018,
Applied radiation and isotopes : including data, instrumentation and methods for use in agriculture, industry and medicine.
Wang Yi,
Pontus Ekberg,
W. Yi,
2017,
2017 IEEE Real-Time Systems Symposium (RTSS).
Wang Yi,
2007
.
Wang Yi,
Wang Yi,
2005
.
Wang Yi,
2000
.
Wang Yi,
Qingxu Deng,
Nan Guan,
2014,
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Wang Yi,
Nan Guan,
Martin Stigge,
2014,
2014 26th Euromicro Conference on Real-Time Systems.
Wang Yi,
Liu Yun-sheng,
Zhong Hao,
2008,
Wuhan University Journal of Natural Sciences.
Wang Yi,
Ge Yu,
Nan Guan,
2012,
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.
Wang Yi,
2007
.
Wang Yi,
2011
.
Wang Yi,
Yong Zhao,
Xiaoqian Chen,
2020,
IOP Conference Series: Materials Science and Engineering.
Wang Yi,
Paul Pettersson,
Magnus Lindahl,
1998,
International Journal on Software Tools for Technology Transfer.
Wang Yi,
Liu Jianzheng,
Zhu Hao,
2016
.
Wang Yi,
2010
.
Wang Yi,
Alexandre David,
M. Oliver Möller,
2002,
FASE.
Wang Yi,
Pontus Ekberg,
Martin Stigge,
2013,
SIGBED.
Wang Yi,
Han Ye,
Yang Jiye,
2016
.
Wang Yi,
Pavel Krcál,
Martin Stigge,
2007,
FORMATS.
Wang Yi,
2006
.
Wang Yi,
Huimin Lin,
2000,
FoSSaCS.
Wang Yi,
Nan Guan,
Yue Tang,
2015,
TACAS.
Wang Yi,
Fu Yuan,
Ji Mao,
2018,
2018 2nd IEEE Conference on Energy Internet and Energy System Integration (EI2).
Wang Yi,
Kai Lampka,
Jonas Flodin,
2014,
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014).
Wang Yi,
Sun Hongliang,
Hou Xingzhe,
2013,
2013 22nd Wireless and Optical Communication Conference.
Wang Yi,
2002
.
Wang Yi,
Li Lihua,
Zhang Ping,
2005,
Proceedings. 2005 International Conference on Wireless Communications, Networking and Mobile Computing, 2005..
Wang Yi,
Ge Yu,
Qingxu Deng,
2009,
Frontiers of Computer Science in China.
Wang Yi,
Anders Wall,
Jukka Mäki-Turja,
2000,
Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.
Wang Yi,
2006
.
Wang Yi,
Xi Jin,
Qingxu Deng,
2011,
2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications.
Wang Yi,
Chao Zhai,
Zhixiang Cao,
2020
.
Wang Yi,
2003
.
Wang Yi,
2019,
2019 IEEE Real-Time Systems Symposium (RTSS).
Wang Yi,
2005
.
Wang Yi,
Jens B. Schmitt,
Nan Guan,
2017,
IEEE INFOCOM 2017 - IEEE Conference on Computer Communications.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2002,
J. Log. Algebraic Methods Program..
Wang Yi,
Fu Chao,
Li Yonggang,
2005,
2005 International Conference on Electrical Machines and Systems.
Wang Yi,
Ge Yu,
Yi Zhang,
2009,
2009 International Conference on Computational Science and Engineering.
Wang Yi,
Wang Yi,
2013
.
Wang Yi,
2003
.
Wang Yi,
2010
.
Wang Yi,
Meng Yu,
Li Wenhui,
2006,
2006 IEEE International Conference on Granular Computing.
Wang Yi,
Li Ren,
Hu Jianjun,
2016
.
Wang Yi,
2011
.
Wang Yi,
Tewin New,
2011
.
Wang Yi,
Fang Zhenhe,
Zhang Ming-Xing,
1994
.
Wang Yi,
Paul Pettersson,
Magnus Lindahl,
1998,
TACAS.
Wang Yi,
Li Yonggang,
Yu Ming,
2016
.
Wang Yi,
Tiziana Margaria,
Tomáš Vojnar,
2019,
Lecture Notes in Computer Science.
Wang Yi,
2001
.
Wang Yi,
Yan Hong,
2008
.
Wang Yi,
2009
.
Wang Yi,
Wei Jing,
Nan Guan,
2014,
2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications.
Wang Yi,
2012
.
Wang Yi,
Wang Yi,
2018
.
Wang Yi,
Hou Junxian,
Han Minxiao,
2014
.
Wang Yi,
Morteza Mohaqeqi,
Jakaria Abdullah,
2017,
SAC.
Wang Yi,
Ge Yu,
Zonghua Gu,
2011,
J. Syst. Archit..
Wang Yi,
Nan Guan,
Pontus Ekberg,
2011,
2011 IEEE 32nd Real-Time Systems Symposium.
Christel Baier,
Wang Yi,
Bernhard K. Aichernig,
2010,
TTSS.
Wang Yi,
2008
.
Wang Yi,
Bengt Jonsson,
W. Yi,
1994,
FSTTCS.
Wang Yi,
Qingxu Deng,
Nan Guan,
2015,
2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications.
Wang Yi,
Paul Pettersson,
Elena Fersman,
2003
.
Wang Yi,
Wang Yi,
2012,
2012 International Conference on Audio, Language and Image Processing.
Wang Yi,
Weichen Liu,
Nan Guan,
2017,
2017 IEEE Real-Time Systems Symposium (RTSS).
Wang Yi,
2012
.
Wang Yi,
2005
.
Wang Yi,
Qi Min,
Dong Jian Yuan,
2007,
Fourth International Conference on Image and Graphics (ICIG 2007).
Wang Yi,
2009
.
Wang Yi,
Gang Chen,
Nan Guan,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
An efficient method for improving switching reliability of permanent magnetic vacuum circuit breaker
Wang Yi,
Meng Fei,
Bai Xiaolei,
2011,
2011 1st International Conference on Electric Power Equipment - Switching Technology.
Wang Yi,
Jifeng He,
Geguang Pu,
2006,
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
Wang Yi,
2006
.
Wang Yi,
Fanxin Kong,
Qingxu Deng,
2011,
2011 Design, Automation & Test in Europe.
Wang Yi,
2001
.
Wang Yi,
Li Yi,
Xu Changqing,
2009,
2009 International Conference on Industrial Mechatronics and Automation.
Wang Yi,
2008
.
Wang Yi,
Kang Yi-long,
2011
.
Wang Yi,
Zhang Li-Ping,
Li Gui-Ling,
2009,
2009 International Conference on Wireless Communications & Signal Processing.
Wang Yi,
2003
.
Wang Yi,
Nan Guan,
W. Yi,
2014,
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Wang Yi,
Yan Suyun,
W. Yi,
2013
.
Wang Yi,
Chang Ye,
Pan Hu,
2020,
IEEE Access.
Wang Yi,
Paul Pettersson,
Leonid Mokrushin,
2003,
TACAS.
Wang Yi,
Paul Pettersson,
Fredrik Larsson,
1998
.
Wang Yi,
An Jianfeng,
An Jian-feng,
2016
.
Wang Yi,
2012
.
Wang Yi,
2009
.
Wang Yi,
Songran Liu,
2020,
IEEE Access.
Wang Yi,
Jun Sun,
Jin Song Dong,
2008,
IEEE Transactions on Software Engineering.
Wang Yi,
2002
.
Wang Yi,
Li Zepei,
Peng Xiaolong,
2016
.
Wang Yi,
1998
.
Wang Yi,
Jifeng He,
Geguang Pu,
2005,
Formal Aspects of Computing.
Wang Yi,
Guo Wei,
Guo Wei,
2008
.
Wang Yi,
Andrew Merryweather,
Hang Xu,
2012
.
Wang Yi,
Zhang Xiaowei,
He Hongwen,
2010,
2010 2nd International Conference on Future Computer and Communication.
Wang Yi,
Wenyao Xu,
Nan Guan,
2014,
PervasiveHealth.
Wang Yi,
Elena Fersman,
2004,
Nord. J. Comput..
Wang Yi,
Ge Yu,
Nan Guan,
2012,
IEEE Real-Time and Embedded Technology and Applications Symposium.
Wang Yi,
Zhang Hui,
Yuan Zhaohui,
2009,
2009 4th IEEE Conference on Industrial Electronics and Applications.
Wang Yi,
Huang Hai-yan,
Zhu Yu,
2007
.
Wang Yi,
W. Yi,
2003
.
Wang Yi,
2011
.
Wang Yi,
Fanxin Kong,
Qingxu Deng,
2011,
SAC.
Wang Yi,
2002
.
Wang Yi,
Rolf Ernst,
Bengt Jonsson,
2014,
ACM Trans. Embed. Comput. Syst..
Wang Yi,
Kim G. Larsen,
K. Larsen,
1993,
MFPS.
Wang Yi,
2011
.
Wang Yi,
An Ning,
Tang Yong,
2018,
2018 International Conference on Power System Technology (POWERCON).
Wang Yi,
2004
.
Wang Yi,
W. Yi,
1990,
CONCUR.
Wang Yi,
2010
.
Wang Yi,
Liu Zhifang,
Wang Zhaobing,
2014
.
Wang Yi,
2003
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2003,
Real-Time Systems.
Wang Yi,
Gang Chen,
Todor Stefanov,
2018,
IEEE Transactions on Computers.
Wang Yi,
2010
.
Wang Yi,
2010,
ICFEM.
Parosh Aziz Abdulla,
Wang Yi,
Pavel Krcál,
2010,
Log. Methods Comput. Sci..
Wang Yi,
2014
.
Wang Yi,
Fanxin Kong,
Qingxu Deng,
2010,
2010 22nd Euromicro Conference on Real-Time Systems.
Wang Yi,
2012
.
Wang Yi,
2003
.
Wang Yi,
2006
.
Wang Yi,
Wang Shuai,
Wang Jiaying,
2019
.
Wang Yi,
2012
.
Wang Yi,
2001
.
Wang Yi,
2010
.
Wang Yi,
Liu Yang,
Wang Hui,
2016
.
Wang Yi,
Xiaobo Sharon Hu,
Qingxu Deng,
2016,
2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Wang Yi,
2008
.
Wang Yi,
2011
.
Wang Yi,
Martin Stigge,
2013,
2013 IEEE 34th Real-Time Systems Symposium.
Wang Yi,
Paul Pettersson,
Fredrik Larsson,
2000,
TACAS.
Wang Yi,
W. Yi,
2004
.
Wang Yi,
2004
.
Wang Yi,
2007
.
Wang Yi,
Huang Lei,
Ramirez David,
2016
.
Wang Yi,
2011
.
Wang Yi,
2011
.
Wang Yi,
2001
.
Wang Yi,
2001
.
Wang Yi,
Liu Jian-zheng,
Xu Xing-Tao,
2014,
2014 IEEE Conference and Expo Transportation Electrification Asia-Pacific (ITEC Asia-Pacific).
Wang Yi,
Guo Gongde,
Kong Xiangzeng,
2012
.
Wang Yi,
Sun Hongliang,
Hou Xingzhe,
2012,
2012 IEEE Global High Tech Congress on Electronics.
Wang Yi,
2003
.
Wang Yi,
Zhang Li-Ping,
Li Gui-Ling,
2009,
2009 International Conference on Wireless Communications & Signal Processing.
Wang Yi,
Qingxu Deng,
Nan Guan,
2013,
2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications.
Wang Yi,
2009
.
Wang Yi,
2004
.
Wang Yi,
He Zhi,
2000
.
Wang Yi,
Jan Reineke,
Reinhard Wilhelm,
2016,
Leibniz Trans. Embed. Syst..
Wang Yi,
2012
.
Wang Yi,
Amagasa Toshiyuki,
Kitagawa Hiroyuki,
2008
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1997,
Proceedings Real-Time Systems Symposium.
Wang Yi,
2010
.
Wang Yi,
2003
.
Wang Yi,
Xue Liu,
Weichen Liu,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Wang Yi,
Ge Yu,
Nan Guan,
2009,
EMSOFT '09.
Wang Yi,
1999
.
Wang Yi,
Bengt Jonsson,
Johan Lilius,
1998,
CONCUR.
Wang Yi,
2007
.
Wang Yi,
Ge Yu,
Zonghua Gu,
2008,
2008 Real-Time Systems Symposium.
Wang Yi,
Martin Stigge,
2012,
2012 24th Euromicro Conference on Real-Time Systems.
Wang Yi,
Cheng Fei,
Li He,
2018,
Systems Science & Control Engineering.
Wang Yi,
K.G. Larsen,
G. Behrmann,
2001,
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
Wang Yi,
2011
.
Wang Yi,
2008
.
Wang Yi,
2011
.
Wang Yi,
1999
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1997,
CAV.
Wang Yi,
Xu Dianguo,
Wang Liguo,
2011,
2011 6th IEEE Conference on Industrial Electronics and Applications.
Wang Yi,
2009
.
Wang Yi,
Du Chenglie,
Li Kuan,
2020,
2020 International Conference on Communications, Information System and Computer Engineering (CISCE).
Wang Yi,
Xu Dianguo,
Zhao Kaiqi,
2003,
IECON'03. 29th Annual Conference of the IEEE Industrial Electronics Society (IEEE Cat. No.03CH37468).
Wang Yi,
Bo Zhang,
Mingxuan Mao,
2019
.
Wang Yi,
Nan Guan,
Zhishan Guo,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Wang Yi,
Jing Wen,
Zhong An Jiang,
2012
.
Wang Yi,
2005
.
Wang Yi,
Morteza Mohaqeqi,
Jakaria Abdullah,
2017,
Ada-Europe.
Wang Yi,
2005
.
Wang Yi,
2004
.
Wang Yi,
Han Yingduo,
Min Yong,
1991
.
Wang Yi,
Xue Liu,
Weichen Liu,
2018,
ACM Trans. Embed. Comput. Syst..
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
2011,
Softw. Pract. Exp..
Wang Yi,
2004
.
Wang Yi,
2007
.
Wang Yi,
Liu Jun,
2006
.
Wang Yi,
Bengt Jonsson,
W. Yi,
2002,
Theor. Comput. Sci..
Wang Yi,
Gang Chen,
Todor Stefanov,
2017,
IEEE Transactions on Computers.
Wang Yi,
Guo Rong,
Cheng Guangxu,
2006,
ICMA 2006.
Wang Yi,
David Pommerenke,
Wang Heng,
2016,
2016 IEEE International Symposium on Electromagnetic Compatibility (EMC).
Wang Yi,
Kim G. Larsen,
Gerd Behrmann,
2002,
10th Anniversary Colloquium of UNU/IIST.
Wang Yi,
Dawu Gu,
2001,
OPSR.
Wang Yi,
2014
.
Wang Yi,
W. Yi,
2004
.
Wang Yi,
2004
.
Wang Yi,
Liu Yan,
Wang Ren,
2017
.
Wang Yi,
Changqing Xia,
Qingxu Deng,
2014,
Int. J. Distributed Sens. Networks.
Wang Yi,
Wang Yi,
2012
.
Wang Yi,
2003
.
Wang Yi,
W. Yi,
1991,
ICALP.
Wang Yi,
2004
.
Wang Yi,
2007
.
Wang Yi,
2010
.
Wang Yi,
Philipp Rümmer,
Hossein Hojjat,
2014,
HCVS.
Wang Yi,
2011
.
Wang Yi,
2012
.
Wang Yi,
Kim G. Larsen,
Justin Pearson,
1998,
CAV.
Wang Yi,
Wang Liang,
2001
.
Wang Yi,
Zhu Huangqiu,
Cao Li,
2012,
Proceedings of the 31st Chinese Control Conference.
Wang Yi,
Xia Jing,
Jin Xinqiao,
2000
.
Wang Yi,
2000
.
Wang Yi,
Chen Lei,
Shi Zhenyu,
2019
.
Wang Yi,
Zhu Huangqiu,
Cao Li,
2012,
Proceedings of the 31st Chinese Control Conference.
Wang Yi,
Fu Xing-hua,
Wang Dai-qiang,
2008,
2008 2nd International Conference on Anti-counterfeiting, Security and Identification.
Wang Yi,
Xue Liu,
Nan Guan,
2016,
e-Energy.
Wang Yi,
Pontus Ekberg,
W. Yi,
2013,
Real-Time Systems.
Wang Yi,
Li Ning-bo,
Yu Shen,
2009
.
Wang Yi,
2002
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1995,
Proceedings 16th IEEE Real-Time Systems Symposium.
Wang Yi,
Nan Guan,
W. Yi,
2013,
2013 IEEE 34th Real-Time Systems Symposium.
Wang Yi,
Jiang Han-hong,
Xing Pengxiang,
2018
.
Wang Yi,
2009
.
Wang Yi,
Björn Victor,
B. Victor,
2004
.
Wang Yi,
Johan Bengtsson,
J. Bengtsson,
2003,
Lectures on Concurrency and Petri Nets.
Wang Yi,
Huimin Lin,
2002,
Acta Informatica.
Wang Yi,
Nan Guan,
Mingsong Lv,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Wang Yi,
2008
.
Wang Yi,
Morteza Mohaqeqi,
Pontus Ekberg,
2016,
RTNS '16.
Wang Yi,
Nan Guan,
2012,
2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum.
Wang Yi,
Kim Guldstrand Larsen,
Paul Pettersson,
2003
.
Wang Yi,
Chen Liang,
Gong Yuan,
2012,
Proceedings of the 31st Chinese Control Conference.
Wang Yi,
P. S. Thiagarajan,
Leonid Mokrushin,
2004,
CONCUR.
Wang Yi,
2006
.
Wang Yi,
2009
.
Wang Yi,
Yi Zhang,
Nan Guan,
2014,
2014 12th IEEE International Conference on Embedded and Ubiquitous Computing.
Wang Yi,
Jun Sun,
Jin Song Dong,
2004,
ICFEM.
Wang Yi,
Zhenji Zhang,
Xiaoquan Gong,
2011,
ICEIS.
Wang Yi,
Yin Jie,
Qiu Yunfeng,
2011,
IEEE 2011 10th International Conference on Electronic Measurement & Instruments.
Wang Yi,
Yu Hui,
Zheng Chongxun,
2005,
Proceedings. 2005 First International Conference on Neural Interface and Control, 2005..
Wang Yi,
Dong Xing,
Jia Yubo,
2011,
2011 Second International Conference on Networking and Distributed Computing.
Wang Yi,
Alexandre David,
2000,
Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.
Wang Yi,
2008
.
Wang Yi,
Kim G. Larsen,
Justin Pearson,
1998,
Nord. J. Comput..
Wang Yi,
2012
.
Wang Yi,
2009
.
Wang Yi,
2001
.
Wang Yi,
2005
.
Wang Yi,
2010
.
Wang Yi,
Morteza Mohaqeqi,
Pontus Ekberg,
2017,
ECRTS.
Wang Yi,
Wenyao Xu,
Chen Song,
2016,
IEEE Sensors Journal.
Wang Yi,
2005
.
Wang Yi,
2003
.
Wang Yi,
Paul Pettersson,
Elena Fersman,
2007,
Inf. Comput..
Wang Yi,
Geng Yuyu,
Lin Fei,
2019,
2019 IEEE PELS Workshop on Emerging Technologies: Wireless Power Transfer (WoW).
Wang Yi,
2010
.
Wang Yi,
Zhao Ming-fu,
Ye Bin-qiang,
2011,
2011 International Conference on Multimedia Technology.
Li Ming,
Wang Yi,
Lin Fei,
2020,
2020 IEEE 3rd International Conference on Electronics Technology (ICET).
Wang Yi,
2003
.
Wang Yi,
1999
.
Wang Yi,
Fan Yang,
Naiting Xu,
2019
.
Wang Yi,
Shen Tao,
Wang Ping,
2013
.
Wang Yi,
2000
.
Wang Yi,
Qingxu Deng,
Nan Guan,
2014,
2014 IEEE Real-Time Systems Symposium.
Wang Yi,
2010
.
Wang Yi,
Kim G. Larsen,
K. Larsen,
1992,
PSTV.
Wang Yi,
1988,
Specification and Verification of Concurrent Systems.
Wang Yi,
2008
.
Wang Yi,
Chun Jason Xue,
Nan Guan,
2015,
2015 IEEE Real-Time Systems Symposium.
Wang Yi,
Hu Dan,
Wang Changjun,
2016
.
Wang Yi,
Miaomiao Zhang,
Naijun Zhan,
2018,
HSCC.
Wang Yi,
Jiang Ping,
Luo Yahui,
2014
.
Wang Yi,
Paul Pettersson,
Leonid Mokrushin,
2003,
FORMATS.
Wang Yi,
Yi Zhang,
Nan Guan,
2011,
PPES.
Wang Yi,
Pavel Krcál,
2006,
CAV.
Wang Yi,
Pontus Ekberg,
W. Yi,
2015,
2015 27th Euromicro Conference on Real-Time Systems.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
CAV.
Wang Yi,
Qingxu Deng,
Nan Guan,
2016,
J. Syst. Archit..
Wang Yi,
2013
.
Wang Yi,
2006
.
Wang Yi,
Martin Stigge,
2015,
Real-Time Systems.
Nan Guan,
Wang Yi,
Feng Li,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Wang Yi,
Wang Jian,
Shangguan Wei,
2016,
2016 International Conference on Electromagnetics in Advanced Applications (ICEAA).
Wang Yi,
Sun Li-ling,
Yang Pu,
2012
.
Wang Yi,
Pontus Ekberg,
2015,
Real-Time Systems.
Wang Yi,
Li Jingzhong,
Wang Qinghao,
2016,
2016 China International Conference on Electricity Distribution (CICED).
Wang Yi,
Liu Yongjun,
Zhang Mingxin,
2017,
2017 14th Web Information Systems and Applications Conference (WISA).
Wang Yi,
Csr Meishan,
2010
.
Wang Yi,
Ge Yu,
Yu Gu,
2014,
Proc. VLDB Endow..
Wang Yi,
2005
.
Wang Yi,
Zhang Gan,
2005
.
Wang Yi,
Zhang Ping,
Li Lihua,
2007,
2007 IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications.
Wang Yi,
2008
.
Wang Yi,
Sun Qiucheng,
Liu Ming,
2011,
IEEE 2011 10th International Conference on Electronic Measurement & Instruments.
Wang Yi,
2004
.
Wang Yi,
2010
.
Wang Yi,
2001
.
Wang Yi,
Xu Dianguo,
Wang Liguo,
2011,
2011 6th IEEE Conference on Industrial Electronics and Applications.
Wang Yi,
Wang Jie,
Xie Bo,
2016
.
Wang Yi,
Kim G. Larsen,
Gerd Behrmann,
2003,
SPIN.
Wang Yi,
Martin Stigge,
W. Yi,
2015,
Real-Time Systems.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
TAPSOFT.
Wang Yi,
2006
.
Wang Yi,
2011
.
Wang Yi,
Li Cunbin,
2012,
2012 IEEE Symposium on Robotics and Applications (ISRA).
Wang Yi,
Li Haifeng,
Hou Junxian,
2016,
2016 IEEE PES Asia-Pacific Power and Energy Engineering Conference (APPEEC).
Wang Yi,
Kim Guldstrand Larsen,
Paul Pettersson,
1996
.
Wang Yi,
Morteza Mohaqeqi,
Nan Guan,
2016,
2016 28th Euromicro Conference on Real-Time Systems (ECRTS).
Wang Yi,
Jifeng He,
Geguang Pu,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Wang Yi,
1999
.
Wang Yi,
Gao Qing-xuan,
2009
.
Wang Yi,
Zhong An Jiang,
2012
.
Wang Yi,
2006
.
Wang Yi,
W. Yi,
2017,
ICFEM.
Wang Yi,
Bin Ran,
Rong Hu,
2019,
Physica A: Statistical Mechanics and its Applications.
Wang Yi,
Nan Guan,
Mingsong Lv,
2018,
2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES).
Wang Yi,
Wang Yaonan,
Huang Shoudao,
2004,
The 4th International Power Electronics and Motion Control Conference, 2004. IPEMC 2004..
Wang Yi,
Donglin Su,
Liao Yi,
2008,
2008 8th International Symposium on Antennas, Propagation and EM Theory.
Wang Yi,
Yang Wang,
Nan Guan,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Wang Yi,
Jiang Ping,
Luo Yahui,
2011,
2011 Fourth International Conference on Intelligent Computation Technology and Automation.
Wang Yi,
Mingsong Lv,
Jiesheng Zheng,
2019,
2019 IEEE 37th International Conference on Computer Design (ICCD).
Wang Yi,
2007
.
Wang Yi,
2005
.
Wang Yi,
2007
.
Wang Yi,
Xiao Jiangwen,
Yuan Tianqi,
2012,
Proceedings of the 31st Chinese Control Conference.
Wang Yi,
Xu Ao,
Chen Zhikun,
2016
.
Wang Yi,
2007
.
Wang Yi,
Li Jun,
Wang Ting,
2019,
2019 4th IEEE Workshop on the Electronic Grid (eGRID).
Wang Yi,
2008
.
Wang Yi,
Dong Ji,
Mingsong Lv,
2020,
IEEE Access.
Wang Yi,
Lin Fu,
2001
.
Wang Yi,
2011
.
Wang Yi,
Hai-Jiang Du,
Xin-Chun Shi,
2002,
Proceedings. International Conference on Power System Technology.
Wang Yi,
Qingxu Deng,
Nan Guan,
2014,
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014).
Wang Yi,
2013
.
Wang Yi,
2013
.
Wang Yi,
Wang Nan,
Chen Changzheng,
2005,
2005 International Conference on Electrical Machines and Systems.
Wang Yi,
Yang Wang,
Nan Guan,
2017,
2017 IEEE Real-Time Systems Symposium (RTSS).
Wang Yi,
Nan Guan,
Pontus Ekberg,
2011,
2011 23rd Euromicro Conference on Real-Time Systems.
Wang Yi,
Xu Zhong-yu,
Liao Hao,
2011,
2011 6th International Conference on Computer Science & Education (ICCSE).
Wang Yi,
2011
.
Wang Yi,
Ge Yu,
Qingxu Deng,
2011,
ATVA.
Wang Yi,
2009
.
Wang Yi,
Kim G. Larsen,
Bertrand Jeannet,
2000,
MOVEP.
Wang Yi,
2000
.
Wang Yi,
Nan Guan,
Pontus Ekberg,
2011,
2011 23rd Euromicro Conference on Real-Time Systems.
Wang Yi,
Pontus Ekberg,
W. Yi,
2012,
2012 24th Euromicro Conference on Real-Time Systems.
Wang Yi,
2011,
IEEM 2011.
Wang Yi,
Qi Xiao,
2000
.
Wang Yi,
2008
.
Wang Yi,
Yang Wang,
Nan Guan,
2021,
IEEE Transactions on Parallel and Distributed Systems.
Wang Yi,
Morteza Mohaqeqi,
Gaoyang Dai,
2021,
2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Wang Yi,
Nan Guan,
Guozhen Tan,
2021,
ACM Trans. Embed. Comput. Syst..
Wang Yi,
Xu Jiang,
Yue Tang,
2021,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Wang Yi,
Kim Guldstrand Larsen,
Paul Pettersson,
1996,
TACAS.
Wang Yi,
Kim G. Larsen,
Justin Pearson,
1998
.
Wang Yi,
Nan Guan,
Pontus Ekberg,
2013
.
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1995
.
Wang Yi,
Ge Yu,
Nan Guan,
2010
.
Wang Yi,
Justin Pearson,
Carsten Weise,
1999
.
Wang Yi,
Kim Guldstrand Larsen,
Paul Pettersson,
1997
.
Wang Yi,
Ge Yu,
Qingxu Deng,
2010
.
Wang Yi,
Martin Stigge,
W. Yi,
2013
.