# Difference between revisions of "Xiaohong Chen"

From FSL

Line 2: | Line 2: | ||

{{Header | Research Interests and Ongoing Research Projects}} | {{Header | Research Interests and Ongoing Research Projects}} | ||

− | * Formal | + | * Formal aspects of programming languages |

− | ** Separation | + | ** Separation logic as a sub-logic of matching logic |

− | ** Rewriting | + | ** Rewriting logic |

− | * Automated | + | * Automated programs verification methods |

− | ** Bounded | + | ** Bounded model checking with the [http://www.kframework.org/ K framework] |

** Automated theorem proving | ** Automated theorem proving | ||

## Revision as of 18:11, 2 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)*