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