File
CPS: Medium: Quantitative Contract-Based Synthesis and Verification for CPS Security
Submitted by Anonymous on June 9th, 2021
File
CPS: Breakthrough: Charge-Recycling based Computing Paradigm for Wirelessly Powered Internet-of-Things
Submitted by Emre Salman on June 9th, 2021
File
CPS: Medium: Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems
Kristin Yvonne Rozier Submitted by Kristin Yvonne Rozier on June 9th, 2021
File
CPS: Small: Collaborative Research: A Secure Communication Framework with Verifiable Authenticity for Immutable Services in Indu
Submitted by Atul Prakash on June 9th, 2021
File
CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems
Submitted by Atul Prakash on June 9th, 2021
File
CAREER: Robust Verification of Cyber-Physical Systems
Submitted by Pavithra Prabhakar on June 9th, 2021
File
CPS: Small: Sound Invariant Generation for Continuous and Hybrid Systems
Andre Platzer Submitted by Andre Platzer on June 9th, 2021
File
CPS: Medium: A Unified Framework for IoT Privacy
(Co-PI),
Hossein Pishro-Nik Submitted by Hossein Pishro-Nik on June 9th, 2021
File
CPS: Medium: Rethinking Communication and Control for Low-Latency, High Reliability loT Devices
Submitted by Anonymous on June 9th, 2021
File
CAREER: High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts
Submitted by Pierluigi Nuzzo on June 9th, 2021
Subscribe to NSF