| 12376228 |
Electronic prototyping |
Stephen E. Hodges, Gabriele D'Amone, James Alexander Devine, Jonathan Paul de Halleux, Thomas J. Ball |
2025-07-29 |
| 12308586 |
Electronic prototyping interoperability |
Stephen E. Hodges, Gabriele D'Amone, James Alexander Devine, Jonathan Paul de Halleux, Thomas J. Ball |
2025-05-20 |
| 12177969 |
Modular electronic prototyping platforms |
Stephen E. Hodges, Gabriele D'Amone, James Alexander Devine, Thomas J. Ball, Jonathan Paul de Halleux |
2024-12-24 |
| 9286038 |
Interface development and operation |
Sebastian Burckhardt, Manuel A Faehndrich, Sean C. McDirmid, Nikolai Tillmann, Jonathan Paul de Halleux +1 more |
2016-03-15 |
| 9104528 |
Controlling the release of private information using static flow analysis |
Xusheng Xiao, Nikolai Tillmann, Manuel A. Fahndrich, Jonathan Paul de Halleux |
2015-08-11 |
| 8959496 |
Automatic parallelization in a tracing just-in-time compiler system |
Wolfram Schulte, Nikolai Tillmann, Manuel A. Fahndrich, Daniel J P Leijen, Barend H. Venter |
2015-02-17 |
| 8949771 |
Media files including programming code and description |
Jonathan Peli Paul de Halleux, Nikolai Tillmann |
2015-02-03 |
