Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9075997 | Global variable security analysis | Shay Artzi, Ryan Berg, John Peyton, Marco Pistoia, Manu Sridharan +2 more | 2015-07-07 |
| 8656496 | Global variable security analysis | Shay Artzi, Ryan Berg, John Peyton, Marco Pistoia, Manu Sridharan +2 more | 2014-02-18 |
| 8434070 | Generating specifications of client-server applications for static analysis | Shay Artzi, Ryan Berg, John Peyton, Marco Pistoia, Manu Sridharan | 2013-04-30 |
| 8365281 | Determining whether method of computer program is a validator | Takaaki Tateishi, Marco Pistoia, Omer Tripp, Ryan Berg | 2013-01-29 |
| 4573351 | Hub moment sensor for a horizontal rotor aircraft | — | 1986-03-04 |
| 4525698 | Pneumatic switch potentiometer | Arnold S. Louis | 1985-06-25 |