File
Security Certification of Autonomous Cyber-Physical Systems
Submitted by Yier Jin on June 18th, 2021
File
Secure Interactions with Internet of Things
Kang Shin Submitted by Kang Shin on June 18th, 2021
File
Secure Computing and Cross-Layer Anomaly Detection in the Internet of Things
Submitted by Anonymous on June 18th, 2021
File
Safety-Critical Cyber-Physical Systems- From Validation & Verification to Test & Evaluation
Aaron Ames Submitted by Aaron Ames on June 18th, 2021
File
Robust Verification of Cyber-Physical Systems
Submitted by Pavithra Prabhakar on June 18th, 2021
File
Rethinking Communication and Control for Low-Latency, High Reliability loT Devices
Submitted by Anonymous on June 18th, 2021
File
Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems
Kristin Yvonne Rozier Submitted by Kristin Yvonne Rozier on June 18th, 2021
File
Real-time spatial audio on the Internet of Things
Submitted by Anonymous on June 18th, 2021
File
Quantitative Contract-Based Synthesis and Verification for CPS Security
Submitted by Anonymous on June 18th, 2021
File
Provably Correct Shared Control for Human-Embedded Autonomous Systems
Submitted by Ufuk Topcu on June 18th, 2021
Subscribe to CPS PI Meeting 2021