loadpatents
Patent applications and USPTO patent grants for Tillmann; Nikolai.The latest application filed is for "interface development and operation".
Patent | Date |
---|---|
Generating program fragments using keywords and context information Grant 9,448,772 - Gulwani , et al. September 20, 2 | 2016-09-20 |
Interface development and operation Grant 9,286,038 - Burckhardt , et al. March 15, 2 | 2016-03-15 |
Contextually intelligent code editing Grant 9,239,708 - Tillmann , et al. January 19, 2 | 2016-01-19 |
Controlling the release of private information using static flow analysis Grant 9,104,528 - Xiao , et al. August 11, 2 | 2015-08-11 |
Automatic parallelization in a tracing just-in-time compiler system Grant 8,959,496 - Schulte , et al. February 17, 2 | 2015-02-17 |
Media files including programming code and description Grant 8,949,771 - Moskal , et al. February 3, 2 | 2015-02-03 |
Interface Development and Operation App 20140380205 - Burckhardt; Sebastian C. ;   et al. | 2014-12-25 |
Generating Program Fragments Using Keywords and Context Information App 20140282375 - Gulwani; Sumit ;   et al. | 2014-09-18 |
Generating type-safe wrappers for dynamic detouring Grant 8,726,239 - de Halleux , et al. May 13, 2 | 2014-05-13 |
Approximating finite domains in symbolic state exploration Grant 8,533,680 - Tillmann , et al. September 10, 2 | 2013-09-10 |
Tracing just-in-time compilation with pointers to local variables Grant 8,522,222 - Tillmann August 27, 2 | 2013-08-27 |
Symbolic finite automata Grant 8,515,891 - Veanes , et al. August 20, 2 | 2013-08-20 |
State as a first-class citizen of an imperative language Grant 8,468,505 - Grieskamp , et al. June 18, 2 | 2013-06-18 |
Ranking Programs in a Marketplace System App 20130151519 - Akhin; Marat K. ;   et al. | 2013-06-13 |
Controlling the Release of Private Information Using Static Flow Analysis App 20130152154 - Xiao; Xusheng ;   et al. | 2013-06-13 |
Graphical user interface for exploring source code execution behavior Grant 8,453,106 - DeLine , et al. May 28, 2 | 2013-05-28 |
Automatic Rendering Of Interactive User Interface Elements App 20130091444 - de Halleux; Jonathan Peli Paul ;   et al. | 2013-04-11 |
Dynamically Changing Key Selection Based On Context App 20130055138 - de Halleux; Jonathan Paul ;   et al. | 2013-02-28 |
Whitebox trace fuzzing Grant 8,387,016 - Tillmann , et al. February 26, 2 | 2013-02-26 |
Symbolic runtime checking of quantified contracts Grant 8,387,021 - Vanoverberghe , et al. February 26, 2 | 2013-02-26 |
Media Files Including Programming Code And Description App 20120331438 - Moskal; Michal J. ;   et al. | 2012-12-27 |
Contextually Intelligent Code Editing App 20120167042 - Tillmann; Nikolai ;   et al. | 2012-06-28 |
Graphical User Interface For Exploring Source Code Execution Behavior App 20120159452 - DeLine; Robert Anthony ;   et al. | 2012-06-21 |
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 |
Tracing Just-in-time Compilation With Pointers To Local Variables App 20110314452 - Tillmann; Nikolai | 2011-12-22 |
Generating Type-safe Wrappers For Dynamic Detouring App 20110276943 - Halleux; Jonathan Paul de ;   et al. | 2011-11-10 |
Automatic Parallelization in a Tracing Just-in-Time Compiler System App 20110265067 - Schulte; Wolfram ;   et al. | 2011-10-27 |
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 |
Symbolic Query Exploration App 20110055237 - Veanes; Margus ;   et al. | 2011-03-03 |
Bounded program failure analysis and correction Grant 7,882,495 - Tillmann , et al. February 1, 2 | 2011-02-01 |
Specification generation from implementations Grant 7,844,951 - Chen , et al. November 30, 2 | 2010-11-30 |
Whitebox Trace Fuzzing App 20100281460 - Tillmann; Nikolai ;   et al. | 2010-11-04 |
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 |
Symbolic Runtime Checking of Quantified Contracts App 20100083233 - Vanoverberghe; Dries ;   et al. | 2010-04-01 |
Interactive domain configuration Grant 7,685,571 - Schulte , et al. March 23, 2 | 2010-03-23 |
Parameterized test driven development Grant 7,681,180 - de Halleux , et al. March 16, 2 | 2010-03-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 |
Diagnosing problems in distributed systems Grant 7,548,911 - Sen , et al. June 16, 2 | 2009-06-16 |
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 |
Bounded Program Failure Analysis And Correction App 20080313602 - Tillmann; Nikolai ;   et al. | 2008-12-18 |
Parameterized Test Driven Development App 20080307264 - de Halleux; Jonathan Paul ;   et al. | 2008-12-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 |
Approximating finite domains in symbolic state exploration App 20070157180 - Tillmann; Nikolai ;   et al. | 2007-07-05 |
Specification generation from implementations App 20070157169 - Chen; Feng ;   et al. | 2007-07-05 |
Unit test generalization App 20070033443 - Tillmann; Nikolai ;   et al. | 2007-02-08 |
Parameterized unit tests App 20070033440 - 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 |
Mock object generation by symbolic execution App 20070033442 - Tillmann; Nikolai ;   et al. | 2007-02-08 |
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 |
Efficient checking of state-dependent constraints App 20050198621 - Tillmann, Nikolai ;   et al. | 2005-09-08 |
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 |
Access driven filtering App 20050050391 - Grieskamp, Wolfgang ;   et al. | 2005-03-03 |
State as a first-class citizen of an imperative language App 20050050536 - Grieskamp, Wolfgang ;   et al. | 2005-03-03 |
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.