dblp.uni-trier.dewww.uni-trier.de

Ofer Strichman Vis

(Formerly spelled 'Ofer Shtrichman')

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
57EEOfer Strichman: Regression Verification: Proving the Equivalence of Similar Programs. CAV 2009: 63
56EEMichael Ryabtsev, Ofer Strichman: Translation Validation: From Simulink to C. CAV 2009: 696-701
55EEBenny Godlin, Ofer Strichman: Regression verification. DAC 2009: 466-471
54EEHana Chockler, Ofer Strichman: Before and after vacuity. Formal Methods in System Design 34(1): 37-58 (2009)
53EERandal 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
52EEDan Goldwasser, Ofer Strichman, Shai Fine: A Theory-Based Decision Heuristic for DPLL(T). FMCAD 2008: 1-8
51EEHana Chockler, Arie Gurfinkel, Ofer Strichman: Beyond Vacuity: Towards the Strongest Passing Formula. FMCAD 2008: 1-8
50EEOmer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman: Linear-Time Reductions of Resolution Proofs. Haifa Verification Conference 2008: 114-128
49EEVadim Ryvchin, Ofer Strichman: Local Restarts. SAT 2008: 271-276
48EEBenny Godlin, Ofer Strichman: Inference rules for proving the equivalence of recursive procedures. Acta Inf. 45(6): 403-439 (2008)
47EEMirron Rozanov, Ofer Strichman: Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic. Electr. Notes Theor. Comput. Sci. 198(2): 3-17 (2008)
46EESagar Chaki, Ofer Strichman: Three optimizations for Assume-Guarantee reasoning with L*. Formal Methods in System Design 32(3): 267-284 (2008)
45EERoman 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
44EEArie Matsliah, Ofer Strichman: Underapproximation for Model-Checking Based on Random Cryptographic Constructions. CAV 2007: 339-351
43EEHana Chockler, Ofer Strichman: Easier and More Informative Vacuity Checks. MEMOCODE 2007: 189-198
42EESagar Chaki, Ofer Strichman: Optimized L*-Based Assume-Guarantee Reasoning. TACAS 2007: 276-291
41EERandal 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
40EEOfer Strichman, Armin Biere: Preface. Electr. Notes Theor. Comput. Sci. 174(3): 1-2 (2007)
2006
39EERoman Gershman, Maya Koifman, Ofer Strichman: Deriving Small Unsatisfiable Cores with Dominators. CAV 2006: 109-122
38EEArmin Biere, Ofer Strichman: Preface. Electr. Notes Theor. Comput. Sci. 144(1): 1- (2006)
37EEAmir Pnueli, Ofer Strichman: Reduced Functional Consistency of Uninterpreted Functions. Electr. Notes Theor. Comput. Sci. 144(2): 53-65 (2006)
36EEYoav Rodeh, Ofer Strichman: Building small equality graphs for deciding equality logic with uninterpreted functions. Inf. Comput. 204(1): 26-59 (2006)
35EEAlex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
2005
34EEAnubhav Gupta, Ofer Strichman: Abstraction Refinement for Bounded Model Checking. CAV 2005: 112-124
33EEOrly Meir, Ofer Strichman: Yet Another Decision Procedure for Equality Logic. CAV 2005: 307-320
32EERoman Gershman, Ofer Strichman: HaifaSat: A New Robust SAT Solver. Haifa Verification Conference 2005: 76-89
31EEOrna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald: Proof-guided underapproximation-widening for multi-process systems. POPL 2005: 122-131
30EERoman Gershman, Ofer Strichman: Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas. SAT 2005: 423-429
29EEOfer Strichman, Benny Godlin: Regression Verification - A Practical Way to Verify Programs. VSTTE 2005: 496-501
28EEArmin Biere, Ofer Strichman: Preface. Electr. Notes Theor. Comput. Sci. 119(2): 1- (2005)
27EEEdmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman: Computational challenges in bounded model checking. STTT 7(2): 174-183 (2005)
26EEArmin Biere, Ofer Strichman: Introductory paper. STTT 7(2): 87-88 (2005)
2004
25EEMuralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli: Range Allocation for Separation Logic. CAV 2004: 148-161
24EEDaniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman: Abstraction-Based Satisfiability Solving of Presburger Arithmetic. CAV 2004: 308-320
23EESagar Chaki, Alex Groce, Ofer Strichman: Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82
22EEEdmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman: Completeness and Complexity of Bounded Model Checking. VMCAI 2004: 85-96
21EEOfer Strichman: Deciding Disjunctive Linear Arithmetic with SAT CoRR cs.LO/0402002: (2004)
20EEOfer Strichman: Accelerating Bounded Model Checking of Safety Properties. Formal Methods in System Design 24(1): 5-24 (2004)
19EESagar 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)
18EEEdmund 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
17EESagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman: Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34
16EEDaniel 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)
14EEAmir 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
13EEOfer Strichman, Sanjit A. Seshia, Randal E. Bryant: Deciding Separation Formulas with SAT. CAV 2002: 209-222
12EEEdmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman: SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. CAV 2002: 265-279
11EEOfer Strichman: On Solving Presburger and Linear Arithmetic with SAT. FMCAD 2002: 160-170
10EEAmir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: The Small Model Property: How Small Can It Be? Inf. Comput. 178(1): 279-293 (2002)
2001
9EEYoav Rodeh, Ofer Strichman: Finite Instantiations in Equivalence Logic with Uninterpreted Functions. CAV 2001: 144-154
8EEOfer Strichman: Pruning Techniques for the SAT-Based Bounded Model Checking Problem. CHARME 2001: 58-70
7EEAmir 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
5EEAmir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: Deciding Equality Formulas by Small Domains Instantiations. CAV 1999: 455-469
4EEAmir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation: From SIGNAL to C. Correct System Design 1999: 231-255
1998
3EEAmir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation: From DC+ to C*. FM-Trends 1998: 137-150
2EEAmir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation for Synchronous Languages. ICALP 1998: 235-246
1EEAmir Pnueli, Ofer Strichman, Michael Siegel: The Code Validation Tool CVT: Automatic Verification of a Compilation Process. STTT 2(2): 192-201 (1998)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)