Software Engineering Institute

Ofer Strichman

Ofer Strichman is an SEI alumni employee.

• All

Results of SEI Line-Funded Exploratory New Starts Projects

August 1, 2012 • Technical Report

By Len Bass, Nanette Brown, Gene Cahill, William Casey, Sagar Chaki, Cory Cohen, Dionisio de Niz, David French, Arie Gurfinkel, Rick Kazman, Edwin J. Morris, Brad Myers, Bill Nichols, Robert Nord, Ipek Ozkaya, Raghvinder Sangwan, Soumya Simanta, Ofer Strichman, Peppo Valetto

Time-Bounded Analysis of Real-Time Systems

October 31, 2011 • Presentation

By Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman

Optimized L*-Based Assume-Guarantee Reasoning

March 1, 2007 • Conference Paper

By Sagar Chaki, Ofer Strichman