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
Symbiosis
biblio
Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution
Submitted by aekwall on Fri, 04/28/2023 - 8:44am
codes
compiler security
secure SoC design
KLEE
Symbiosis
formal verification
Symbolic Execution
C++ languages
Costs
Hardware Security
model checking
Compositionality
Resiliency
Metrics
pubcrawl
Scalability
system-on-chip
Hardware
biblio
Static vs Dynamic Architecture of Aware Cyber Physical Systems of Systems
Submitted by aekwall on Thu, 12/01/2022 - 3:38pm
Computational modeling
Training
pubcrawl
Resiliency
process control
programming
cognition
architecture
Awareness
Enterprise Engineering
Model-based Systems Engineering
Symbiosis
systems engineering
Resilient Security Architectures
biblio
Boosting Secret Key Generation for IRS-Assisted Symbiotic Radio Communications
Submitted by grigby1 on Thu, 07/14/2022 - 5:15pm
feature extraction
pubcrawl
Human behavior
resilience
Resiliency
Radio frequency
Scalability
Wireless communication
Switches
Metrics
simulation
Vehicular and wireless technologies
random key generation
Symbiosis
biblio
Enabling Trust in Autonomous Human-Machine Teaming
Submitted by grigby1 on Thu, 06/09/2022 - 1:55pm
security
pubcrawl
Human behavior
Human Factors
Conferences
autonomous systems
trust
human trust
Pandemics
Productivity
Human intelligence
human-autonomy teaming
human-machine symbiosis technology
interaction-centered design
Symbiosis
biblio
The Executors Scheduling Algorithm for the Web Server Based on the Attack Surface
Submitted by aekwall on Thu, 05/13/2021 - 10:35am
security
attack surface
Resiliency
pubcrawl
Metrics
Redundancy
Web servers
Cyberspace
Heuristic algorithms
Scalability
Scheduling algorithms
scheduling algorithm
Symbiosis
time continuous
