Xiaohong Chen
Xiaohong Chen
PhD Student
Verified email at illinois.edu - Homepage
TitleCited byYear
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems
E Palomar, X Chen, Z Liu, S Maharjan, JP Bowen
Sensors 16 (11), 1810, 2016
Towards concolic testing for hybrid systems
P Kong, Y Li, X Chen, J Sun, M Sun, J Wang
The 21st International Symposium on Formal Methods (FM'16) 9995, 2016
A framework for off-line conformance testing of timed connectors
S Li, X Chen, Y Wang, M Sun
The 9th International Symposium on Theoretical Aspects of Software …, 2015
A Hybrid Model of Connectors in Cyber-Physical Systems
X Chen, J Sun, M Sun
The 16th international conference on formal engineering methods (ICFEM'14 …, 2014
A language-independent approach to smart contract verification
X Chen, D Park, G Roşu
International Symposium on Leveraging Applications of Formal Methods, 405-413, 2018
Improving probability estimation through active probabilistic model learning
J Wang, X Chen, J Sun, S Qin
International Conference on Formal Engineering Methods, 379-395, 2017
A language-independent program verification framework
X Chen, G Roşu
International Symposium on Leveraging Applications of Formal Methods, 92-102, 2018
Automated Prototype Generation from Formal Requirements Model
Y Yang, X Li, Z Liu, W Ke, Q Zu, X Chen
arXiv preprint arXiv:1808.10657, 2018
Model-Driven Design of Object and Component Systems
Z Liu, X Chen
Engineering Trustworthy Software Systems: First International School, SETSS …, 2016
Formalisable Object-Oriented and Component-Based Modelling and Design
Z Liu, X Chen
The system can't perform the operation now. Try again later.
Articles 1–10