Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Fostering collaboration among CPS professionals in academia, government, and industry

CPS-VO » Proceedings of the Twelfth Annual High Confidence Software and Systems Conference

Visible to the public Theme: Formal Synthesis

  • View
Submitted by Katie Dey on Wed, 05/02/2012 - 12:02pm
  • Program Synthesis for Performance
  • Preventing Exploits Against Software Of Uncertain Provenance
  • VIBRANCE: Automatic Removal of Security Vulnerabilities from Java Applications
  • Compositional Verification of Architectural Models
  • Formal Synthesis of Efficient Verified Emulators
  • Static Previrtualization
  • Synthesis of Concurrent Garbage Collectors
  • High Assurance Cyber Military Systems: A New DARPA Program
‹ VehicleForge.mil: A Distributed, Semantically-Aware Framework to Support the Needs of the Open Hardware Community up Program Synthesis for Performance ›
  • Printer-friendly version

Terms of Use  |  ©2023. CPS-VO