Alan Hartman

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Automated corruption analysis of service designs
- Patent number 9,229,685
- Issue date Jan 5, 2016
- International Business Machines Corporation
- Anuradha Bhamidipaty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated corruption analysis of service designs
- Patent number 9,229,684
- Issue date Jan 5, 2016
- International Business Machines Corporation
- Anuradha Bhamidipaty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Protocol independent telephony call lifecycle management scheme
- Patent number 8,849,631
- Issue date Sep 30, 2014
- International Business Machines Corporation
- Shiri Kremer-Davidson
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Variability layer for domain-specific modeling languages
- Patent number 8,578,324
- Issue date Nov 5, 2013
- International Business Machines Corporation
- Alan Hartman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and computer program product for providing a representation...
- Patent number 8,146,051
- Issue date Mar 27, 2012
- International Business Machines Corporation
- Alan Hartman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for integrating test coverage measurements with m...
- Patent number 7,272,752
- Issue date Sep 18, 2007
- International Business Machines Corporation
- Eitan Farchi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Recursive use of model based test generation for middleware validation
- Patent number 7,117,484
- Issue date Oct 3, 2006
- International Business Machines Corporation
- Alan Hartman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model based test generation for validation of parallel and concurre...
- Patent number 7,089,534
- Issue date Aug 8, 2006
- International Business Machines Corporation
- Alan Hartman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hyper-arc consistency in a contraint satisfaction network
- Patent number 7,085,748
- Issue date Aug 1, 2006
- International Business Machines Corporation
- Roy Emek
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, system, and computer program product for automated test gen...
- Patent number 7,055,065
- Issue date May 30, 2006
- International Business Machines Corporation
- Eitan Farchi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing the complexity of finite state machine test generation usi...
- Patent number 7,024,589
- Issue date Apr 4, 2006
- International Business Machines Corporation
- Alan Hartman
- G01 - MEASURING TESTING
Information Patent Grant
Technique using persistent foci for finite state machine based soft...
- Patent number 6,944,848
- Issue date Sep 13, 2005
- International Business Machines Corporation
- Alan Hartman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for displaying and editing a resource schedule
- Patent number 6,335,733
- Issue date Jan 1, 2002
- International Business Machines Corporation
- Mila Keren
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Maintaining Data Privacy in a Shared Data Storage System
- Publication number 20150235049
- Publication date Aug 20, 2015
- International Business Machines Corporation
- Simona Cohen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED CORRUPTION ANALYSIS OF SERVICE DESIGNS
- Publication number 20130198149
- Publication date Aug 1, 2013
- International Business Machines Corporation
- Anuradha Bhamidipaty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED CORRUPTION ANALYSIS OF SERVICE DESIGNS
- Publication number 20130198153
- Publication date Aug 1, 2013
- International Business Machines Corporation
- Anuradha Bhamidipaty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROTOCOL INDEPENDENT TELEPHONY CALL LIFECYCLE MANAGEMENT SCHEME
- Publication number 20090285375
- Publication date Nov 19, 2009
- IBM
- Shiri Kremer-Davidson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND TOOLING FOR THE DEVELOPMENT OF TELECOM SERVICES
- Publication number 20090285376
- Publication date Nov 19, 2009
- IBM
- Shiri Kremer-Davidson
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Method and Computer Program Product for Visualizing Feature Model I...
- Publication number 20090276192
- Publication date Nov 5, 2009
- Uri Avraham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Variability Layer for Domain-Specific Modeling Languages
- Publication number 20090235227
- Publication date Sep 17, 2009
- Alan Hartman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and Computer Program Product for Providing a Representation...
- Publication number 20080082958
- Publication date Apr 3, 2008
- Alan Hartman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Reducing the complexity of finite state machine test generation usi...
- Publication number 20030233600
- Publication date Dec 18, 2003
- International Business Machines Corporation
- Alan Hartman
- G01 - MEASURING TESTING
Information Patent Application
Model based test generation for validati on of parallel and concurr...
- Publication number 20030208351
- Publication date Nov 6, 2003
- Alan Hartman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Recursive use of model based test generation for middlevare validation
- Publication number 20030196191
- Publication date Oct 16, 2003
- Alan Hartman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for integrating test coverage measurements with m...
- Publication number 20030046613
- Publication date Mar 6, 2003
- Eitan Farchi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, system, and computer program product for automated test gen...
- Publication number 20030046609
- Publication date Mar 6, 2003
- Eitan Farchi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Technique using persistent foci for finite state machine based soft...
- Publication number 20030014734
- Publication date Jan 16, 2003
- Alan Hartman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Hyper-arc consistency in a contraint satisfaction network
- Publication number 20020169587
- Publication date Nov 14, 2002
- International Business Machines Corporation
- Roy Emek
- G06 - COMPUTING CALCULATING COUNTING

Alan Hartman

Person

Patents Grantslast 30 patents

Automated corruption analysis of service designs

Automated corruption analysis of service designs

Protocol independent telephony call lifecycle management scheme

Variability layer for domain-specific modeling languages

Method and computer program product for providing a representation...

Method and system for integrating test coverage measurements with m...

Recursive use of model based test generation for middleware validation

Model based test generation for validation of parallel and concurre...

Hyper-arc consistency in a contraint satisfaction network

Method, system, and computer program product for automated test gen...

Reducing the complexity of finite state machine test generation usi...

Technique using persistent foci for finite state machine based soft...

Method and system for displaying and editing a resource schedule

Patents Applicationslast 30 patents

Maintaining Data Privacy in a Shared Data Storage System

AUTOMATED CORRUPTION ANALYSIS OF SERVICE DESIGNS

AUTOMATED CORRUPTION ANALYSIS OF SERVICE DESIGNS

PROTOCOL INDEPENDENT TELEPHONY CALL LIFECYCLE MANAGEMENT SCHEME

METHOD AND TOOLING FOR THE DEVELOPMENT OF TELECOM SERVICES

Method and Computer Program Product for Visualizing Feature Model I...

Variability Layer for Domain-Specific Modeling Languages

Method and Computer Program Product for Providing a Representation...

Reducing the complexity of finite state machine test generation usi...

Model based test generation for validati on of parallel and concurr...

Recursive use of model based test generation for middlevare validation

Method and system for integrating test coverage measurements with m...

Method, system, and computer program product for automated test gen...

Technique using persistent foci for finite state machine based soft...

Hyper-arc consistency in a contraint satisfaction network