Ofer Strichman

(Formerly spelled 'Ofer Shtrichman')

2009
51	EE	Hana Chockler, Ofer Strichman: Before and after vacuity. Formal Methods in System Design 34(1): 37-58 (2009)
2008
50	EE	Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman: Linear-Time Reductions of Resolution Proofs. Haifa Verification Conference 2008: 114-128
49	EE	Vadim Ryvchin, Ofer Strichman: Local Restarts. SAT 2008: 271-276
48	EE	Benny Godlin, Ofer Strichman: Inference rules for proving the equivalence of recursive procedures. Acta Inf. 45(6): 403-439 (2008)
47	EE	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	EE	Sagar Chaki, Ofer Strichman: Three optimizations for Assume-Guarantee reasoning with L*. Formal Methods in System Design 32(3): 267-284 (2008)
45	EE	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	EE	Arie Matsliah, Ofer Strichman: Underapproximation for Model-Checking Based on Random Cryptographic Constructions. CAV 2007: 339-351
43	EE	Hana Chockler, Ofer Strichman: Easier and More Informative Vacuity Checks. MEMOCODE 2007: 189-198
42	EE	Sagar Chaki, Ofer Strichman: Optimized L*-Based Assume-Guarantee Reasoning. TACAS 2007: 276-291
41	EE	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	EE	Ofer Strichman, Armin Biere: Preface. Electr. Notes Theor. Comput. Sci. 174(3): 1-2 (2007)
2006
39	EE	Roman Gershman, Maya Koifman, Ofer Strichman: Deriving Small Unsatisfiable Cores with Dominators. CAV 2006: 109-122
38	EE	Armin Biere, Ofer Strichman: Preface. Electr. Notes Theor. Comput. Sci. 144(1): 1- (2006)
37	EE	Amir Pnueli, Ofer Strichman: Reduced Functional Consistency of Uninterpreted Functions. Electr. Notes Theor. Comput. Sci. 144(2): 53-65 (2006)
36	EE	Yoav Rodeh, Ofer Strichman: Building small equality graphs for deciding equality logic with uninterpreted functions. Inf. Comput. 204(1): 26-59 (2006)
35	EE	Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
2005
34	EE	Anubhav Gupta, Ofer Strichman: Abstraction Refinement for Bounded Model Checking. CAV 2005: 112-124
33	EE	Orly Meir, Ofer Strichman: Yet Another Decision Procedure for Equality Logic. CAV 2005: 307-320
32	EE	Roman Gershman, Ofer Strichman: HaifaSat: A New Robust SAT Solver. Haifa Verification Conference 2005: 76-89
31	EE	Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald: Proof-guided underapproximation-widening for multi-process systems. POPL 2005: 122-131
30	EE	Roman Gershman, Ofer Strichman: Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas. SAT 2005: 423-429
29	EE	Ofer Strichman, Benny Godlin: Regression Verification - A Practical Way to Verify Programs. VSTTE 2005: 496-501
28	EE	Armin Biere, Ofer Strichman: Preface. Electr. Notes Theor. Comput. Sci. 119(2): 1- (2005)
27	EE	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman: Computational challenges in bounded model checking. STTT 7(2): 174-183 (2005)
26	EE	Armin Biere, Ofer Strichman: Introductory paper. STTT 7(2): 87-88 (2005)
2004
25	EE	Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli: Range Allocation for Separation Logic. CAV 2004: 148-161
24	EE	Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman: Abstraction-Based Satisfiability Solving of Presburger Arithmetic. CAV 2004: 308-320
23	EE	Sagar Chaki, Alex Groce, Ofer Strichman: Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82
22	EE	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman: Completeness and Complexity of Bounded Model Checking. VMCAI 2004: 85-96
21	EE	Ofer Strichman: Deciding Disjunctive Linear Arithmetic with SAT CoRR cs.LO/0402002: (2004)
20	EE	Ofer Strichman: Accelerating Bounded Model Checking of Safety Properties. Formal Methods in System Design 24(1): 5-24 (2004)
19	EE	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	EE	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	EE	Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman: Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34
16	EE	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	EE	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	EE	Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant: Deciding Separation Formulas with SAT. CAV 2002: 209-222
12	EE	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	EE	Ofer Strichman: On Solving Presburger and Linear Arithmetic with SAT. FMCAD 2002: 160-170
10	EE	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	EE	Yoav Rodeh, Ofer Strichman: Finite Instantiations in Equivalence Logic with Uninterpreted Functions. CAV 2001: 144-154
8	EE	Ofer Strichman: Pruning Techniques for the SAT-Based Bounded Model Checking Problem. CHARME 2001: 58-70
7	EE	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	EE	Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: Deciding Equality Formulas by Small Domains Instantiations. CAV 1999: 455-469
4	EE	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	EE	Amir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation for Synchronous Languages. ICALP 1998: 235-246
1	EE	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]
4	Randal E. Bryant	[13] [41]
5	Sagar Chaki	[17] [19] [23] [35] [42] [46]
6	Hana Chockler	[43] [51]
7	Alessandro Cimatti	[15]
8	Edmund M. Clarke	[12] [15] [17] [18] [19] [22] [27]
9	Oded Fuhrmann	[50]
10	Roman Gershman	[30] [32] [39] [45]
11	Benny Godlin	[29] [48]
12	Alex Groce	[17] [19] [23] [35]
13	Orna Grumberg	[31]
14	Anubhav Gupta	[12] [18] [34]
15	Shlomo Hoory	[50]
16	Maya Koifman	[39] [45]
17	Daniel Kroening (Daniel Kröning)	[16] [22] [24] [27] [35] [41]
18	James H. Kukula	[12]
19	Flavio Lerda	[31]
20	Arie Matsliah	[44]
21	Orly Meir	[33]
22	Joël Ouaknine	[19] [22] [24] [27] [41]
23	Amir Pnueli	[1] [2] [3] [4] [5] [7] [10] [14] [25] [37]
24	Yoav Rodeh	[5] [7] [9] [10] [14] [36]
25	Mirron Rozanov	[47]
26	Vadim Ryvchin	[49]
27	Sanjit A. Seshia	[13] [24] [41]
28	Ohad Shacham	[50]
29	Michael Siegel	[1] [2] [3] [4] [5] [10] [14]
30	Nishant Sinha	[25]
31	Muralidhar Talupur	[25]
32	Michael Theobald	[31]
33	Karen Yorav (Karen Laster)	[19]
34	Yunshan Zhu	[15]

Colors in the list of coauthors