Inventor
KURSHAN ROBERT PAUL
US14 patents
⚠️ This page may combine multiple inventors who share the name “KURSHAN ROBERT PAUL”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
LUCENT TECHNOLOGIES INC
11 patentsUS6185516B1Feb 6, 2001
Automata-theoretic verification of systems
LUCENT TECHNOLOGIES INC86 citations96
US6102959AAug 15, 2000
Verification tool computation reduction
LUCENT TECHNOLOGIES INC39 citations91
US6099575AAug 8, 2000
Constraint validity checking
LUCENT TECHNOLOGIES INC21 citations91
US5926622AJul 20, 1999
Efficient regression verification
LUCENT TECHNOLOGIES INC20 citations91
US6311293B1Oct 30, 2001
Detecting of model errors through simplification of model via state reachability analysis
LUCENT TECHNOLOGIES INC29 citations90
US5946481AAug 31, 1999
Method for detecting errors in models through restriction
LUCENT TECHNOLOGIES INC19 citations90
US6295515B1Sep 25, 2001
Static partial order reduction
LUCENT TECHNOLOGIES INC28 citations88
US6209120B1Mar 27, 2001
Verifying hardware in its software context and vice-versa
LUCENT TECHNOLOGIES INC43 citations88
US6708143B1Mar 16, 2004
Verification coverage method
LUCENT TECHNOLOGIES INC13 citations83
US5966516AOct 12, 1999
Apparatus for defining properties in finite-state machines
LUCENT TECHNOLOGIES INC21 citations83
US5901073AMay 4, 1999
Method for detecting errors in models through restriction
LUCENT TECHNOLOGIES INC12 citations71