Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Short Talk

file

Security Certification of Autonomous Cyber-Physical Systems

Submitted by Yier Jin on Fri, 06/18/2021 - 10:37am. Contributor:

Yier Jin

file

Secure Interactions with Internet of Things

Submitted by kgshin@eecs.umich... on Fri, 06/18/2021 - 10:37am. Contributor:

Kang Shin

file

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

Submitted by Anonymous on Fri, 06/18/2021 - 10:37am. Contributors:

file

Safety-Critical Cyber-Physical Systems- From Validation & Verification to Test & Evaluation

Submitted by AAmes on Fri, 06/18/2021 - 10:37am. Contributors:

file

Robust Verification of Cyber-Physical Systems

Submitted by Pavithra Prabhakar on Fri, 06/18/2021 - 10:37am. Contributors:

file

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

Submitted by Anonymous on Fri, 06/18/2021 - 10:37am. Contributors:

file

Quantitative Contract-Based Synthesis and Verification for CPS Security

Submitted by Anonymous on Fri, 06/18/2021 - 10:37am. Contributors:

file

Real-time spatial audio on the Internet of Things

Submitted by Anonymous on Fri, 06/18/2021 - 10:37am. Contributor:

Robert LiKamWa

file

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

Submitted by kyrozier on Fri, 06/18/2021 - 10:37am. Contributors:

file

Provably Correct Shared Control for Human-Embedded Autonomous Systems

Submitted by ufuktopcu on Fri, 06/18/2021 - 10:37am. Contributor:

Ufuk Topcu

Terms of Use | ©2023. CPS-VO