Industry

The document was issued by industry or industrial organization.
file

Visible to the public L4.verified

Presented as part of the 2010 HCSS conference.

file

Visible to the public Model-Based Design Overview

This presentation conceptualizes Model-Based Design of a cyber-physical system. Three stages of a system under design at various levels of detail are depicted. The designs are captured by models that have computational semantics based on the execution engine on a host platform. The implementation as generated code executes on a target platform. Because executable, the design can be explored, tested, and verified while at various levels of detail. This enables separation of concerns and so allows raising the level of abstraction in design.

file

Visible to the public Use of the E Language

Presented as part of the 2009 HCSS conference.

file

Visible to the public Multicore and Cloud Computing - Time to Start Afresh

Presented as part of the 2009 HCSS conference.

file

Visible to the public Automated Security Analysis: Tool Support for Evaluating C Code

Presented as part of the 2009 HCSS conference.

file

Visible to the public Detecting "Certified Pre-owned" Software and Devices

file

Visible to the public Discovery of Vulnerabilities in Binary Code