TREA

Juncao Li

Follow

Person

  • Bellevue, WA, US
People

Patents Grantslast 30 patents

  • Information Patent Grant

    Device driver verification
    • Patent number 10,467,082
    • Issue date Nov 5, 2019
    • Microsoft Technology Licensing, LLC
    • Markus W. Mielke
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Grant

    Timed API rules for runtime verification
    • Patent number 9,519,495
    • Issue date Dec 13, 2016
    • Microsoft Technology Licensing, LLC
    • Vladimir A. Levin
    • G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

  • Information Patent Application

    DEVICE DRIVER VERIFICATION
    • Publication number 20180165141
    • Publication date Jun 14, 2018
    • Microsoft Technology Licensing, LLC
    • Markus W. Mielke
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    DEVICE DRIVER TELEMETRY
    • Publication number 20180165145
    • Publication date Jun 14, 2018
    • Microsoft Technology Licensing, LLC
    • Markus W. Mielke
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    API Rules Verification Platform
    • Publication number 20140372985
    • Publication date Dec 18, 2014
    • Vladimir A. Levin
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    Timed API Rules for Runtime Verification
    • Publication number 20140372986
    • Publication date Dec 18, 2014
    • Vladimir A. Levin
    • G06 - COMPUTING CALCULATING COUNTING