Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8930911 | Execution difference identification tool | Maxwell O. Drukman, Stephen Richard Lewallen | 2015-01-06 |
| 8423982 | Speculative compilation | Stephen Naroff, Matthew H. Austern, Fariborz Jahanian, Stan Jirman, P. Anders I. Bertelrud | 2013-04-16 |
| 8255876 | Execution difference identification tool | Maxwell O. Drukman, Stephen Richard Lewallen | 2012-08-28 |
| 8116179 | Simultaneous viewing of multiple tool execution results | Stephen Richard Lewallen, Maxwell O. Drukman | 2012-02-14 |
| 8086904 | Event-based setting of process tracing scope | Stephen Richard Lewallen, Maxwell O. Drukman | 2011-12-27 |
| 7877738 | Speculative compilation | Stephen Naroff, Matthew H. Austern, Fariborz Jahanian, Stan Jirman, P. Anders I. Bertelrud | 2011-01-25 |
| 6957334 | Method and system for secure guaranteed transactions over a computer network | Paul Rubin | 2005-10-18 |
| 6474544 | Electronic vault for use in processing smart product transactions | Rinaldo Salvatore Di Giorgio, Diana Neiman, Michael S. Bender | 2002-11-05 |
| 6378075 | Trusted agent for electronic commerce | Ronald Martinez, Paul Rubin | 2002-04-23 |
| 6341353 | Smart electronic receipt system | Gary Herman, Ronald Martinez | 2002-01-22 |
| 6216227 | Multi-venue ticketing using smart cards | Jonathan Ziegler | 2001-04-10 |
| 6138235 | Controlling access to services between modular applications | Efrem Lipkin | 2000-10-24 |
| 6131165 | Permit for controlling access to services in protected memory systems | Efrem Lipkin | 2000-10-10 |
| 5761511 | Method and apparatus for a type-safe framework for dynamically extensible objects | Jonathan J. Gibbons, Michael Day, Michael J. Jordan | 1998-06-02 |
| 5590331 | Method and apparatus for generating platform-standard object files containing machine-independent code | Brian T. Lewis | 1996-12-31 |