Benny Godlin - RankMe

14 papers A* 1B 5Journal 5Unranked 3

Year	Rank	Type	Title / 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

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski