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 Orna Grumberg's Home Page
Orna Grumberg's Home Page
TECHNION - Israel Institute of Technology Computer Science Department
Technion City - Haifa 32000 - Israel
Phones: Ofc: +972-4-829-4327 Sec: +972-4-8294314 Res: +972-4-8257568
Fax: +972-4-829-4353
Email: orna@cs.technion.ac.il Additional information
Research Interest:
Computer-aided verification of software and hardware
Modularity
Abstraction, refinement and counterexamples
Symmetry
Temporal logics
Equivalences and preorders
Distributed Model checking
Static analysis and model checking
Coverage and vacuity
SAT-based model checking
Games for model checking
Symbolic Trajectory Evaluation (STE)
Automata on infinite objects
Conference Organization and Committees:
I am on the Program Committee of the International conference
on Computer Aided Verification
(CAV'06),
to be held in Seattle, on August 16-20, 2006.
Together with Helmut Veith, I organize the workshop on 25 Years of Model Checking
(25MC),
to be held as part of CAV'06, in Seattle, on August 16, 2006.
Together with Michael Huth, I co-chair the
Conference on Tools and Algorithms for the Construction and Analysis of Systems
(TACAS'07),
to be held in Braga, Portugal, March 26-30, 2007.