Issued Patents All Time
Showing 1–11 of 11 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10229175 | High-throughput extract-transform-load (ETL) of program events for subsequent analysis | Anastasios Argyros, Mayank Bawa | 2019-03-12 |
| 9684554 | System and method for using failure casting to manage failures in a computed system | Mayank Bawa, Anastasios Argyros | 2017-06-20 |
| 9141354 | Advantageous state merging during symbolic analysis | Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur | 2015-09-22 |
| 8966453 | Automatic generation of program execution that reaches a given failure point | Cristian Zamfir | 2015-02-24 |
| 8863096 | Parallel symbolic execution on cluster of commodity hardware | Stefan Bucur, Cristian Zamfir | 2014-10-14 |
| 8849746 | High-throughput extract-transform-load (ETL) of program events for subsequent analysis | Anastasios Argyros, Mayank Bawa | 2014-09-30 |
| 8776026 | System and method for in-vivo multi-path analysis of binary software | Vitaly Chipounov, Volodymyr Kuznetsov | 2014-07-08 |
| 8359495 | System and method for using failure casting to manage failures in computer systems | Mayank Bawa, Anastasios Argyros | 2013-01-22 |
| 8285709 | High-concurrency query operator and method | Neoklis Polyzotis | 2012-10-09 |
| 8156107 | System and method for join-partitioning for local computability of query over shared-nothing clusters | Mayank Bawa, Anastasios Argyros | 2012-04-10 |
| 6785756 | Methods and systems for multi-policy resource scheduling | Harvey Eneman | 2004-08-31 |