Benny Godlin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2006–2009
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | DAC | Regression verification. | Benny Godlin, Ofer Strichman |
| 2009 | FASE | Cross-Entropy-Based Replay of Concurrent Programs. | Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov |
| 2008 | WG | A Most General Edge Elimination Polynomial. | Ilya Averbouch, Benny Godlin, Johann A. Makowsky |
| 2008 | WG | Evaluations of Graph Polynomials. | Benny Godlin, Tomer Kotek, Johann A. Makowsky |
| 2007 | FMCAD | Cross-Entropy Based Testing. | Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov |
| 2006 | ISSTA | Formal verification of concurrent software: two case studies. | Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz |
| 2006 | WG | Computing Graph Polynomials on Graphs of Bounded Clique-Width. | Johann A. Makowsky, Udi Rotics, Ilya Averbouch, Benny Godlin |