Difference between revisions of "Xiaohong Chen"

From FSL
Jump to: navigation, search
Line 2: Line 2:
  
 
{{Header | Research Interests and Ongoing Research Projects}}
 
{{Header | Research Interests and Ongoing Research Projects}}
* Formal Semantics of Programming Languages
+
* Formal aspects of programming languages
** Separation Logic as a Sub-Logic of Matching Logic
+
** Separation logic as a sub-logic of matching logic
** Rewriting Logic
+
** Rewriting logic
* Automated Programs Verification Methods
+
* Automated programs verification methods
** Bounded Model Checking with the [http://www.kframework.org/ K framework]
+
** 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

Xiaohong Chen

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

Variants
Actions
Navigation