Patents by Inventor Yichen Xie

Yichen Xie has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Object-based systematic state space exploration of software
    Patent number: 7526750
    Abstract: The state space of modeled software can be explored using an object-based systematic state explorer. The object-based model can perform well even in light of the complexities of concurrent software. During state space exploration, differences between states can be stored instead of storing a complete copy of the state.
    Type: Grant
    Filed: February 13, 2004
    Date of Patent: April 28, 2009
    Assignee: Microsoft Corporation
    Inventors: Anthony D. Andrews, Shaz Qadeer, Niels Jakob Rehof, Sriram K. Rajamani, Yichen Xie
  • Object-based systematic state space exploration of software
    Publication number: 20050086648
    Abstract: The state space of modeled software can be explored using an object-based systematic state explorer. The object-based model can perform well even in light of the complexities of concurrent software. During state space exploration, differences between states can be stored instead of storing a complete copy of the state.
    Type: Application
    Filed: February 13, 2004
    Publication date: April 21, 2005
    Inventors: Anthony Andrews, Shaz Qadeer, Niels Rehof, Sriram Rajamani, Yichen Xie