Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Code of Conduct
Program Agenda
Lightning Talks
Poster Sessions
Mini-Workshops
Submit Poster
Submit Slides
Files
CPS-VO
»
NSF CPS PI Meetings
»
2021 NSF Cyber-Physical Systems Principal Investigators' Meeting
» VERIFICATION AND IOT
Verification and IoT
file
Uncertainty-aware Framework for Specifying, Designing and Verifying Cyber-Physical Systems
Submitted by Anonymous on Fri, 06/18/2021 - 10:37am. Contributors:
Paul Bogdan
J. Deshmukh
Short Talk
Verification and IoT
1932620
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 - 10:37am. Contributors:
Atul Prakash
Darko Marinov
Short Talk
Verification and IoT
1646392
CPS PI Meeting 2021
Presentation
file
Towards Reliable and Optimized Data-Driven Cyber-Physical Systems using Human-Centric Sensing.pdf
Submitted by wangdong on Fri, 06/18/2021 - 10:37am. Contributor:
Dong Wang
Short Talk
Verification and IoT
1845639
CPS PI Meeting 2021
NSF
Presentation
file
Syntax-Guided Synthesis for Cyber-Physical Systems
Submitted by Anonymous on Fri, 06/18/2021 - 10:37am. Contributor:
Hadas Kress Gazit
Short Talk
Verification and IoT
1837506
CPS PI Meeting 2021
NSF
Presentation
file
Spatio-Temporal Logics for Analyzing and Querying Perception Systems
Submitted by fainekos on Fri, 06/18/2021 - 10:37am. Contributors:
Georgios Fainekos
Yezhou Yang
Jyotirmoy V. Deshmukh
Short Talk
Verification and IoT
2038666
2039087
CPS PI Meeting 2021
NSF
Presentation
file
Sound Invariant Generation for Continuous and Hybrid Systems
Submitted by Andre Platzer on Fri, 06/18/2021 - 10: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
Statistical Performance Analysis and Resource Management for Cyber-Physical Internet of Things Systems
Submitted by Harpreet Dhillon on Fri, 06/18/2021 - 10:37am. Contributors:
Harpreet Dhillon
Walid Saad
Short Talk
Verification and IoT
1739642
CPS PI Meeting 2021
NSF
Presentation
file
Security Certification of Autonomous Cyber-Physical Systems
Submitted by Yier Jin on Fri, 06/18/2021 - 10: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 - 10:37am. Contributor:
Susmit Jha
Short Talk
Verification and IoT
1740079
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 - 10:37am. Contributors:
Soummya Kar
José M. F. Moura
Swarun Kumar
Short Talk
Verification and IoT
1837607
CPS PI Meeting 2021
NSF
Presentation
1
2
3
4
next ›
last »
