Veanes; Margus
Patent Applications and Registrations
Patent applications and USPTO patent grants for Veanes; Margus.The latest application filed is for "gesture processing using a domain-specific gesture language".
- Veanes; Margus - Bellevue WA
| Patent | Date |
|---|---|
| Gesture processing using a domain-specific gesture language Grant 9,946,354 - Livshits , et al. April 17, 2 | 2018-04-17 |
| Managing access by applications to perceptual information Grant 9,355,268 - D'Antoni , et al. May 31, 2 | 2016-05-31 |
| Gesture Processing Using a Domain-Specific Gesture Language App 20160062468 - Livshits; Benjamin ; et al. | 2016-03-03 |
| Minimizing Symbolic Finite Automata App 20150371140 - Veanes; Margus | 2015-12-24 |
| String and Password Generation from Regular Expressions App 20150371033 - Veanes; Margus ; et al. | 2015-12-24 |
| Managing Access by Applications to Perceptual Information App 20150071555 - D'Antoni; Loris ; et al. | 2015-03-12 |
| Symbolic finite automata Grant 8,515,891 - Veanes , et al. August 20, 2 | 2013-08-20 |
| String Operations With Transducers App 20120151592 - Veanes; Margus ; et al. | 2012-06-14 |
| Symbolic Finite Automata App 20120130932 - Veanes; Margus ; et al. | 2012-05-24 |
| Symbolic query exploration Grant 8,180,786 - Veanes , et al. May 15, 2 | 2012-05-15 |
| Feature oriented protocol modeling Grant 8,103,495 - Veanes , et al. January 24, 2 | 2012-01-24 |
| Symbolic program model compositions Grant 7,926,025 - Campbell , et al. April 12, 2 | 2011-04-12 |
| Symbolic Query Exploration App 20110055237 - Veanes; Margus ; et al. | 2011-03-03 |
| 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 |
| Non-deterministic testing Grant 7,590,520 - Nachmanson , et al. September 15, 2 | 2009-09-15 |
| 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 |
| Feature Oriented Protocol Modeling App 20090043560 - Veanes; Margus ; et al. | 2009-02-12 |
| State exploration using multiple state groupings Grant 7,363,202 - Campbell , et al. April 22, 2 | 2008-04-22 |
| Tool-based iterative document management Grant 7,337,388 - Barnett , et al. February 26, 2 | 2008-02-26 |
| Creation of content versions using content layers Grant 7,284,235 - Nachmanson , et al. October 16, 2 | 2007-10-16 |
| 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 |
| High level executable network abstract machine Grant 7,149,678 - Gurevich , et al. December 12, 2 | 2006-12-12 |
| 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 |
| Non-deterministic testing App 20050160404 - Nachmanson, Lev Borisovich ; et al. | 2005-07-21 |
| Content layers App 20050086633 - Nachmanson, Lev Borisovich ; et al. | 2005-04-21 |
| Tool-based iterative document management App 20040133858 - Barnett, Michael ; et al. | 2004-07-08 |
| High level executable network abstract machine App 20030191797 - Gurevich, Yuri ; et al. | 2003-10-09 |
| 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.
| 