Xiaohong Chen
Xiaohong Chen
PhD Student
Verified email at illinois.edu - Homepage
Cited by
Cited by
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
Matching mu-Logic
X Chen, G Rosu
Logics in Computer Science, 2019
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 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 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 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, W Ke, Z Liu
IEEE Transactions on Reliability, 2019
Applicative matching logic
X Chen, G Rosu
Model-Driven Design of Object and Component Systems
Z Liu, X Chen
Engineering Trustworthy Software Systems: First International School, SETSS …, 2016
Matching mu-Logic: Foundation of K Framework
X Chen, G Rosu
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), 2019
Unified Modeling of Active and Reactive Components for Real-Time Systems
Z Shao, J Liu, X Chen, Z Ding, Z Yuan
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
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–14