Chao Wang

发表

Chao Wang, Georg Weissenbacher, Mitra Tabaei Befrouei, 2016, FM 2016.
Chao Wang, Nishant Sinha, Chao Wang, 2010, FSE '10.
Malay K. Ganai, M. Ganai, Aarti Gupta, 2008 .
Chao Wang, Markus Kusano, Chao Wang, 2017, ESEC/SIGSOFT FSE.
Chao Wang, Zijiang Yang, Shengjian Guo, 2018, IEEE Transactions on Software Engineering.
Chao Wang, Lu Zhang, Arijit Chattopadhyay, 2015, IEEE Transactions on Software Engineering.
Jian Liu, Chao Wang, Chen Zhao, 2015, TODE.
Yang Liu, Chao Wang, Shao Jie Zhang, 2013, International Journal on Software Tools for Technology Transfer.
Chao Wang, Georg Weissenbacher, Mitra Tabaei Befrouei, 2014, Formal Methods in System Design.
Chao Wang, Aarti Gupta, Malay K. Ganai, 2009, Formal Aspects of Computing.
Sriram Sankaranarayanan, Chao Wang, Weihong Li, 2010, Formal Methods in Computer Aided Design.
Chao Wang, Zijiang Yang, Aarti Gupta, 2009, TODE.
Yu Yang, Chao Wang, Ganesh Gopalakrishnan, 2008, ATVA.
Chao Wang, Aarti Gupta, Malay K. Ganai, 2006, SFM.
Chao Wang, Zijiang Yang, Vineet Kahlon, 2005, 2005 International Conference on Computer Design.
Chao Wang, Aarti Gupta, Mahmoud Said, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Constantin Enea, Chao Wang, Gustavo Petri, 2019, PLDI.
Chao Wang, Weihong Li, Malay K. Ganai, 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Chao Wang, Fang Yu, Tevfik Bultan, 2008, SIGSOFT '08/FSE-16.
Chao Wang, Zijiang Yang, Aarti Gupta, 2007, TODE.
Chao Wang, Zijiang Yang, Aarti Gupta, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Chao Wang, Zijiang Yang, Aarti Gupta, 2006, Proceedings of the Design Automation & Test in Europe Conference.
Chao Wang, Zijiang Yang, Aarti Gupta, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Chao Wang, Markus Kusano, Arijit Chattopadhyay, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Chao Wang, Shengjian Guo, Markus Kusano, 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Chao Wang, Markus Kusano, Chao Wang, 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Chao Wang, Zijiang Yang, Karem A. Sakallah, 2011, NASA Formal Methods.
Chao Wang, Lu Zhang, Arijit Chattopadhyay, 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Chao Wang, Markus Kusano, Chao Wang, 2016, SIGSOFT FSE.
Chao Wang, Markus Kusano, Naling Zhang, 2015, PLDI.
Chao Wang, Nishant Sinha, Chao Wang, 2011, POPL '11.
Chao Wang, Zijiang Yang, Vineet Kahlon, 2008, TACAS.
Chao Wang, Zijiang Yang, Aarti Gupta, 2015, ESEC/SIGSOFT FSE.
Jian Liu, Chao Wang, Chen Zhao, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).
Chao Wang, Lin Cheng, Zijiang Yang, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Chao Wang, Sepideh Khoshnood, Markus Kusano, 2015, ISSTA.
Chao Wang, Markus Kusano, Chungha Sung, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Chao Wang, Lu Zhang, Chao Wang, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Swarat Chaudhuri, Yu Yang, Chao Wang, 2009, ESEC/FSE '09.
Chao Wang, Bettina Könighofer, Roderick Bloem, 2015, TACAS.
Sharad Malik, Chao Wang, Arnab Sinha, 2011, Haifa Verification Conference.
Sharad Malik, Chao Wang, Arnab Sinha, 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).