Patents by Inventor Silky Arora

Silky Arora 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).

  • AUTOMATIC MONITOR GENERATION FROM QUANTITATIVE SCENARIO BASED REQUIREMENT SPECIFICATIONS
    Publication number: 20110055797
    Abstract: A method for validating a design model includes generating a requirement in the form of an event sequence chart with quantitative constraints and generating a monitor from the event sequence chart, wherein the monitor is configured to validate the design model with respect to the requirement.
    Type: Application
    Filed: August 26, 2009
    Publication date: March 3, 2011
    Applicant: GM GLOBAL TECHNOLOGY OPERATIONS, INC.
    Inventors: Ambar A. Gakdari, Silky Arora, Ramesh Sethu