Issued Patents All Time
Showing 25 most recent of 27 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| D1094345 | Pluggable networking device | Susan Chandler, Shaun Hawkinson | 2025-09-23 |
| D1094346 | Networking device | Susan Chandler, Shaun Hawkinson | 2025-09-23 |
| D1094347 | Network interface device | Susan Chandler, Shaun Hawkinson | 2025-09-23 |
| 9135279 | Mesh-managing data across a distributed set of devices | George P. Moromisato, Noah B. Edelstein, Abhay Parasnis, Raymond E. Ozzie, William D. Devlin +1 more | 2015-09-15 |
| 8954507 | Gathering and using awareness information | Raymond E. Ozzie, George P. Moromisato, Abhay Parasnis, Noah B. Edelstein, William D. Devlin | 2015-02-10 |
| 8364759 | Mesh-managing data across a distributed set of devices | George P. Moromisato, Noah B. Edelstein, Abhay Parasnis, Raymond E. Ozzie, William D. Devlin +1 more | 2013-01-29 |
| 7853669 | Mesh-managing data across a distributed set of devices | George P. Moromisato, Noah B. Edelstein, Abhay Parasnis, Raymond E. Ozzie, William D. Devlin +1 more | 2010-12-14 |
| 7797669 | Analysis of distributed software systems via specification substitution | Niels Jakob Rehof, Sriram K. Rajamani, Charles Antony Richard Hoare, Cedric Fournet | 2010-09-14 |
| 7774219 | Long running transaction integration with selective dehydration and selective compensation | Gregory Meredith, Amit Mital, Arunchallam S. Sivakumar, Donald J. McCrady, Patrick James Helland +1 more | 2010-08-10 |
| 7536606 | Error detection in web services systems | Sriram K. Rajamani, Jakob Rehob | 2009-05-19 |
| 7526750 | Object-based systematic state space exploration of software | Shaz Qadeer, Niels Jakob Rehof, Sriram K. Rajamani, Yichen Xie | 2009-04-28 |
| 7503033 | Model for business workflow processes | Lucius Gregory Meredith, Amit Mital, Marc Levy, Brian C. Beckman | 2009-03-10 |
| 7467371 | Binding for business workflow processes | Lucius Gregory Meredith, Marc Levy, Brian C. Beckman, Bimal Mehta, Mitra Kanchan | 2008-12-16 |
| 7409671 | Model for business workflow processes | Lucius Gregory Meredith, Amit Mital, Marc Levy, Brian C. Beckman | 2008-08-05 |
| 7380166 | Compensation framework for long running transactions | Satish R. Thatte, Lucius Gregory Meredith, Marc Levy, Bimal Mehta, Johannes Klein | 2008-05-27 |
| 7184967 | System and method utilizing a graphical user interface of a business process workflow scheduling program | Amit Mital, Lucius Gregory Meredith, Marc Levy, Brian C. Beckman, Terry J. Myerson | 2007-02-27 |
| 6918053 | Compensation framework for long running transactions | Satish R. Thatte, Lucius Gregory Meredith, Marc Levy, Bimal Mehta, Johannes Klein | 2005-07-12 |
| 6625602 | Method and system for hierarchical transactions and compensation | Lucius Gregory Meredith, Amit Mital, Marc Levy, Brian C. Beckman, Bimal Mehta | 2003-09-23 |
| 6606711 | Object security boundaries | Satish R. Thatte, Richard D. Hill, Rebecca A. Norlander, Alexander A. Armanasu | 2003-08-12 |
| 6604198 | Automatic object caller chain with declarative impersonation and transitive trust | Brian C. Beckman, Alexander A. Armanasu | 2003-08-05 |
| 6574736 | Composable roles | — | 2003-06-03 |
| 6487665 | Object security boundaries | Satish R. Thatte, Richard D. Hill, Rebecca A. Norlander, Alexander A. Armanasu | 2002-11-26 |
| 6385724 | Automatic object caller chain with declarative impersonation and transitive trust | Brian C. Beckman, Alexander A. Armanasu | 2002-05-07 |
| 6301675 | Method for synchronizing reserved areas in a redundant storage array | — | 2001-10-09 |
| 6029254 | Method for synchronizing reserved areas in a redundant storage array | — | 2000-02-22 |