Xiaohong Chen

Research Interests and Ongoing Research Projects

• Formal Semantics of Programming Languages
  • Separation Logic as a Sub-Logic of Matching Logic
  • Rewriting Logic
• Automated Programs Verification Methods
  • Bounded Model Checking with $\mathbb{K}$
  • Automated theorem proving

Publications

• Towards concolic testing for hybrid systems, Proceedings of the 21st International Symposium on Formal Methods (FM'16)
• A framework for off-line conformance testing of timed connectors, Proceedings of the 9th International Symposium on Theoretical Aspects of Software Engineering (TASE'15)
• A hybrid model of connectors in cyber-physical systems, Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM'14)