Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Ofer Strichman
August 2012 - Technical Report Results of SEI Line-Funded Exploratory New Starts Projects

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.

October 2011 - Presentation Time-Bounded Analysis of Real-Time Systems

Topics: Cyber-Physical Systems

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).

March 2007 - Conference Paper Optimized L*-Based Assume-Guarantee Reasoning

Paper from the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2007.