Patents by Inventor Daniel Prun

Daniel Prun 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).

  • Method, software and processing unit for verifying properties of interactive components
    Patent number: 10866878
    Abstract: The invention relates to the verification of properties of an interactive component having a recursive tree structure of subcomponents. The verification comprises creating an oriented graph from the tree, said oriented graph comprising arcs for the child relationships of the tree, and arcs for couplings creating upon couplings between the components. The verification comprises creating a second graph representative of the property, and verifying if the second graph is exhibited within the first oriented graph.
    Type: Grant
    Filed: June 17, 2016
    Date of Patent: December 15, 2020
    Assignee: ECOLE NATIONALE DE L'AVIATION CIVILE
    Inventors: Stéphane Chatty, Mathieu Magnaudet, Daniel Prun