Doron A. Peled

Person

New Providence, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Directly verifying a black box system
- Patent number 6,526,544
- Issue date Feb 25, 2003
- Lucent Technologies Inc.
- Doron A. Peled
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interactive software testing system and method
- Patent number 6,408,430
- Issue date Jun 18, 2002
- Lucent Technologies, Inc.
- Elsa L. Gunter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of message sequence charts
- Patent number 6,346,879
- Issue date Feb 12, 2002
- Lucent Technologies, Inc.
- Doron A. Peled
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static partial order reduction
- Patent number 6,295,515
- Issue date Sep 25, 2001
- Lucent Technologies Inc.
- Robert Paul Kurshan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying hardware in its software context and vice-versa
- Patent number 6,209,120
- Issue date Mar 27, 2001
- Lucent Technologies, Inc.
- Robert Paul Kurshan
- 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

Patents Applicationslast 30 patents

Information Patent Application
INTERACTIVE SOFTWARE TESTING SYSTEM AND METHOD
- Publication number 20010011370
- Publication date Aug 2, 2001
- ELSA L. GUNTER
- G06 - COMPUTING CALCULATING COUNTING

Doron A. Peled

Person

Patents Grantslast 30 patents

Directly verifying a black box system

Interactive software testing system and method

Verification of message sequence charts

Static partial order reduction

Verifying hardware in its software context and vice-versa

Message sequence chart analyzer

On-the-fly model checking with partial-order state space reduction

Patents Applicationslast 30 patents

INTERACTIVE SOFTWARE TESTING SYSTEM AND METHOD