Ofer Strichman
Software Engineering Institute
Publications by Ofer Strichman
-
Results of SEI Line-Funded Exploratory New Starts Projects
August 01, 2012 • Technical Report
Len BassRick KazmanEdwin J. Morris
This report describes the line-funded exploratory new starts (LENS) projects that were undertaken during fiscal year 2011. For each project, the report presents a brief description and a recounting of the research that was done, as well as a synopsis of the results of the project.
read -
Time-Bounded Analysis of Real-Time Systems
October 31, 2011 • Presentation
Sagar ChakiArie GurfinkelSoonho Kong
This presentation considers the problem of verifying functional correctness of periodic Real-Time Embedded Software (RTES), a popular variant of RTES that execute periodic tasks in an order determined by Rate Monotonic Scheduling (RMS).
read -
Optimized L*-Based Assume-Guarantee Reasoning
March 01, 2007 • Conference Paper
Sagar ChakiOfer Strichman
Paper from the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2007.
read