Issued Patents All Time
Showing 25 most recent of 38 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12395418 | Network verification systems and methods | Ryan Andrew Beckett, Karthick Jayaraman, Neha Milind Raje, Jitendra D. Padhye, Christopher Scott Johnston +8 more | 2025-08-19 |
| 12301288 | Methods for capacity provisioning in wide area networks using optical bypassing | Rachee Singh, Yawei Yin, John Frederick Arnold, Jamie Gaudette | 2025-05-13 |
| 11824727 | Network configuration verification in computing systems | Karthick Jayaraman, Ryan Andrew Beckett | 2023-11-21 |
| 11811646 | Decentralized wide-area network traffic engineering | Umesh Krishnaswamy, Rachee Singh, Himanshu Raj | 2023-11-07 |
| 11516088 | Network configuration verification in computing systems | Karthick Jayaraman, Ryan Andrew Beckett | 2022-11-29 |
| 11342996 | Methods for capacity provisioning in wide area networks using optical bypassing | Rachee Singh, Yawei Yin, John Frederick Arnold, Jamie Gaudette | 2022-05-24 |
| 11121934 | Network verification systems and methods | Ryan Andrew Beckett, Karthick Jayaraman, Neha Milind Raje, Jitendra D. Padhye, Christopher Scott Johnston +8 more | 2021-09-14 |
| 10574536 | Capacity engineering in distributed computing systems | Zhao Cheng, Muhammad Muntazir Mehdi | 2020-02-25 |
| 10411967 | Apparatus, method, and manufacture for cloud network updating | Umesh Krishnaswamy, Muntazir Mehdi | 2019-09-10 |
| 10333794 | Validating routing tables of routing devices | Karthick Jayaraman, Geoffrey Outhred | 2019-06-25 |
| 10241904 | Test components factorization in a build system | Suresh Thummalapenta, Jacek A. Czerwonka, Shuvendu K. Lahiri, August Shi | 2019-03-26 |
| 9900222 | Validating routing tables of routing devices | Karthick Jayaraman, Geoffrey Outhred | 2018-02-20 |
| 9489221 | Matching based pattern inference for SMT solvers | Leonardo M. de Moura | 2016-11-08 |
| 9467473 | System and method for compact form exhaustive analysis of security policies | Karthick Jayaraman, Charles W. Kaufman | 2016-10-11 |
| 9424157 | Early detection of failing computers | Assaf Schuster, Moshe Gabel, Ran Gilad-Bachrach | 2016-08-23 |
| 8819288 | Optimized data stream compression using data-dependent chunking | Nadim Y. Abdo | 2014-08-26 |
| 8677191 | Early detection of failing computers | Assaf Schuster, Moshe Gabel, Ran Gilad-Bachrach | 2014-03-18 |
| 8473895 | Providing diverse solutions using design space exploration | Ethan K. Jackson, Wolfram Schulte, Eunsuk Kang | 2013-06-25 |
| 8387021 | Symbolic runtime checking of quantified contracts | Dries Vanoverberghe, Nikolai Tillmann, Jonathan Paul de Halleux, Wolfram Schulte | 2013-02-26 |
| 8140459 | Relevancy propagation for efficient theory combination | Leonardo M. de Moura | 2012-03-20 |
| 8117173 | Efficient chunking algorithm | Yuri Gurevich, Dan Teodosiu | 2012-02-14 |
| 8103674 | E-matching for SMT solvers | Leonardo M. de Moura | 2012-01-24 |
| 7925476 | Model-based theory combination | Leonardo M. de Moura | 2011-04-12 |
| 7743023 | Scalable file replication and web-based access | Dan Teodosiu, David C. Steere, Muthukaruppan Annamalai, Michael J. Bohlander, Huisheng Liu +1 more | 2010-06-22 |
| 7734817 | Universal naming scheme for peer-to-peer resources | Dan Teodosiu, Markus Breunig | 2010-06-08 |