Follow
Xiaohong Chen
Xiaohong Chen
PhD Student
Verified email at illinois.edu - Homepage
Title
Cited by
Cited by
Year
Matching mu-Logic
X Chen, G Rosu
Logics in Computer Science, 2019
302019
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
192016
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
142018
Matching logic explained
X Chen, D Lucanu, G Roşu
Journal of Logical and Algebraic Methods in Programming 120, 100638, 2021
122021
A language-independent program verification framework
X Chen, G Roşu
International Symposium on Leveraging Applications of Formal Methods, 92-102, 2018
122018
A general approach to define binders using matching logic
X Chen, G Roşu
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-32, 2020
112020
Applicative matching logic
X Chen, G Roşu
112019
Towards a unified proof framework for automated fixpoint reasoning using matching logic
X Chen, MT Trinh, N Rodrigues, L Peña, G Roşu
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
102020
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
92016
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
92014
Towards a trustworthy semantics-based language framework via proof generation
X Chen, Z Lin, MT Trinh, G Roşu
International Conference on Computer Aided Verification, 477-499, 2021
72021
Matching mu-Logic: Foundation of K Framework
X Chen, G Rosu
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), 2019
72019
Model-Driven Design of Object and Component Systems
Z Liu, X Chen
Engineering Trustworthy Software Systems: First International School, SETSS …, 2016
62016
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
52015
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
42017
—A Semantic Framework for Programming Languages and Formal Analysis
X Chen, G Roşu
International Summer School on Engineering Trustworthy Software Systems, 122-158, 2019
32019
Trustworthy program verification via proof generation
Z Lin, X Chen, MT Trinh, J Wang, G Rosu
12021
Connecting constrained constructor patterns and matching logic
X Chen, D Lucanu, G Roşu
International Workshop on Rewriting Logic and its Applications, 19-37, 2020
12020
SETSS’19 lecture notes on K
X Chen, G Rosu
Engineering Trustworthy Software Systems, Lecture Notes in Computer Science …, 2019
12019
Mechanizing Matching Logic in Coq
P Bereczky, X Chen, D Horpácsi, TB Mizsei, L Peña
arXiv preprint arXiv:2201.05716, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20