Difference between revisions of "Xiaohong Chen"
From FSL
| Line 4: | Line 4: | ||
* Formal Semantics of Programming Languages | * Formal Semantics of Programming Languages | ||
** Separation Logic as a Sub-Logic of Matching Logic | ** Separation Logic as a Sub-Logic of Matching Logic | ||
| + | ** Rewriting Logic | ||
* Automated Programs Verification Methods | * Automated Programs Verification Methods | ||
** Bounded Model Checking with <span class="plainlinks">[http://www.kframework.org <math>\mathbb{K}</math>]</span> | ** Bounded Model Checking with <span class="plainlinks">[http://www.kframework.org <math>\mathbb{K}</math>]</span> | ||
| + | ** Automated theorem proving | ||
| + | |||
| + | {{Header | 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)'' | ||
Revision as of 18:07, 2 October 2016
| 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
- Automated theorem proving
- Bounded Model Checking with
| 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)
