| 12078499 |
Autonomous vehicles implementing user-based ethical decision making |
Shmuel Ur |
2024-09-03 |
| 11983296 |
Private and non-private tasks in augmented reality systems |
Shmuel Ur |
2024-05-14 |
| 11713974 |
User-based ethical decision making by self-driving cars |
Shmuel Ur |
2023-08-01 |
| 11409903 |
Private and non-private tasks in augmented reality systems |
Shmuel Ur |
2022-08-09 |
| 11217032 |
Augmented reality skin executions |
Shmuel Ur |
2022-01-04 |
| 11105645 |
Navigation in vehicles and in autonomous cars |
Shmuel Ur |
2021-08-31 |
| 10991128 |
Markers for augmented reality |
Shmuel Ur, Nahum Nir |
2021-04-27 |
| 10719679 |
Encoding information in physical properties of an object |
Nadav Applebaum, Shmuel Ur |
2020-07-21 |
| 10248824 |
Encoding information in physical properties of an object |
Nadav Applebaum, Shmuel Ur |
2019-04-02 |
| 9623604 |
Encoding information in physical properties of an object |
Nadav Applebaum, Shmuel Ur |
2017-04-18 |
| 8209667 |
Software verification using hybrid explicit and symbolic model checking |
Cynthia Rae Eisner, Sharon Keidar-Barner, Ishai Rabinovitz |
2012-06-26 |
| 8019824 |
Remotely operating computer software applications using low bandwidth |
Ishai Rabinovitz, Shmuel Ur |
2011-09-13 |
| 7990980 |
Modeling non-deterministic priority queues for efficient model checking |
Janees Elamkulam, Satish Chandra Gupta, Sandeep Kohli, Ishai Rabinovitz |
2011-08-02 |
| 7921411 |
Model checking of non-terminating software programs |
Hana Chockler, Benyamin Godlin, Sharon Keidar-Barner |
2011-04-05 |
| 7861231 |
System and method of identification of dangling pointers |
Kumar Rangarajan, Satish Chandra Gupta, Ishai Rabinovitz |
2010-12-28 |
| 7853932 |
System, method and computer program product for checking a software entity |
Hana Chockler, Eitan Farchi, Benyamin Godlin |
2010-12-14 |
| 7793263 |
Decision support tool for interleaving review software testing |
Eitan Farchi, Ishai Rabinovitz |
2010-09-07 |
