Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Poster

file

CPS: Medium: Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems

Submitted by kyrozier on Wed, 06/09/2021 - 12:36pm. Contributors:

file

CPS: Small: Collaborative Research: A Secure Communication Framework with Verifiable Authenticity for Immutable Services in Indu

Submitted by Atul Prakash on Wed, 06/09/2021 - 12:36pm. Contributors:

file

CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems

Submitted by Atul Prakash on Wed, 06/09/2021 - 12:36pm. Contributors:

file

CAREER: Robust Verification of Cyber-Physical Systems

Submitted by Pavithra Prabhakar on Wed, 06/09/2021 - 12:36pm. Contributors:

file

CPS: Medium: A Unified Framework for IoT Privacy

Submitted by Hossein Pishro-Nik on Wed, 06/09/2021 - 12:36pm. Contributors:

(Co-PI),

file

CPS: Small: Sound Invariant Generation for Continuous and Hybrid Systems

Submitted by Andre Platzer on Wed, 06/09/2021 - 12:36pm. Contributors:

file

CAREER: High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts

Submitted by nuzzo on Wed, 06/09/2021 - 12:36pm. Contributor:

Pierluigi Nuzzo

file

CPS: Medium: Rethinking Communication and Control for Low-Latency, High Reliability loT Devices

Submitted by Anonymous on Wed, 06/09/2021 - 12:36pm. Contributors:

file

CPS: Small: Real-time spatial audio on the Internet of Things

Submitted by Anonymous on Wed, 06/09/2021 - 12:36pm. Contributor:

Robert LiKamWa

file

CPS: Medium: Secure Computing and Cross-Layer Anomaly Detection in the Internet of Things

Submitted by Anonymous on Wed, 06/09/2021 - 12:36pm. Contributors:

Terms of Use | ©2023. CPS-VO