Issued Patents All Time
Showing 1–13 of 13 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10771492 | Enterprise graph method of threat detection | Efim Hudis, Michal Braverman-Blumenstyk, Daniel Alon, Hani Hana Neuvirth, Royi Ronen | 2020-09-08 |
| 10380008 | Identifying implicit assumptions associated with a software product | Rui WANG, Yuchen Zhou, Shuo Chen, Shaz Qadeer | 2019-08-13 |
| 9547664 | Selecting candidate rows for deduplication | Yaron Zinar, Efim Hudis, Yifat Orlin, Gal Novik, Gad Peleg | 2017-01-17 |
| 9514415 | Method and system for decomposing single-qubit quantum circuits into a discrete basis | Alexei Bocharov, Krysta Svore | 2016-12-06 |
| 9372785 | Identifying implicit assumptions associated with a software product | Rui WANG, Yuchen Zhou, Shuo Chen, Shaz Qadeer | 2016-06-21 |
| 8719236 | Selecting candidate rows for deduplication | Yaron Zinar, Efim Hudis, Yifat Orlin, Gal Novik, Gad Peleg | 2014-05-06 |
| 8468505 | State as a first-class citizen of an imperative language | Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann | 2013-06-18 |
| 8117173 | Efficient chunking algorithm | Nikolaj S. Bjorner, Dan Teodosiu | 2012-02-14 |
| 7584463 | State as a first-class citizen of an imperative language | Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann | 2009-09-01 |
| 7555531 | Efficient algorithm and protocol for remote differential compression | Dan Teodosiu, Nikolaj S. Bjørner, Patrick E. Bozeman | 2009-06-30 |
| 7493544 | Extending test sequences to accepting states | Andreas Blass, Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett +3 more | 2009-02-17 |
| 7149678 | High level executable network abstract machine | Margus Veanes, Uwe Glässer | 2006-12-12 |
| 7088864 | Generating a test suite from an abstract state machine | Wolfgang Grieskamp, Wolfram Schulte, Margus Veanes | 2006-08-08 |