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
File
Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems
Parasara Sridhar Duggirala Submitted by Parasara Sridhar Duggirala on June 18th, 2021
File
Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems
Georgios Fainekos Submitted by Georgios Fainekos on June 18th, 2021
Subscribe to Verification and IoT