Formal Synthesis (HCSS'12)

file

Synthesizing Architectural Models of Cyber-Physical Systems

Submitted by pmanolios on Mon, 07/30/2012 - 9:42am. Contributors:

Presented as part of the 2012 HCSS conference.

file

High Assurance Cyber Military Systems: A New DARPA Program

Submitted by kathleen.fisher on Tue, 05/08/2012 - 11:45am. Contributor:

Kathleen Fisher

Presented as part of the 2012 HCSS conference.

Abstract:

file

Static Previrtualization

Submitted by Natarajan Shankar on Tue, 05/08/2012 - 11:25am. Contributors:

Presented as part of the 2012 HCSS conference.

Abstract:

file

Formal Synthesis of Efficient Verified Emulators

Submitted by TimTh on Tue, 05/08/2012 - 11:02am. Contributor:

Magnus Myreen

Presented as part of the 2012 HCSS conference.

Abstract:

file

Compositional Verification of Architectural Models

Submitted by dcofer on Tue, 05/08/2012 - 10:55am. Contributor:

Darren Cofer

Presented as part of the 2012 HCSS conference.

file

Preventing Exploits Against Software Of Uncertain Provenance

Submitted by TimTh on Tue, 05/08/2012 - 12:01am. Contributors:

Presented as part of the 2012 HCSS conference.

David Melski, melski@grammatech.com, GrammaTech, Inc.

file

High Assurance Cyber Military Systems: A New DARPA Program

Submitted by kathleen.fisher on Tue, 05/01/2012 - 10:07pm. Contributor:

Kathleen Fisher

Abstract:

file

Synthesis of Concurrent Garbage Collectors

Submitted by TimTh on Tue, 05/01/2012 - 10:04pm. Contributors:

Presented as part of the 2012 HCSS conference.

file

Static Previrtualization

Submitted by TimTh on Tue, 05/01/2012 - 9:59pm. Contributors:

Abstract:

file

Synthesizing Architectural Models of Cyber-Physical Systems

Submitted by TimTh on Tue, 05/01/2012 - 9:53pm. Contributor:

Pete Manolios

Abstract: