Inventors list |
Assignees list |
Classification tree browser |
Top 100 Inventors |
Top 100 Assignees |
Godefroid
Alain Joseph Jose Godefroid, Meix Le Tige BE
| Patent application number | Description | Published |
|---|---|---|
| 20100186860 | TREAD FOR A RADIAL MEDIUM TRUCK TIRE - A pneumatic tire includes a casing and a tread. A set of first sipes of a first rib extend both axially and circumferentially from a first groove toward an edge of the tread. A set of second sipes of a second rib extend both axially and circumferentially from both the first groove toward a centerline of the tread and from a second groove toward an edge of the tread. A set of third sipes of a third rib extends both axially and circumferentially from both the second groove toward the centerline of the tread and from a third groove toward the centerline of the tread. A set of fourth sipes of a fourth rib extends both axially and circumferentially from both the third groove toward an edge of the tread and from a fourth groove toward the centerline of the tread. A set of fifth sipes of a fifth rib extends both axially and circumferentially from the fourth groove toward an edge of the tread. | 07-29-2010 |
Alain Joseph Jose Godefroid, Meix-Ie-Tige BE
| Patent application number | Description | Published |
|---|---|---|
| 20100132859 | TIRE WITH ELECTRICALLY NON-CONDUCTIVE TREAD WHICH CONTAINS ELECTRICALLY CONDUCTIVE RUBBER STRIP - The invention relates to a tire having tread of a cap/base configuration. The tread contains a thin electrically conductive rubber strip in the form of an extension of said tread base rubber layer which extends radially outward from the tread base rubber layer through an electrically resistive tread cap rubber layer to and including its running surface circumferentially around the tread to thereby provide a path of electrical conductivity through the tread cap layer to its running surface. The composite of the electrically non-conductive tread cap rubber layer and electrically conductive strip at the running surface of the tire tread have a similar abradability. | 06-03-2010 |
Patrice Godefroid, Mercer Island, WA US
| Patent application number | Description | Published |
|---|---|---|
| 20090265692 | ACTIVE PROPERTY CHECKING - An exemplary method includes providing software for testing; during execution of the software, performing a symbolic execution of the software to produce path constraints; injecting issue constraints into the software where each issue constraint comprises a coded formula; solving the constraints using a constraint solver; based at least in part on the solving, generating input for testing the software; and testing the software using the generated input to check for violations of the injected issue constraints. Such a method can actively check properties of the software. Checking can be performed on a path for a given input using a constraint solver where, if the check fails for the given input, the constraint solver can also generate an alternative input for further testing of the software. Various exemplary methods, devices, systems, etc., are disclosed. | 10-22-2009 |
| 20100251221 | COMBINATION MAY-MUST CODE ANALYSIS - A method of analyzing a computer application is disclosed. The method may break an application into components and the method may determine if the components have already been analyzed for errors, either through static analysis or by a code analysis. If the component has already been analyzed, the previous analysis may be used and the method may move on to the next code section. If the component has not been analyzed, it may be determined if the component may be reached from a given starting point. If the component cannot be reached from a given starting point, the component may not be analyzed. Both static and code testing tools may be used to determine if errors exist. The fined-grained coupling and alternation of may (universal) and must (existential) summaries allow the method to easily navigate through these code fragments while traditional may-only, must-only or non-compositional may-must al-gorithms are stuck in their specific analyses. | 09-30-2010 |