Funding Sources

Funding Sources Banner Image - PRECISE has received over $24 million in funding since 2008

 

  • Declarative Dispersion-Oriented Software
  • Synthesis of Platform-aware Attack-Resilient Control Systems
  • TerraSwarms
  • Assuring Safety and Security of Medical Cyber Physical Systems
  • High Confidence Vehicular Control Systems
  • Progressive Model Generation for Adaptive, Resilient System Software Phase II
  • Security and Privacy-Aware Cyber-Physical Systems
  • ZIpCare: Real-Time Heart Monitoring Wearable Patch
  • An Expedition in Computing for Compiling Printable Programmable Machines
  • Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems
  • Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
  • Expeditions in Computer Augmented Program Engineering
  • Improving Parallel Program Reliability Through Novel Approaches to Precise Dynamic Data Race Detection
  • Low-overhead, Unobtrusive Cache Contention Detection and Repair
  • MRI Consortium Development: Heterogeneous, Autonomic, Wireless Sensor/Actuator Networks for Scalable Cyber-Physical Systems
  • Network Function Virtualization with Timing Guarantees
  • Quantitative Analysis and Design of Control Networks
  • Resource Management for Real-Time Cloud Computing
  • Rigorous Design and Development of Closed-Loop Medical CPS
  • Robust Composition and Interoperability of CPS Components
  • Safety-feature Modeling and Adaptive Resource Management for Mixed-Criticality Cyber-Physical Systems
  • Security and Privacy-Aware Cyber-Physical Systems
  • Dynamic Real-Time Virtualization and Cloud Computing
  • Probalogical Hybrid Defense
  • Theory and Virtualization Platform for Compositional Real-Time Systems
  • Global Collaborative R&D Program with Kookmin University
  • Safety Algorithms for Autonomous Vehicles and Electric Vehicle Architectures
  • Technologies for Safe and Efficient Transportation