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
1836942
video
CPS: Small: Software-State Observability in CPS
Submitted by Anonymous on Thu, 09/09/2021 - 5:34pm
Short Talk
1836942
CPS PI Meeting 2021
NSF
file
Software-State Observability in CPS
Submitted by jhrife on Fri, 06/18/2021 - 10:31am. Contributors:
Jason Rife
Chinwendu Enyioha
Sam Guye
Short Talk
Embedded Systems and Networking
1836942
CPS PI Meeting 2021
NSF
Presentation
file
CPS: Small: Software-State Observability in CPS
Submitted by jhrife on Mon, 06/07/2021 - 10:19am. Contributors:
Jason Rife
Chinwendu Enyioha
Sam Guye
Poster
Embedded Systems and Networking
1836942
CPS PI Meeting 2021
NSF
Poster
video
Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables
Submitted by jhrife on Thu, 05/14/2020 - 1:32pm
1836942
CPS PI Meeting 2019
file
Software-State Observability in CPS
Submitted by jhrife on Fri, 04/10/2020 - 9:19am. Contributors:
Jason Rife
Sam Guyer
Software
bug monitoring
Observability
Lightning Talks
1836942
CPS PI Meeting 2019
Lightning Talks
Presentation
file
Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables
Submitted by jhrife on Thu, 01/09/2020 - 5:10pm. Contributors:
Jason Rife
Hu Huang
Liangchun Xu
Samuel Z. Guyer
fault detection
bug detection
Aerospace
Software
Posters
1836942
CPS PI Meeting 2019
2019
NSF
U.S. Government
Poster
file
Improving Run-Time Bug Detection in Aviation Software Using Program Slicing
Submitted by Samuel Guyer on Tue, 01/22/2019 - 4:50pm. Contributors:
Hu Huang
Samuel Z. Guyer
Jason H. Rife
bug detection
program analysis
Posters (Sessions 8 & 11)
1836942
CPS-PI Meeting 2018
2018
Poster
