Difference between revisions of "Xiaohong Chen"

From FSL
Jump to: navigation, search
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

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)
Personal tools
Namespaces

Variants
Actions
Navigation