Campbell; Colin L.

Patent Applications and Registrations

Patent applications and USPTO patent grants for Campbell; Colin L..The latest application filed is for "symbolic program model compositions".

Company Profile

0.8.7

Campbell; Colin L. - Seattle WA

*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
Symbolic program model compositions Grant 7,926,025 - Campbell , et al. April 12, 2	2011-04-12
Conformance testing of multi-threaded and distributed software systems Grant 7,747,985 - Campbell , et al. June 29, 2	2010-06-29
Generating test cases for software with complex preconditions Grant 7,665,072 - Tillman , et al. February 16, 2	2010-02-16
Diagnosing problems in distributed systems Grant 7,548,911 - Sen , et al. June 16, 2	2009-06-16
Generating finite state machines for software systems with asynchronous callbacks Grant 7,500,149 - Grieskamp , et al. March 3, 2	2009-03-03
Extending test sequences to accepting states Grant 7,493,544 - Blass , et al. February 17, 2	2009-02-17
State exploration using multiple state groupings Grant 7,363,202 - Campbell , et al. April 22, 2	2008-04-22
Symbolic program model compositions App 20070168927 - Campbell; Colin L. ; et al.	2007-07-19
Diagnosing problems in distributed systems App 20060282419 - Sen; Siddhartha ; et al.	2006-12-14
Generating test cases for software with complex preconditions App 20060242466 - Tillmann; Nikolai ; et al.	2006-10-26
Generating finite state machines for software systems with asynchronous callbacks App 20060224924 - Grieskamp; Wolfgang ; et al.	2006-10-05
Conformance testing of multi-threaded and distributed software systems App 20060212759 - Campbell; Colin L. ; et al.	2006-09-21
Extending test sequences to accepting states App 20060179383 - Blass; Andreas ; et al.	2006-08-10
State exploration using multiple state groupings App 20060161404 - Campbell; Colin L. ; et al.	2006-07-20
Method and system for modeling and presenting integrated media with a declarative modeling language for representing reactive behavior Grant 5,764,241 - Elliott , et al. June 9, 1	1998-06-09

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.