Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Henny Sipma, researcher in formal verification
[go: Go Back, main page]

 
 Henny Sipma, PhD

Research associate at the Computer Science Department at Stanford University, working with Professor Zohar Manna on the specification and verification of reactive systems.

Research Interests:

  • Static analysis of discrete, real-time and hybrid systems
  • Runtime analysis of programs
  • Visual formalisms for verification
  • Event Correlation
  • Formalization of middleware constructs
  • Decision procedures
  • Application of verification methods to PLC's (programmable logic controllers) and industrial safety systems (such as emergency shutdown systems in chemical plants and refineries)

Research project:

Conferences:

Publications
Research links
Personal
 


Department of Computer Science
Gates Building 4B, Room 480
Stanford University
Stanford, CA 94305-9045
Phone: (650) 723-1565
Fax: (650) 725-4671
E-mail: sipma@cs.stanford.edu


Last modified: Tue Jul 17 15:16:27 PDT 2001