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
software safety
biblio
Software Safety Verification Framework based on Predicate Abstraction
Submitted by grigby1 on Tue, 03/15/2022 - 12:12pm
Software verification
scalable verification
predicate abstraction
Explosions
CEGAR
software safety
Compositionality
model checking
Metrics
tools
Computational modeling
Scalability
Safety
Conferences
Resiliency
resilience
pubcrawl
biblio
Comprehensive Java Metadata Tracking for Attack Detection and Repair
Submitted by grigby1 on Mon, 03/15/2021 - 1:09pm
Java
software safety
Resiliency
resilience
pubcrawl
Metrics
metadata
maintenance engineering
Libraries
arrays
Intrusion Detection
Instruments
Containers
computer security
Computer errors
composability
command injection attacks
file
Transportation CPS Safety Challenges
Submitted by pkoopman on Thu, 02/20/2014 - 12:06pm. Contributors:
Philip Koopman
Michael Wagner
CPS Domains
Automotive
Avionics
Embedded Software
Transportation
Validation and Verification
CPS Technologies
Foundations
autonomous vehicles
software safety
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
