Hartman; Alan

Patent Applications and Registrations

Patent applications and USPTO patent grants for Hartman; Alan.The latest application filed is for "maintaining data privacy in a shared data storage system".

Company Profile

0.19.18

Hartman; Alan - Haifa N/A IL
Hartman; Alan - Bengaluru IN
Hartman; Alan - Maifa IL

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Automated corruption analysis of service designs Grant 9,229,684 - Bhamidipaty , et al. January 5, 2	2016-01-05
Automated corruption analysis of service designs Grant 9,229,685 - Bhamidipaty , et al. January 5, 2	2016-01-05
Maintaining Data Privacy in a Shared Data Storage System App 20150235049 - Cohen; Simona ; et al.	2015-08-20
Protocol independent telephony call lifecycle management scheme Grant 8,849,631 - Kremer-Davidson , et al. September 30, 2	2014-09-30
Automatically generating artifacts for service delivery Grant 8,752,002 - Banavar , et al. June 10, 2	2014-06-10
Variability layer for domain-specific modeling languages Grant 8,578,324 - Hartman , et al. November 5, 2	2013-11-05
Automated Corruption Analysis Of Service Designs App 20130198149 - Bhamidipaty; Anuradha ; et al.	2013-08-01
Automated Corruption Analysis Of Service Designs App 20130198153 - Bhamidipaty; Anuradha ; et al.	2013-08-01
Method and computer program product for providing a representation of software modeled by a model Grant 8,146,051 - Hartman , et al. March 27, 2	2012-03-27
Automatically Generating Artifacts for Service Delivery App 20110107295 - Banavar; Guruduth Somasekhara ; et al.	2011-05-05
Method And Tooling For The Development Of Telecom Services App 20090285376 - Kremer-Davidson; Shiri ; et al.	2009-11-19
Protocol Independent Telephony Call Lifecycle Management Scheme App 20090285375 - Kremer-Davidson; Shiri ; et al.	2009-11-19
Method and Computer Program Product for Visualizing Feature Model Information App 20090276192 - Avraham; Uri ; et al.	2009-11-05
Variability Layer for Domain-Specific Modeling Languages App 20090235227 - Hartman; Alan ; et al.	2009-09-17
Method and Computer Program Product for Providing a Representation of Software Modeled by a Model App 20080082958 - Hartman; Alan ; et al.	2008-04-03
Method and system for integrating test coverage measurements with model based test generation Grant 7,272,752 - Farchi , et al. September 18, 2	2007-09-18
Recursive use of model based test generation for middleware validation Grant 7,117,484 - Hartman , et al. October 3, 2	2006-10-03
Model based test generation for validation of parallel and concurrent software Grant 7,089,534 - Hartman , et al. August 8, 2	2006-08-08
Hyper-arc consistency in a contraint satisfaction network Grant 7,085,748 - Emek , et al. August 1, 2	2006-08-01
Method, system, and computer program product for automated test generation for non-deterministic software using state transition rules Grant 7,055,065 - Farchi , et al. May 30, 2	2006-05-30
Reducing the complexity of finite state machine test generation using combinatorial designs Grant 7,024,589 - Hartman , et al. April 4, 2	2006-04-04
Technique using persistent foci for finite state machine based software test generation Grant 6,944,848 - Hartman , et al. September 13, 2	2005-09-13
Reducing the complexity of finite state machine test generation using combinatorial designs App 20030233600 - Hartman, Alan ; et al.	2003-12-18
Model based test generation for validati on of parallel and concurrent software App 20030208351 - Hartman, Alan ; et al.	2003-11-06
Recursive use of model based test generation for middlevare validation App 20030196191 - Hartman, Alan ; et al.	2003-10-16
Method and system for integrating test coverage measurements with model based test generation App 20030046613 - Farchi, Eitan ; et al.	2003-03-06
Method, system, and computer program product for automated test generation for non-deterministic software using state transition rules App 20030046609 - Farchi, Eitan ; et al.	2003-03-06
Technique using persistent foci for finite state machine based software test generation App 20030014734 - Hartman, Alan ; et al.	2003-01-16
Hyper-arc consistency in a contraint satisfaction network App 20020169587 - Emek, Roy ; et al.	2002-11-14
Method and system for displaying and editing a resource schedule Grant 6,335,733 - Keren , et al. January 1, 2	2002-01-01

uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.

While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.

All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.