University of Illinois

file

Visible to the public Flexible Formal Methods for High Assurance: The Maude Experience

Submitted by Jose Meseguer on Wed, 08/24/2011 - 6:53pm. Contributor:

Presented as part of the 2004 HCSS conference.

file

Visible to the public Narrowing Reachability Analysis

Submitted by Jose Meseguer on Wed, 08/24/2011 - 9:21am. Contributor:

Presented as part of the 2005 HCSS conference.

file

Visible to the public Matching Logic

Submitted by TimTh on Mon, 05/16/2011 - 9:31am. Contributor:

Presented as part of the 2011 HCSS conference.

file

Visible to the public Using Multicore Architectures in Cyber-Physical Systems

Submitted by Sibin Mohan on Fri, 02/25/2011 - 10:34am. Contributors:

The demand for higher performance computing platforms has dramatically increased during the last decade due to the continuous feature enhancement process. For instance, in automotive systems new safety features like `night view assist’ and `automatic emergency breaking’ require the fusion of sensor data, video processing and real-time warnings when an obstacle is detected on the road; in the avionics domain new applications such as the helmet-mounted display systems require intensive video processing capabilities.