| 12261924 |
Dynamic scheduling system for service requests |
Gang Cheng, Jason Chionh, Jonathan Kantrowitz, Oren Freiberg, Jie Zhang |
2025-03-25 |
| 11924308 |
Dynamic scheduling system for planned service requests |
Gang Cheng, Jason Chionh, Jonathan Kantrowitz, Oren Freiberg, Jie Zhang |
2024-03-05 |
| 11582328 |
Dynamic scheduling system for planned service requests |
Gang Cheng, Jason Chionh, Jonathan Kantrowitz, Oren Freiberg, Jie Zhang |
2023-02-14 |
| 11196838 |
Dynamic scheduling system for planned service requests |
Gang Cheng, Jason Chionh, Jonathan Kantrowitz, Oren Freiberg, Jie Zhang |
2021-12-07 |
| 10721327 |
Dynamic scheduling system for planned service requests |
Gang Cheng, Jason Chionh, Jonathan Kantrowitz, Oren Freiberg, Jie Zhang |
2020-07-21 |
| 10467082 |
Device driver verification |
Markus W. Mielke, Jakob F. Lichtenberg, Vladimir A. Levin, Remy L. De Weduwe, Hyuk-Joon Kwon +2 more |
2019-11-05 |
| 10452459 |
Device driver telemetry |
Markus W. Mielke, Jakob F. Lichtenberg, Vladimir A. Levin, Remy L. De Weduwe, Hyuk-Joon Kwon +2 more |
2019-10-22 |
| 9519495 |
Timed API rules for runtime verification |
Vladimir A. Levin, Jakob F. Lichtenberg |
2016-12-13 |
