Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9229684 | Automated corruption analysis of service designs | Anuradha Bhamidipaty, Anshu N. Jain, Nidhi Rajshree | 2016-01-05 |
| 9229685 | Automated corruption analysis of service designs | Anuradha Bhamidipaty, Anshu N. Jain, Nidhi Rajshree | 2016-01-05 |
| 8849631 | Protocol independent telephony call lifecycle management scheme | Shiri Kremer-Davidson, Mila Keren, Dmitri Pikus | 2014-09-30 |
| 8752002 | Automatically generating artifacts for service delivery | Guruduth Somasekhara Banavar, Ketki A. Dhanesha, Anshu N. Jain, Inderpreet S. Thukral | 2014-06-10 |
| 8578324 | Variability layer for domain-specific modeling languages | Julia Rubin, Tal Haham | 2013-11-05 |
| 8146051 | Method and computer program product for providing a representation of software modeled by a model | Shiri Kremer, Yael Shaham-Gafni, Netta M. Shani | 2012-03-27 |
| 7272752 | Method and system for integrating test coverage measurements with model based test generation | Eitan Farchi, Daniel Geist, Paul Kram, Kenneth Nagin, Yael Shaham-Gafni +1 more | 2007-09-18 |
| 7117484 | Recursive use of model based test generation for middleware validation | Kenneth Nagin, Guy Sharon | 2006-10-03 |
| 7089534 | Model based test generation for validation of parallel and concurrent software | Andrei Kirshin, Kenneth Nagin, Sergey Olvovsky, Aviad Zlotnick | 2006-08-08 |
| 7085748 | Hyper-arc consistency in a contraint satisfaction network | Roy Emek, Gil Eliezer Shurek, Michael Veksler | 2006-08-01 |
| 7055065 | Method, system, and computer program product for automated test generation for non-deterministic software using state transition rules | Eitan Farchi, Paul Kram, Kenneth Nagin | 2006-05-30 |
| 7024589 | Reducing the complexity of finite state machine test generation using combinatorial designs | Andrei Kirshin, Kenneth Nagin, Sergey Olvovsky | 2006-04-04 |
| 6944848 | Technique using persistent foci for finite state machine based software test generation | Kenneth Nagin, Paul Kram | 2005-09-13 |
| 6647492 | Method of providing persistent memory to a hand-held platform operating system on a computer system | Robert Nathan | 2003-11-11 |
| 6335733 | Method and system for displaying and editing a resource schedule | Mila Keren, Doron Cohen, Avraham Harpaz, Mel Shalev | 2002-01-01 |