Benny Godlin

According to our database, Benny Godlin authored at least 12 papers between 2005 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

Regression verification: proving the equivalence of similar programs.

Benny Godlin, Ofer Strichman

Softw. Test. Verification Reliab., 2013

2012

Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas.

Benny Godlin, Emilia Katz, Johann A. Makowsky

J. Log. Comput., 2012

2010

An extension of the bivariate chromatic polynomial.

Ilya Averbouch, Benny Godlin, Johann A. Makowsky

Eur. J. Comb., 2010

2009

Cross-Entropy-Based Replay of Concurrent Programs.

Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov

Proceedings of the Fundamental Approaches to Software Engineering, 2009

Regression verification.

Benny Godlin, Ofer Strichman

Proceedings of the 46th Design Automation Conference, 2009

2008

Inference rules for proving the equivalence of recursive procedures.

Benny Godlin, Ofer Strichman

Acta Informatica, 2008

Evaluations of Graph Polynomials.

Benny Godlin, Tomer Kotek, Johann A. Makowsky

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2008

A Most General Edge Elimination Polynomial.

Ilya Averbouch, Benny Godlin, Johann A. Makowsky

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2008

2007

Cross-Entropy Based Testing.

Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Computing Graph Polynomials on Graphs of Bounded Clique-Width.

Johann A. Makowsky, Udi Rotics, Ilya Averbouch, Benny Godlin

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2006

Formal verification of concurrent software: two case studies.

Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

2005

Regression Verification - A Practical Way to Verify Programs.

Ofer Strichman, Benny Godlin

Proceedings of the Verified Software: Theories, 2005