Difference between revisions of "Xiaohong Chen"
From FSL
| Line 1: | Line 1: | ||
[[Image:Xiaohong-full.jpg|158px|Xiaohong Chen]] | [[Image:Xiaohong-full.jpg|158px|Xiaohong Chen]] | ||
| − | [[ | + | [[XiaohongTest]] |
{{Header | Research Interests and Ongoing Research Projects}} | {{Header | Research Interests and Ongoing Research Projects}} | ||
Revision as of 22:10, 4 October 2016
| Research Interests and Ongoing Research Projects |
|---|
- Formal aspects of programming languages
- Separation logic as a sub-logic of matching logic
- Rewriting logic
- Automated programs verification methods
- Bounded model checking with the K framework
- 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)
