Search results for: Yang Liu
Science China Information Sciences > 2018 > 61 > 5 > 1-17
IEEE Transactions on Human-Machine Systems > 2016 > 46 > 2 > 197 - 208
Software & Systems Modeling > 2016 > 15 > 2 > 453-471
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 4 > 393-407
IEEE Transactions on Software Engineering > 2015 > 41 > 1 > 3 - 18
Frontiers of Computer Science > 2014 > 8 > 1 > 1-16
IEEE Transactions on Software Engineering > 2014 > 40 > 2 > 137 - 153
Formal Methods in System Design > 2014 > 44 > 2 > 176-202
Real-Time Systems > 2014 > 50 > 5-6 > 620-679
2013 IEEE Ninth World Congress on Services > 306 - 311
IEEE Transactions on Software Engineering > 2013 > 39 > 7 > 1018 - 1039