Benny Godlin

14 papers A* 1B 5Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2013 J jnl
Regression verification: proving the equivalence of similar programs.
Softw. Test. Verification Reliab.
Benny Godlin, Ofer Strichman
2012 J jnl
Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas.
J. Log. Comput.
Benny Godlin, Emilia Katz, Johann A. Makowsky
2010 J jnl
An extension of the bivariate chromatic polynomial.
Eur. J. Comb.
Ilya Averbouch, Benny Godlin, Johann A. Makowsky
2010 — conf
Inference Rules for Proving the Equivalence of Recursive Procedures.
Essays in Memory of Amir Pnueli
Benny Godlin, Ofer Strichman
2009 B conf
Cross-Entropy-Based Replay of Concurrent Programs.
FASE
Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
2009 A* conf
Regression verification.
DAC
Benny Godlin, Ofer Strichman
2008 B conf
A Most General Edge Elimination Polynomial.
WG
Ilya Averbouch, Benny Godlin, Johann A. Makowsky
2008 B conf
Evaluations of Graph Polynomials.
WG
Benny Godlin, Tomer Kotek, Johann A. Makowsky
2008 J jnl
Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas
CoRR
Benny Godlin, Emilia Katz, Johann A. Makowsky
2008 J jnl
Inference rules for proving the equivalence of recursive procedures.
Acta Informatica
Benny Godlin, Ofer Strichman
2007 B conf
Cross-Entropy Based Testing.
FMCAD
Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
2006 B conf
Computing Graph Polynomials on Graphs of Bounded Clique-Width.
WG
Johann A. Makowsky, Udi Rotics, Ilya Averbouch, Benny Godlin
2006 — conf
Formal verification of concurrent software: two case studies.
PADTAD
Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz
2005 — conf
Regression Verification - A Practical Way to Verify Programs.
VSTTE
Ofer Strichman, Benny Godlin