Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Presentation
file
Syntax-Guided Synthesis for Cyber-Physical Systems
Submitted by Anonymous on Fri, 06/18/2021 - 9:37am. Contributor:
Hadas Kress Gazit
Short Talk
Verification and IoT
1837506
CPS PI Meeting 2021
NSF
Presentation
file
Support for Security and Safety of Programmable IoT Systems
Submitted by Atul Prakash on Fri, 06/18/2021 - 9:37am. Contributors:
Atul Prakash
Darko Marinov
Short Talk
Verification and IoT
1646392
CPS PI Meeting 2021
Presentation
file
Spatio-Temporal Logics for Analyzing and Querying Perception Systems
Submitted by fainekos on Fri, 06/18/2021 - 9:37am. Contributors:
Georgios Fainekos
Yezhou Yang
Jyotirmoy V. Deshmukh
Short Talk
Verification and IoT
2038666
2039087
CPS PI Meeting 2021
NSF
Presentation
file
Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems
Submitted by Harpreet Dhillon on Fri, 06/18/2021 - 9:37am. Contributors:
Harpreet Dhillon
Walid Saad
Short Talk
Verification and IoT
1739642
CPS PI Meeting 2021
NSF
Presentation
file
Sound Invariant Generation for Continuous and Hybrid Systems
Submitted by Andre Platzer on Fri, 06/18/2021 - 9:37am. Contributors:
André Platzer
Katherine Cordwell
Yong Kiam Tan
Andrew Sogokon
Stefan Mitsch
Short Talk
Verification and IoT
1739629
CPS PI Meeting 2021
NSF
Presentation
file
Security Certification of Autonomous Cyber-Physical Systems
Submitted by Yier Jin on Fri, 06/18/2021 - 9:37am. Contributor:
Yier Jin
Short Talk
Verification and IoT
1818500
CPS PI Meeting 2021
NSF
Presentation
file
Self-Improving Cyber-Physical Systems
Submitted by susmitj on Fri, 06/18/2021 - 9:37am. Contributor:
Susmit Jha
Short Talk
Verification and IoT
1740079
CPS PI Meeting 2021
NSF
Presentation
file
Safety-Critical Cyber-Physical Systems- From Validation & Verification to Test & Evaluation
Submitted by AAmes on Fri, 06/18/2021 - 9:37am. Contributors:
Aaron Ames
Richard M. Murray
Short Talk
Verification and IoT
1932091
CPS PI Meeting 2021
NSF
Presentation
file
Secure Computing and Cross-Layer Anomaly Detection in the Internet of Things
Submitted by Anonymous on Fri, 06/18/2021 - 9:37am. Contributors:
Soummya Kar
José M. F. Moura
Swarun Kumar
Short Talk
Verification and IoT
1837607
CPS PI Meeting 2021
NSF
Presentation
file
Secure Interactions with Internet of Things
Submitted by kgshin@eecs.umich... on Fri, 06/18/2021 - 9:37am. Contributor:
Kang Shin
Short Talk
Verification and IoT
1646130
CPS PI Meeting 2021
NSF
Presentation
« first
‹ previous
…
32
33
34
35
36
37
38
39
40
…
next ›
last »
