dblp.uni-trier.dewww.uni-trier.de

Ishai Rabinovitz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEGalen M. Shipman, Stephen Poole, Pavel Shamis, Ishai Rabinovitz: X-SRQ- Improving Scalability and Performance of Multi-core InfiniBand Clusters. PVM/MPI 2008: 33-42
2006
7EEJanees 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. Haifa Verification Conference 2006: 109-121
6EESharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz: ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. Haifa Verification Conference 2006: 138-154
5EEHana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz: Formal verification of concurrent software: two case studies. PADTAD 2006: 11-22
4EEDaniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref: Supporting SAT based BMC on Finite Path Models. Electr. Notes Theor. Comput. Sci. 144(1): 67-77 (2006)
2005
3EESharon Barner, Ziv Glazberg, Ishai Rabinovitz: Wolf - Bug Hunter for Concurrent Software Using Formal Methods. CAV 2005: 153-157
2EEIshai Rabinovitz, Orna Grumberg: Bounded Model Checking of Concurrent Programs. CAV 2005: 82-97
2003
1EESharon Barner, Ishai Rabinovitz: Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning. CHARME 2003: 35-50

Coauthor Index

1Sharon Barner [1] [3] [6]
2Hana Chockler [5]
3Sai Dattathrani [7]
4Cindy Eisner [6]
5Janees Elamkulam [7]
6Eitan Farchi [5]
7Daniel Geist [4]
8Mark Ginzburg [4]
9Ziv Glazberg [3] [5] [6] [7]
10Benny Godlin [5]
11Orna Grumberg [2]
12Satish Chandra Gupta [7]
13Sandeep Kohli [7]
14Gururaja Kowlali [7]
15Daniel Kroening (Daniel Kröning) [6]
16Yoad Lustig [4]
17Claudio Paniagua Macia [7]
18Yarden Nir-Buchbinder [5]
19Stephen Poole [8]
20Ohad Shacham [4]
21Pavel Shamis [8]
22Galen M. Shipman [8]
23Rachel Tzoref [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)