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
Resiliency
biblio
Evolutionary Computation and Cryptology
Submitted by grigby1 on Wed, 05/17/2017 - 12:49pm
collaboration
composability
cryptology
Human behavior
Metrics
pubcrawl
Resiliency
Scalability
biblio
Formal Analysis of Robustness at Model and Code Level
Submitted by grigby1 on Wed, 05/17/2017 - 12:48pm
composability
control software
formal verification
Human behavior
pubcrawl
Resiliency
robustness margins
semi-definite programming
static analysis
static code analysis
biblio
Fault Injection at Host-compiled Level with Static Fault Set Reduction for SoC Firmware Robustness Testing
Submitted by grigby1 on Wed, 05/17/2017 - 12:48pm
composability
Fault injection
fault set reduction
firmware
host-compiled simulation
Human behavior
pubcrawl
Resiliency
Robustness
SoC
static code analysis
biblio
Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis
Submitted by grigby1 on Wed, 05/17/2017 - 12:48pm
Communication safety
composability
Concurrent Go
deadlock freedom
graph theory
Human behavior
Malware Analysis
pubcrawl
Resiliency
Session types
static analysis
static code analysis
synthesis
type safety
biblio
Does Personality Influence the Usage of Static Analysis Tools?: An Explorative Experiment
Submitted by grigby1 on Wed, 05/17/2017 - 12:48pm
composability
Human behavior
learning
personality
pubcrawl
Resiliency
software engineering
static analysis
static code analysis
biblio
Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript
Submitted by grigby1 on Wed, 05/17/2017 - 12:47pm
composability
declarative
graph queries
Human behavior
JavaScript
pubcrawl
Resiliency
Security by Default
security vulnerabilities
static analysis
static code analysis
biblio
Code Relatives: Detecting Similarly Behaving Software
Submitted by grigby1 on Wed, 05/17/2017 - 12:47pm
code clones
Code relatives
composability
Human behavior
Link Analysis
pubcrawl
Resiliency
runtime behavior
static code analysis
subgraph matching
biblio
Identifying Successful Strategies for Resolving Static Analysis Notifications
Submitted by grigby1 on Wed, 05/17/2017 - 12:47pm
composability
Human behavior
Human Factors
pubcrawl
Resiliency
static analysis
static code analysis
strategies
biblio
An Extensive Study of Static Regression Test Selection in Modern Software Evolution
Submitted by grigby1 on Wed, 05/17/2017 - 12:47pm
class firewall
composability
Human behavior
pubcrawl
regression test selection
Resiliency
static analysis
static code analysis
biblio
Inference of Peak Density of Indirect Branches to Detect ROP Attacks
Submitted by grigby1 on Wed, 05/17/2017 - 12:47pm
composability
detection
Human behavior
Metrics
pubcrawl
Resiliency
return oriented programming
rop attacks
Scalability
Securing Compilers
security
static code analysis
static program analysis's
« first
‹ previous
…
1175
1176
1177
1178
1179
1180
1181
1182
1183
…
next ›
last »
