Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 12229549 | Scalable code testing and benchmarking | Julian Thome, Isaac Dawson, Dinesh Bolkensteyn, Michael Henriksen, Mark Art | 2025-02-18 | |
| 12086271 | Vulnerability tracking using smatch values of scopes | Julian Thome, Lucas Charles | 2024-09-10 | $93,221,000 |
| 11983091 | Adaptively generated program model | Julian Thome, Isaac Dawson, Zach Rice, Daniel Searles, Lucas Charles +4 more | 2024-05-14 | |
| 11868482 | Vulnerability tracing using scope and offset | Julian Thome, Lucas Charles | 2024-01-09 | $105,670,000 |
| 8321370 | Method and system for translating logical constraints to linear constraints | Sidnie Feit | 2012-11-27 |