Inventor
Nikolai Tillmann
Inventor
Redmond, WA, US
Overview
Patents· 33 as inventor
Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.
G06Fprimary
G06FElectric digital data processing97%
H04WWireless communication networks3%
PatentTitleYear
9,448,772'Generating program fragments using keywords and context information'20169,286,038'Interface development and operation'20169,239,708'Contextually intelligent code editing'20169,104,528'Controlling the release of private information using static flow analysis'20158,959,496'Automatic parallelization in a tracing just-in-time compiler system'20158,949,771'Media files including programming code and description'20158,726,239'Generating type-safe wrappers for dynamic detouring'20148,533,680'Approximating finite domains in symbolic state exploration'20138,522,222'Tracing just-in-time compilation with pointers to local variables'20138,515,891'Symbolic finite automata'20138,468,505'State as a first-class citizen of an imperative language'20138,453,106'Graphical user interface for exploring source code execution behavior'20138,387,021'Symbolic runtime checking of quantified contracts'20138,387,016'Whitebox trace fuzzing'20138,180,786'Symbolic query exploration'20128,046,746'Symbolic execution of object oriented programs with axiomatic summaries'20117,926,025'Symbolic program model compositions'20117,882,495'Bounded program failure analysis and correction'20117,844,951'Specification generation from implementations'20107,797,687'Parameterized unit tests with behavioral purity axioms'20107,747,985'Conformance testing of multi-threaded and distributed software systems'20107,685,571'Interactive domain configuration'20107,681,180'Parameterized test driven development'20107,590,520'Non-deterministic testing'20097,587,636'Unit test generalization'20097,584,463'State as a first-class citizen of an imperative language'20097,548,911'Diagnosing problems in distributed systems'20097,500,226'Efficient checking of state-dependent constraints'20097,500,149'Generating finite state machines for software systems with asynchronous callbacks'20097,496,791'Mock object generation by symbolic execution'20097,493,544'Extending test sequences to accepting states'20097,444,622'Access driven filtering'20087,363,202'State exploration using multiple state groupings'2008Career & activity timeline
Assembled from patent assignee/location history and declaration credentials.
2008–2016Patents assigned to MICROSOFT CORP (31)· patent assignee history
2008–2016Based in Redmond, WA, US· patent location history
2012–2016Patents assigned to TILLMANN NIKOLAI (13)· patent assignee history
2012–2015Patents assigned to DE HALLEUX JONATHAN PAUL (6)· patent assignee history
2013–2015Patents assigned to SCHULTE WOLFRAM (4)· patent assignee history
2015–2016Patents assigned to MICROSOFT TECHNOLOGY LICENSING LLC (4)· patent assignee history
Inventor activity
Assignee and location history derived from the patent record.
Assignees
| Assignee | Patents | Span |
|---|---|---|
| MICROSOFT CORP | 31 | 2008–2016 |
| TILLMANN NIKOLAIself | 13 | 2012–2016 |
| DE HALLEUX JONATHAN PAUL | 6 | 2012–2015 |
| MICROSOFT TECHNOLOGY LICENSING LLC | 4 | 2015–2016 |
| SCHULTE WOLFRAM | 4 | 2013–2015 |
Locations
| Location | Patents | Span |
|---|---|---|
| Redmond, Washington, US | 33 | 2008–2016 |