Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning. - Sharon Barner; Ishai Rabinovitz (CHARME, 2003)

Wolf - Bug Hunter for Concurrent Software Using Formal Methods. - Sharon Barner; Ziv Glazberg; Ishai Rabinovitz (CAV, 2005)

Bounded Model Checking of Concurrent Programs. - Ishai Rabinovitz; Orna Grumberg (CAV, 2005)

Supporting SAT based BMC on Finite Path Models. - Daniel Geist; Mark Ginzburg; Yoad Lustig; Ishai Rabinovitz; Ohad Shacham; Rachel Tzoref (BMC@CAV, 2005)

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. - Sharon Barner; Cindy Eisner; Ziv Glazberg; Daniel Kroening; Ishai Rabinovitz (Haifa Verification Conference, 2006)

Detecting Design Flaws in UML State Charts for Embedded Software. - Janees Elamkulam; Ziv Glazberg; Ishai Rabinovitz; Gururaja Kowlali; Satish Chandra Gupta; Sandeep Kohli; Sai Dattathrani; Claudio Paniagua Macia (Haifa Verification Conference, 2006)

Formal verification of concurrent software: two case studies. - Hana Chockler; Eitan Farchi; Ziv Glazberg; Benny Godlin; Yarden Nir-Buchbinder; Ishai Rabinovitz (PADTAD, 2006)

X-SRQ- Improving Scalability and Performance of Multi-core InfiniBand Clusters. - Galen M. Shipman; Stephen W. Poole; Pavel Shamis; Ishai Rabinovitz (PVM/MPI, 2008)

ConnectX-2 InfiniBand Management Queues: First Investigation of the New Support for Network Offloaded Collective Operations. - Richard L. Graham; Steve Poole 001; Pavel Shamis; Gil Bloch; Noam Bloch; Hillel Chapman; Michael Kagan; Ariel Shahar; Ishai Rabinovitz; Gilad Shainer (CCGRID, 2010)

Overlapping computation and communication: Barrier algorithms and ConnectX-2 CORE-Direct capabilities. - Richard L. Graham; Stephen W. Poole; Pavel Shamis; Gil Bloch; Noam Bloch; Hillel Chapman; Michael Kagan; Ariel Shahar; Ishai Rabinovitz; Gilad Shainer (IPDPS Workshops, 2010)

Designing high-performance and resilient message passing on InfiniBand. - Matthew J. Koop; Pavel Shamis; Ishai Rabinovitz; Dhabaleswar K. Panda 001 (IPDPS Workshops, 2010)

Network Offloaded Hierarchical Collectives Using ConnectX-2's CORE-Direct Capabilities. - Ishai Rabinovitz; Pavel Shamis; Richard L. Graham; Noam Bloch; Gilad Shainer (EuroMPI, 2010)

Cheetah: A Framework for Scalable Hierarchical Collective Operations. - Richard L. Graham; Manjunath Gorentla Venkata; Joshua Ladd; Pavel Shamis; Ishai Rabinovitz; Vasily Filipov; Gilad Shainer (CCGRID, 2011)

ConnectX-2 CORE-Direct Enabled Asynchronous Broadcast Collective Communications. - Manjunath Gorentla Venkata; Richard L. Graham; Joshua Ladd; Pavel Shamis; Ishai Rabinovitz; Vasily Filipov; Gilad Shainer (IPDPS Workshops, 2011)