Ofer Strichman

(Formerly spelled 'Ofer Shtrichman')

	2009
57		Ofer Strichman: Regression Verification: Proving the Equivalence of Similar Programs. CAV 2009: 63
56		Michael Ryabtsev, Ofer Strichman: Translation Validation: From Simulink to C. CAV 2009: 696-701
55		Benny Godlin, Ofer Strichman: Regression verification. DAC 2009: 466-471
54		Hana Chockler, Ofer Strichman: Before and after vacuity. Formal Methods in System Design 34(1): 37-58 (2009)
53		Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady: An abstraction-based decision procedure for bit-vector arithmetic. STTT 11(2): 95-104 (2009)
	2008
52		Dan Goldwasser, Ofer Strichman, Shai Fine: A Theory-Based Decision Heuristic for DPLL(T). FMCAD 2008: 1-8
51		Hana Chockler, Arie Gurfinkel, Ofer Strichman: Beyond Vacuity: Towards the Strongest Passing Formula. FMCAD 2008: 1-8
50		Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman: Linear-Time Reductions of Resolution Proofs. Haifa Verification Conference 2008: 114-128
49		Vadim Ryvchin, Ofer Strichman: Local Restarts. SAT 2008: 271-276
48		Benny Godlin, Ofer Strichman: Inference rules for proving the equivalence of recursive procedures. Acta Inf. 45(6): 403-439 (2008)
47		Mirron Rozanov, Ofer Strichman: Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic. Electr. Notes Theor. Comput. Sci. 198(2): 3-17 (2008)
46		Sagar Chaki, Ofer Strichman: Three optimizations for Assume-Guarantee reasoning with L*. Formal Methods in System Design 32(3): 267-284 (2008)
45		Roman Gershman, Maya Koifman, Ofer Strichman: An approach for extracting a small unsatisfiable core. Formal Methods in System Design 33(1-3): 1-27 (2008)
	2007
44		Arie Matsliah, Ofer Strichman: Underapproximation for Model-Checking Based on Random Cryptographic Constructions. CAV 2007: 339-351
43		Hana Chockler, Ofer Strichman: Easier and More Informative Vacuity Checks. MEMOCODE 2007: 189-198
42		Sagar Chaki, Ofer Strichman: Optimized L*-Based Assume-Guarantee Reasoning. TACAS 2007: 276-291
41		Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady: Deciding Bit-Vector Arithmetic with Abstraction. TACAS 2007: 358-372
40		Ofer Strichman, Armin Biere: Preface. Electr. Notes Theor. Comput. Sci. 174(3): 1-2 (2007)
	2006
39		Roman Gershman, Maya Koifman, Ofer Strichman: Deriving Small Unsatisfiable Cores with Dominators. CAV 2006: 109-122
38		Armin Biere, Ofer Strichman: Preface. Electr. Notes Theor. Comput. Sci. 144(1): 1- (2006)
37		Amir Pnueli, Ofer Strichman: Reduced Functional Consistency of Uninterpreted Functions. Electr. Notes Theor. Comput. Sci. 144(2): 53-65 (2006)
36		Yoav Rodeh, Ofer Strichman: Building small equality graphs for deciding equality logic with uninterpreted functions. Inf. Comput. 204(1): 26-59 (2006)
35		Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
	2005
34		Anubhav Gupta, Ofer Strichman: Abstraction Refinement for Bounded Model Checking. CAV 2005: 112-124
33		Orly Meir, Ofer Strichman: Yet Another Decision Procedure for Equality Logic. CAV 2005: 307-320
32		Roman Gershman, Ofer Strichman: HaifaSat: A New Robust SAT Solver. Haifa Verification Conference 2005: 76-89
31		Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald: Proof-guided underapproximation-widening for multi-process systems. POPL 2005: 122-131
30		Roman Gershman, Ofer Strichman: Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas. SAT 2005: 423-429
29		Ofer Strichman, Benny Godlin: Regression Verification - A Practical Way to Verify Programs. VSTTE 2005: 496-501
28		Armin Biere, Ofer Strichman: Preface. Electr. Notes Theor. Comput. Sci. 119(2): 1- (2005)
27		Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman: Computational challenges in bounded model checking. STTT 7(2): 174-183 (2005)
26		Armin Biere, Ofer Strichman: Introductory paper. STTT 7(2): 87-88 (2005)
	2004
25		Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli: Range Allocation for Separation Logic. CAV 2004: 148-161
24		Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman: Abstraction-Based Satisfiability Solving of Presburger Arithmetic. CAV 2004: 308-320
23		Sagar Chaki, Alex Groce, Ofer Strichman: Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82
22		Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman: Completeness and Complexity of Bounded Model Checking. VMCAI 2004: 85-96
21		Ofer Strichman: Deciding Disjunctive Linear Arithmetic with SAT CoRR cs.LO/0402002: (2004)
20		Ofer Strichman: Accelerating Bounded Model Checking of Safety Properties. Formal Methods in System Design 24(1): 5-24 (2004)
19		Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav: Efficient Verification of Sequential and Concurrent C Programs. Formal Methods in System Design 25(2-3): 129-166 (2004)
18		Edmund M. Clarke, Anubhav Gupta, Ofer Strichman: SAT-based counterexample-guided abstraction refinement. IEEE Trans. on CAD of Integrated Circuits and Systems 23(7): 1113-1123 (2004)
	2003
17		Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman: Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34
16		Daniel Kroening, Ofer Strichman: Efficient Computation of Recurrence Diameters. VMCAI 2003: 298-309
15		Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu: Bounded model checking. Advances in Computers 58: 118-149 (2003)
14		Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). Inf. Comput. 184(1): 227 (2003)
	2002
13		Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant: Deciding Separation Formulas with SAT. CAV 2002: 209-222
12		Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman: SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. CAV 2002: 265-279
11		Ofer Strichman: On Solving Presburger and Linear Arithmetic with SAT. FMCAD 2002: 160-170
10		Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: The Small Model Property: How Small Can It Be? Inf. Comput. 178(1): 279-293 (2002)
	2001
9		Yoav Rodeh, Ofer Strichman: Finite Instantiations in Equivalence Logic with Uninterpreted Functions. CAV 2001: 144-154
8		Ofer Strichman: Pruning Techniques for the SAT-Based Bounded Model Checking Problem. CHARME 2001: 58-70
7		Amir Pnueli, Yoav Rodeh, Ofer Strichman: Range Allocation for Equivalence Logic. FSTTCS 2001: 317-333
	2000
6		Ofer Strichman: Tuning SAT Checkers for Bounded Model Checking. CAV 2000: 480-494
	1999
5		Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: Deciding Equality Formulas by Small Domains Instantiations. CAV 1999: 455-469
4		Amir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation: From SIGNAL to C. Correct System Design 1999: 231-255
	1998
3		Amir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation: From DC+ to C*. FM-Trends 1998: 137-150
2		Amir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation for Synchronous Languages. ICALP 1998: 235-246
1		Amir Pnueli, Ofer Strichman, Michael Siegel: The Code Validation Tool CVT: Automatic Verification of a Compilation Process. STTT 2(2): 192-201 (1998)

Coauthor Index

1	Omer Bar-Ilan	[50]
2	Armin Biere	[15] [26] [28] [38] [40]
3	Bryan A. Brady	[41] [53]
4	Randal E. Bryant	[13] [41] [53]
5	Sagar Chaki	[17] [19] [23] [35] [42] [46]
6	Hana Chockler	[43] [51] [54]
7	Alessandro Cimatti	[15]
8	Edmund M. Clarke	[12] [15] [17] [18] [19] [22] [27]
9	Shai Fine	[52]
10	Oded Fuhrmann	[50]
11	Roman Gershman	[30] [32] [39] [45]
12	Benny Godlin	[29] [48] [55]
13	Dan Goldwasser	[52]
14	Alex Groce	[17] [19] [23] [35]
15	Orna Grumberg	[31]
16	Anubhav Gupta	[12] [18] [34]
17	Arie Gurfinkel	[51]
18	Shlomo Hoory	[50]
19	Maya Koifman	[39] [45]
20	Daniel Kroening (Daniel Kröning)	[16] [22] [24] [27] [35] [41] [53]
21	James H. Kukula	[12]
22	Flavio Lerda	[31]
23	Arie Matsliah	[44]
24	Orly Meir	[33]
25	Joël Ouaknine	[19] [22] [24] [27] [41] [53]
26	Amir Pnueli	[1] [2] [3] [4] [5] [7] [10] [14] [25] [37]
27	Yoav Rodeh	[5] [7] [9] [10] [14] [36]
28	Mirron Rozanov	[47]
29	Michael Ryabtsev	[56]
30	Vadim Ryvchin	[49]
31	Sanjit A. Seshia	[13] [24] [41] [53]
32	Ohad Shacham	[50]
33	Michael Siegel	[1] [2] [3] [4] [5] [10] [14]
34	Nishant Sinha	[25]
35	Muralidhar Talupur	[25]
36	Michael Theobald	[31]
37	Karen Yorav (Karen Laster)	[19]
38	Yunshan Zhu	[15]

Colors in the list of coauthors