Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Poster

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:

file

CPS: Medium: Security Certification of Autonomous Cyber-Physical Systems

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

Yier Jin

file

CPS: Small: Self-Improving Cyber-Physical Systems

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

Susmit Jha

file

CPS: Medium: Batteryless Sensors Enabling Smart Green Infrastructure

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

file

CPS: Small: RUI: Incentive Mechanisms for Mobile Crowdsourcing, Reaching Spatial and Temporal Coverage Under Budget Constraints

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

file

CPS: Medium: Detecting and Controlling Unwanted Data Flows in the Internet of Things

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

file

CPS: Medium: Collaborative Research: Spatio-Temporal Logics for Analyzing and Querying Perception Systems

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

file

CAREER: Formal Methods for Human-Cyber-Physical Systems

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

Lu Feng

file

CPS: Medium: Collaborative Research: Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems

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

Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems. (PI), , Georgios Fainekosand

file

CPS: Small: Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems

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

Parasara Duggirala

Terms of Use | ©2023. CPS-VO