Ball; Thomas J

Patent Applications and Registrations

Patent applications and USPTO patent grants for Ball; Thomas J.The latest application filed is for "processing predicates including pointer information".

Company Profile

0.24.11

Ball; Thomas J - Mercer Island WA US
Ball; Thomas J. - Mercer Island WA
Ball; Thomas J. - Naperville IL

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Prioritizing quality improvements to source code Grant 8,627,287 - Fanning , et al. January 7, 2	2014-01-07
Processing predicates including pointer information Grant 8,595,707 - Bounimova , et al. November 26, 2	2013-11-26
Program analysis through predicate abstraction and refinement Grant 8,402,444 - Ball , et al. March 19, 2	2013-03-19
Automatic and systematic detection of race conditions and atomicity violations Grant 8,185,874 - Ball , et al. May 22, 2	2012-05-22
Processing Predicates Including Pointer Information App 20110161937 - Bounimova; Eleonora O. ; et al.	2011-06-30
Program Analysis Through Predicate Abstraction And Refinement App 20110088016 - Ball; Thomas J. ; et al.	2011-04-14
Method for enhancing program analysis Grant 7,757,219 - Ball , et al. July 13, 2	2010-07-13
System and method for generating a predicate abstraction of a program Grant 7,657,867 - Ball , et al. February 2, 2	2010-02-02
Predicate abstraction via symbolic decision procedures Grant 7,587,707 - Ball , et al. September 8, 2	2009-09-08
Predicate-based test coverage and generation Grant 7,584,455 - Ball September 1, 2	2009-09-01
Prioritizing Quality Improvements To Source Code App 20090144698 - Fanning; Michael C. ; et al.	2009-06-04
Automatic And Systematic Detection Of Race Conditions And Atomicity Violations App 20080109641 - Ball; Thomas J. ; et al.	2008-05-08
Predicate abstraction via symbolic decision procedures App 20070005633 - Ball; Thomas J. ; et al.	2007-01-04
System and method for generating a predicate abstraction of a program Grant 7,058,925 - Ball , et al. June 6, 2	2006-06-06
System and method for generating a predicate abstraction of a program App 20050235257 - Ball, Thomas J. ; et al.	2005-10-20
Predicate-based test coverage and generation App 20050229044 - Ball, Thomas J.	2005-10-13
Method for enhancing program analysis App 20050149904 - Ball, Thomas J. ; et al.	2005-07-07
Methods for enhancing program analysis Grant 6,904,590 - Ball , et al. June 7, 2	2005-06-07
User interface for translating natural language inquiries into database queries and data presentations Grant 6,701,294 - Ball , et al. March 2, 2	2004-03-02
System and method for generating a predicate abstraction of a program App 20030204834 - Ball, Thomas J. ; et al.	2003-10-30
Method and apparatus for providing interactive services with multiple interfaces Grant 6,609,089 - Ball , et al. August 19, 2	2003-08-19
Method of providing transfer capability on web-based interactive voice response services Grant 6,600,736 - Ball , et al. July 29, 2	2003-07-29
Identifying changes in on-line data repositories Grant 6,596,030 - Ball , et al. July 22, 2	2003-07-22
Method and apparatus for providing interactive services with multiple interfaces Grant 6,529,863 - Ball , et al. March 4, 2	2003-03-04
Methods for enhancing program analysis App 20020178401 - Ball, Thomas J. ; et al.	2002-11-28
Structured voicemail messages Grant 6,459,774 - Ball , et al. October 1, 2	2002-10-01
Identifying changes in on-line data repositories App 20020120648 - Ball, Thomas J. ; et al.	2002-08-29
Method and apparatus for creating and sending structured voicemail messages Grant 6,393,107 - Ball , et al. May 21, 2	2002-05-21
Method and apparatus for tracking and viewing changes on the web Grant 6,366,933 - Ball , et al. April 2, 2	2002-04-02
Method and apparatus for assembling and presenting structured voicemail messages Grant 6,240,391 - Ball , et al. May 29, 2	2001-05-29
Apparatus for visualizing program slices Grant 6,125,375 - Atkins , et al. September 26, 2	2000-09-26
Querying and navigating changes in web repositories Grant 5,860,071 - Ball , et al. January 12, 1	1999-01-12

uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.

While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.

All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.