| 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 |
