OS

Ofer Strichman

Technion – Israel Institute of Technology 0000-0001-9169-3751

151

Publications

4,195

Citations

31

h-index

67

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (68)
Book Chapter (63)
Book (7)
Preprint (7)
Report (3)

Filter by Open Access Type

Open Access (41)
Closed Access (110)

Filter by Authors

Ofer Strichman (151)
Daniel Kroening (39)
Sagar Chaki (13)
Hana Chockler (12)
Joël Ouaknine (9)

Filter by Topics

Formal Methods in Verification (89)
Logic, programming, and type systems (47)
Software Testing and Debugging Techniques (37)
Logic, Reasoning, and Knowledge (26)
Software Reliability and Analysis Research (23)