Program Analysis and Verification Group

Stanford CSD EE The Program Analysis and Verification Group (PAVG) is a research group led by Dr. David C. Luckham of the Computer Science Department and Electrical Engineering Department of Stanford University.

Group Members


Current Research: Complex Event Processing

Complex event processing is a new technology developed from Rapide and its analysis toolset. It can be applied to extracting and analyzing information from any kind of distributed message-based system. It is developed from the Rapide concepts of (1) causal event modeling, (2) event patterns and pattern matching, and (3) event pattern maps and constraints. Complex event processing can be applied to a wide variety of Enterprise monitoring and management problems, from low level network management to high level enterprise intelligence gathering.

Previous PAVG Work

10/11/99/lp(not responsible for this design!)