icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
Home
Publications
Authors
Ofer Strichman
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