Inventor · disambiguated record
Gerard J. Holzmann
Also filed as: HOLZMANN GERARD J · HOLZMANN GERARD JOHAN
8 granted patents·2 pending applications·380 citations·filing 1991–2001
90Inventor score
Top patents by PatentIndex Score
10 records- 0185US6804634B1Automatic generation and regeneration of a covering test case set from a modelLUCENT TECHNOLOGIES INC·Filed 2000·Granted Oct 12, 2004·71 cites·2 claims
- 0283US5826017AApparatus and method for communicating data between elements of a distributed system using a general protocolLUCENT TECHNOLOGIES INC·Filed 1992·Granted Oct 20, 1998·123 cites·46 claims
- 0371US6353896B1Method and apparatus for testing event driven softwareLUCENT TECHNOLOGIES INC·Filed 1998·Granted Mar 5, 2002·67 cites·19 claims
- 0469US5615137AOn-the-fly model checking with partial-order state space reductionLUCENT TECHNOLOGIES INC·Filed 1996·Granted Mar 25, 1997·59 cites·15 claims
- 0566US5129013AGraphics image editorAT & T BELL LAB·Filed 1991·Granted Jul 7, 1992·35 cites·16 claims
- 0642US5812145AMessage sequence chart analyzerLUCENT TECHNOLOGIES INC·Filed 1995·Granted Sep 22, 1998·13 cites·12 claims
- 0739US2001037492A1Method and apparatus for automatically extracting verification modelsFiled 2001·Application pending·0 cites
- 0839US2002100022A1Method and apparatus for automatic verification of properties of a concurrent software systemFiled 2001·Application pending·0 cites
- 0933US6061812AMethods and apparatus for generating passive testers from propertiesLUCENT TECHNOLOGIES INC·Filed 1998·Granted May 9, 2000·6 cites·20 claims
- 1033US5559904AMethod and apparatus for deriving image width and height from raw graphical image dataLUCENT TECHNOLOGIES INC·Filed 1995·Granted Sep 24, 1996·6 cites·20 claims
Join the waitlist — get patent alerts
Get an alert when Gerard J. Holzmann files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →