P

Inventor

ALUR RAJEEV

US5 patents
⚠️ This page may combine multiple inventors who share the name “ALUR RAJEEV”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

LUCENT TECHNOLOGIES INC

3 patents
US6324496B1Nov 27, 2001

Model checking of hierarchical state machines

LUCENT TECHNOLOGIES INC88 citations95
US6516306B1Feb 4, 2003

Model checking of message flow diagrams

LUCENT TECHNOLOGIES INC16 citations82
US6681264B1Jan 20, 2004

Implied message sequence charts

LUCENT TECHNOLOGIES INC0 citations44

AT & T CORP

1 patent
US5483470AJan 9, 1996

Timing verification by successive approximation

AT & T CORP102 citations94

UNIV PENNSYLVANIA

1 patent
US9729582B2Aug 8, 2017

Methods, systems, and computer readable media for generating software defined networking (SDN) policies

UNIV PENNSYLVANIA9 citations81