Search the dblp DataBase

Publications of Author

1. Sharon Barner, Ziv Glazberg, Ishai Rabinovitz
   Wolf - Bug Hunter for Concurrent Software Using Formal Methods. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:153-157 [Conf]
   
2. Ishai Rabinovitz, Orna Grumberg
   Bounded Model Checking of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:82-97 [Conf]
   
3. Sharon Barner, Ishai Rabinovitz
   Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning. [Citation Graph (0, 0)][DBLP]
   CHARME, 2003, pp:35-50 [Conf]
   
4. Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz
   ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. [Citation Graph (0, 0)][DBLP]
   Haifa Verification Conference, 2006, pp:138-154 [Conf]
   
5. Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia
   Detecting Design Flaws in UML State Charts for Embedded Software. [Citation Graph (0, 0)][DBLP]
   Haifa Verification Conference, 2006, pp:109-121 [Conf]
   
6. Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
   Supporting SAT based BMC on Finite Path Models. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:67-77 [Journal]
   
7. 
   ConnectX-2 InfiniBand Management Queues: First Investigation of the New Support for Network Offloaded Collective Operations. [Citation Graph (, )][DBLP]
   
   
8. 
   Formal verification of concurrent software: two case studies. [Citation Graph (, )][DBLP]
   
   
9. 
   X-SRQ- Improving Scalability and Performance of Multi-core InfiniBand Clusters. [Citation Graph (, )][DBLP]