Issued Patents All Time
Showing 51–58 of 58 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8423966 | Using atomic sets of memory locations | Frank Tip, Mandana Vaziri | 2013-04-16 |
| 8387018 | Fault localization using directed test generation | Shay Artzi, Marco Pistoia, Frank Tip | 2013-02-26 |
| 8141054 | Dynamic detection of atomic-set-serializability violations | Christian J. Hammer, Frank Tip, Mandana Vaziri-Farahani | 2012-03-20 |
| 8132150 | Automatic customization of classes | Bjorn De Sutter, Frank Tip | 2012-03-06 |
| 8122430 | Automatic customization of classes | Bjorn De Sutter, Frank Tip | 2012-02-21 |
| 7904401 | Scaleable ontology reasoning to explain inferences made by a tableau reasoner | Aditya A. Kalyanpur, Aaron Kershenbaum, Achille B. Fokoue-Nkoutche, Li Ma, Edith Schonberg +1 more | 2011-03-08 |
| 7716645 | Using atomic sets of memory locations | Frank Tip, Mandana Vaziri | 2010-05-11 |
| 7356802 | Automatic customization of classes | Bjorn De Sutter, Frank Tip | 2008-04-08 |