Grieskamp; Wolfgang
Patent Applications and Registrations
Patent applications and USPTO patent grants for Grieskamp; Wolfgang.The latest application filed is for "on-device machine learning platform".
Company Profile
2.25.24
- Grieskamp; Wolfgang - Sammamish WA
- Grieskamp; Wolfgang - Redmond WA US
- Grieskamp; Wolfgang - Seattle WA
Patent Activity
| Patent | Date |
|---|---|
| On-device machine learning platform Grant 11,403,540 - Sanketi , et al. August 2, 2 | 2022-08-02 |
| On-Device Machine Learning Platform App 20220004929 - Sanketi; Pannag ; et al. | 2022-01-06 |
| On-device machine learning platform Grant 11,138,517 - Sanketi , et al. October 5, 2 | 2021-10-05 |
| On-Device Machine Learning Platform App 20190050746 - Sanketi; Pannag ; et al. | 2019-02-14 |
| On-Device Machine Learning Platform App 20190050749 - Sanketi; Pannag ; et al. | 2019-02-14 |
| Approximating finite domains in symbolic state exploration Grant 8,533,680 - Tillmann , et al. September 10, 2 | 2013-09-10 |
| State as a first-class citizen of an imperative language Grant 8,468,505 - Grieskamp , et al. June 18, 2 | 2013-06-18 |
| Symbolic execution of object oriented programs with axiomatic summaries Grant 8,046,746 - Tillmann , et al. October 25, 2 | 2011-10-25 |
| Symbolic program model compositions Grant 7,926,025 - Campbell , et al. April 12, 2 | 2011-04-12 |
| Specification generation from implementations Grant 7,844,951 - Chen , et al. November 30, 2 | 2010-11-30 |
| Parameterized unit tests with behavioral purity axioms Grant 7,797,687 - Tillmann , et al. September 14, 2 | 2010-09-14 |
| Conformance testing of multi-threaded and distributed software systems Grant 7,747,985 - Campbell , et al. June 29, 2 | 2010-06-29 |
| Generalized comprehension in imperative languages Grant 7,730,462 - Grieskamp , et al. June 1, 2 | 2010-06-01 |
| Interactive domain configuration Grant 7,685,571 - Schulte , et al. March 23, 2 | 2010-03-23 |
| Generating test cases for software with complex preconditions Grant 7,665,072 - Tillman , et al. February 16, 2 | 2010-02-16 |
| State As A First-class Citizen Of An Imperative Language App 20100011194 - Grieskamp; Wolfgang ; et al. | 2010-01-14 |
| Non-deterministic testing Grant 7,590,520 - Nachmanson , et al. September 15, 2 | 2009-09-15 |
| Unit test generalization Grant 7,587,636 - Tillmann , et al. September 8, 2 | 2009-09-08 |
| State as a first-class citizen of an imperative language Grant 7,584,463 - Grieskamp , et al. September 1, 2 | 2009-09-01 |
| Efficient checking of state-dependent constraints Grant 7,500,226 - Tillmann , et al. March 3, 2 | 2009-03-03 |
| Generating finite state machines for software systems with asynchronous callbacks Grant 7,500,149 - Grieskamp , et al. March 3, 2 | 2009-03-03 |
| Mock object generation by symbolic execution Grant 7,496,791 - Tillmann , et al. February 24, 2 | 2009-02-24 |
| Extending test sequences to accepting states Grant 7,493,544 - Blass , et al. February 17, 2 | 2009-02-17 |
| Self-describing artifacts and application abstractions Grant 7,451,435 - Hunt , et al. November 11, 2 | 2008-11-11 |
| Access driven filtering Grant 7,444,622 - Grieskamp , et al. October 28, 2 | 2008-10-28 |
| 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 |
| Specification generation from implementations App 20070157169 - Chen; Feng ; et al. | 2007-07-05 |
| Approximating finite domains in symbolic state exploration App 20070157180 - Tillmann; Nikolai ; et al. | 2007-07-05 |
| Mock object generation by symbolic execution App 20070033442 - Tillmann; Nikolai ; et al. | 2007-02-08 |
| Unit test generalization App 20070033443 - Tillmann; Nikolai ; et al. | 2007-02-08 |
| Symbolic execution of object oriented programs with axiomatic summaries App 20070033576 - Tillmann; Nikolai ; et al. | 2007-02-08 |
| Parameterized unit tests App 20070033440 - Tillmann; Nikolai ; et al. | 2007-02-08 |
| 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 |
| Generating a test suite from an abstract state machine Grant 7,088,864 - Grieskamp , et al. August 8, 2 | 2006-08-08 |
| State exploration using multiple state groupings App 20060161404 - Campbell; Colin L. ; et al. | 2006-07-20 |
| Self-describing artifacts and application abstractions App 20060123412 - Hunt; Galen ; et al. | 2006-06-08 |
| Efficient checking of state-dependent constraints App 20050198621 - Tillmann, Nikolai ; et al. | 2005-09-08 |
| Generalized comprehension in imperative languages App 20050166181 - Grieskamp, Wolfgang ; et al. | 2005-07-28 |
| Non-deterministic testing App 20050160404 - Nachmanson, Lev Borisovich ; et al. | 2005-07-21 |
| Interactive domain configuration App 20050050519 - Schulte, Wolfram ; et al. | 2005-03-03 |
| State as a first-class citizen of an imperative language App 20050050536 - Grieskamp, Wolfgang ; et al. | 2005-03-03 |
| Access driven filtering App 20050050391 - Grieskamp, Wolfgang ; et al. | 2005-03-03 |
| Generating a test suite from an abstract state machine App 20030159087 - Grieskamp, Wolfgang ; et al. | 2003-08-21 |
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.
| 