Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Poster

file

CPS:Small: Syntax-Guided Synthesis for Cyber-Physical Systems

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

Hadas Kress Gazit

file

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

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

Robert LiKamWa

file

CPS: Small: Self-Improving Cyber-Physical Systems

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

Susmit Jha

file

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

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

Yier Jin

file

CPS: Medium: Batteryless Sensors Enabling Smart Green Infrastructure

Submitted by Anonymous on Wed, 06/09/2021 - 1: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 - 1:36pm. Contributors:

file

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

Submitted by fainekos on Wed, 06/09/2021 - 1: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 - 1:36pm. Contributors:

file

CAREER: Formal Methods for Human-Cyber-Physical Systems

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

Lu Feng

file

CPS: Small: Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems

Submitted by Harpreet Dhillon on Wed, 06/09/2021 - 1:36pm. Contributors:

Terms of Use | ©2023. CPS-VO