IBM®
Skip to main content
    Israel [change]    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

Haifa Verification Conference 2007

IBM Haifa Labs


Organization

October 23 - 25, 2007
Organized by IBM Haifa Research Lab


Conference chair:
  • Karen Yorav
Local organization:
  • Vered Aharon
Organizing committee:
  • Sharon Barner, IBM Haifa Research Lab
  • Laurent Fournier, IBM Haifa Research Lab
  • Shmuel Ur, IBM Haifa Research Lab
  • Avi Ziv, IBM Haifa Research Lab
Program committee:
  • Sharon Barner, IBM Haifa Research Lab, Israel
  • Lyes Benalycherif, STMicroelectronics, France
  • Eyal Bin, IBM Haifa Research Lab, Israel
  • Roderick Bloem, Graz University of Technology, Austria
  • Jong-Deok Choi, Samsung Electronics, Korea
  • Alessandro Cimatti, IRST, Italy
  • Kerstin Eder, University of Bristol, UK
  • Bernd Finkbeiner, Universit?t des Saarlandes, Germany
  • Limor Fix, Intel, USA
  • Laurent Fournier, IBM Haifa Labs, Israel
  • Orna Grumberg, Technion, Israel
  • Aarti Gupta, NEC Labs America, USA
  • Klaus Havelund, NASA's Jet Propulsion Laboratory, Columbus Tech.
  • Alan Hu, Univ. of British Columbia, Canada
  • Warren Hunt, University of Texas, Austin, USA
  • Daniel Kroening, ETH Zuerich, Switzerland
  • Tsvi Kuflik, University of Haifa, Israel
  • Orna Kupferman, Hebrew University, Israel
  • Mark Last, Ben-Gurion University of the Negev, Israel
  • Joao Lourenco, Universidade Nova de Lisboa, Portugal
  • Sharad Malik, Princeton University, USA
  • Erich Marschner, Cadence, USA
  • Ken McMillan, Cadence, USA
  • Amos Noy, Cadence, USA
  • Viresh Paruthi, IBM Austin, USA
  • Carl Pixley, Synopsys, USA
  • Andrew Piziali, USA
  • Wolfgang Roesner, IBM Austin, USA
  • Padmanabhan (Peter) Santhanam, IBM Hawthorne, USA
  • Fabio Somenzi, University of Colorado, USA
  • Scott D. Stoller, Stony Brook University, USA
  • Ofer Strichman, Technion, Israel
  • Paul Strooper, University of Queensland, Australia
  • Serdar Tasiran, Koc University, Turkey
  • Shmuel Ur, IBM Haifa Labs, Israel
  • Willem Visser, SEVEN Networks, USA
  • Tao Xie, North Carolina State University, USA
  • Karen Yorav, IBM Haifa Research Lab, Israel (chair)
  • Avi Ziv, IBM Haifa Research Labs, Israel


   

    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research