Gerard J. Holzmann

Follow

Person

Murray Hill, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic generation and regeneration of a covering test case set f...
- Patent number 6,804,634
- Issue date Oct 12, 2004
- Lucent Technologies Inc.
- Gerard J. Holzmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for testing event driven software
- Patent number 6,353,896
- Issue date Mar 5, 2002
- Lucent Technologies Inc.
- Gerard Johan Holzmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and apparatus for generating passive testers from properties
- Patent number 6,061,812
- Issue date May 9, 2000
- Lucent Technologies Inc.
- Gerard J. Holzmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Message sequence chart analyzer
- Patent number 5,812,145
- Issue date Sep 22, 1998
- Lucent Technologies Inc.
- Gerard Johan Holzmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
On-the-fly model checking with partial-order state space reduction
- Patent number 5,615,137
- Issue date Mar 25, 1997
- Lucent Technologies Inc.
- Gerard J. Holzmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for deriving image width and height from raw g...
- Patent number 5,559,904
- Issue date Sep 24, 1996
- Lucent Technologies Inc.
- Gerard J. Holzmann
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method and apparatus for automatic verification of properties of a...
- Publication number 20020100022
- Publication date Jul 25, 2002
- Gerard J. Holzmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for automatically extracting verification models
- Publication number 20010037492
- Publication date Nov 1, 2001
- Gerard J. Holzmann
- G06 - COMPUTING CALCULATING COUNTING