Issued Patents All Time
Showing 25 most recent of 33 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9448772 | Generating program fragments using keywords and context information | Sumit Gulwani, Jonathan Paul de Halleux, Vu Minh Le, Zhendong Su | 2016-09-20 |
| 9286038 | Interface development and operation | Sebastian Burckhardt, Manuel A Faehndrich, Michal J. Moskal, Sean C. McDirmid, Jonathan Paul de Halleux +1 more | 2016-03-15 |
| 9239708 | Contextually intelligent code editing | Jonathan Paul de Halleux, Barend H. Venter | 2016-01-19 |
| 9104528 | Controlling the release of private information using static flow analysis | Xusheng Xiao, Manuel A. Fahndrich, Jonathan Paul de Halleux, Michal J. Moskal | 2015-08-11 |
| 8959496 | Automatic parallelization in a tracing just-in-time compiler system | Wolfram Schulte, Michal J. Moskal, Manuel A. Fahndrich, Daniel J P Leijen, Barend H. Venter | 2015-02-17 |
| 8949771 | Media files including programming code and description | Michal J. Moskal, Jonathan Peli Paul de Halleux | 2015-02-03 |
| 8726239 | Generating type-safe wrappers for dynamic detouring | Jonathan Paul de Halleux | 2014-05-13 |
| 8533680 | Approximating finite domains in symbolic state exploration | Wolfgang Grieskamp, Wolfram Schulte | 2013-09-10 |
| 8522222 | Tracing just-in-time compilation with pointers to local variables | — | 2013-08-27 |
| 8515891 | Symbolic finite automata | Margus Veanes, Jonathan Paul de Halleux | 2013-08-20 |
| 8468505 | State as a first-class citizen of an imperative language | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte | 2013-06-18 |
| 8453106 | Graphical user interface for exploring source code execution behavior | Robert DeLine, Jonathan de Halleux | 2013-05-28 |
| 8387021 | Symbolic runtime checking of quantified contracts | Dries Vanoverberghe, Jonathan Paul de Halleux, Nikolaj S. Bjorner, Wolfram Schulte | 2013-02-26 |
| 8387016 | Whitebox trace fuzzing | Jonathan Paul de Halleux | 2013-02-26 |
| 8180786 | Symbolic query exploration | Margus Veanes, Jonathan Paul de Halleux, Pavel Grigorenko | 2012-05-15 |
| 8046746 | Symbolic execution of object oriented programs with axiomatic summaries | Wolfgang Grieskamp, Wolfram Schulte | 2011-10-25 |
| 7926025 | Symbolic program model compositions | Colin Campbell, Margus Veanes, Nicolas Kicillof, Wolfgang Grieskamp, Wolfram Schulte | 2011-04-12 |
| 7882495 | Bounded program failure analysis and correction | Jonathan Paul de Halleux, Wolfram Schulte | 2011-02-01 |
| 7844951 | Specification generation from implementations | Feng-Lun CHEN, Wolfgang Grieskamp, Wolfram Schulte | 2010-11-30 |
| 7797687 | Parameterized unit tests with behavioral purity axioms | Wolfgang Grieskamp, Wolfram Schulte | 2010-09-14 |
| 7747985 | Conformance testing of multi-threaded and distributed software systems | Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett, Wolfgang Grieskamp +1 more | 2010-06-29 |
| 7685571 | Interactive domain configuration | Wolfram Schulte, Wolfgang Grieskamp | 2010-03-23 |
| 7681180 | Parameterized test driven development | Jonathan Paul de Halleux, Wolfram Schulte | 2010-03-16 |
| 7590520 | Non-deterministic testing | Lev Borisovich Nachmanson, Margus Veanes, Wolfgang Grieskamp | 2009-09-15 |
| 7587636 | Unit test generalization | Wolfgang Grieskamp, Wolfram Schulte | 2009-09-08 |