Patrice Ismael Godefroid

Follow

Person

Naperville, IL, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic exploration and testing of dynamic Web sites
- Patent number 7,716,322
- Issue date May 11, 2010
- Alcatel-Lucent USA Inc.
- Michael Abraham Benedikt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Employment of value of unknown in portion of partial state space fo...
- Patent number 6,708,328
- Issue date Mar 16, 2004
- Lucent Technologies Inc.
- Glenn R. Bruns
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Protocol checking for concurrent systems
- Patent number 6,178,394
- Issue date Jan 23, 2001
- Lucent Technologies Inc.
- Patrice Ismael Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for automatically closing open reactive systems
- Patent number 6,102,968
- Issue date Aug 15, 2000
- Lucent Technologies Inc.
- Christopher Colby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Simulation of a process of a concurrent system
- Patent number 5,937,181
- Issue date Aug 10, 1999
- Lucent Technologies, Inc.
- Patrice Ismael Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Protocol verification using symbolic representations of queues
- Patent number 5,768,498
- Issue date Jun 16, 1998
- Lucent Technologies
- Bernard Armand G.G. Boigelot
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method and apparatus for performing unit testing of software module...
- Publication number 20060253739
- Publication date Nov 9, 2006
- Patrice Ismael Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic exploration and testing of dynamic Web sites
- Publication number 20040059809
- Publication date Mar 25, 2004
- Michael Abraham Benedikt
- G06 - COMPUTING CALCULATING COUNTING