Concepedia

Ofer Strichman

OS

Statistics

Publications

29

Citations

1.2K

H-Index

18

Active since

2003

Affiliations

Technion – Israel Institute of Technology(Current)

Carnegie Mellon University

IBM Research - Haifa

University of Oxford

Software Engineering Institute

Ofer Strichman is an author at Technion – Israel Institute of Technology specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningVerificationFormal VerificationSoftware AnalysisProgram AnalysisComputational ComplexityComputer Engineering

Publications per year

2003–2019

29

Publications

29

Error explanation with distance metrics

Alex Groce, Sagar Chaki, Daniel Kroening et al. · International Journal on Software Tools for Technology Transfer · 2005 · 190 citations

Engineering, Geometry, Measurement +8

Regression verification

Benny Godlin, Ofer Strichman · 2009 · 112 citations

Program Checking, Engineering, Automated Reasoning +13

Regression verification: proving the equivalence of similar programs

Benny Godlin, Ofer Strichman · Software Testing Verification and Reliability · 2012 · 87 citations

Program Checking, Engineering, Verification +16

SAT-Based Counterexample-Guided Abstraction Refinement

E. Clarke, Aarti Gupta, Ofer Strichman · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2004 · 78 citations

Program Checking, Engineering, Abstraction Phase +14

Proof-guided underapproximation-widening for multi-process systems

Orna Grümberg, Flavio Lerda, Ofer Strichman et al. · 2005 · 66 citations

Mathematical Programming, Engineering, Verification +20

1–5 of 29