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 engineering
biblio
An Empirical Study on Implicit Constraints in Smart Contract Static Analysis
Submitted by aekwall on Thu, 02/02/2023 - 4:22pm
static code analysis
Human behavior
Resiliency
composability
Code audit
Implicit constraints
pubcrawl
reachability analysis
smart contract
smart contracts
software engineering
static analysis
Systematics
Time factors
biblio
A DevSecOps-enabled Framework for Risk Management of Critical Infrastructures
Submitted by aekwall on Fri, 01/13/2023 - 3:57pm
Human Factors
software reliability
pubcrawl
Scalability
Metrics
Resiliency
risk management
software engineering
critical infrastructure
Economics
Hardware Robustness Safety critical systems
National security
Software and its engineering-Software creation and management-Software development process management Risk management
Security Risk Management
biblio
What are Weak Links in the npm Supply Chain?
Submitted by grigby1 on Thu, 01/05/2023 - 2:27pm
security
pubcrawl
resilience
Resiliency
metadata
Software measurement
software engineering
supply chains
Open Source Software
npm
software ecosystem
supply chain security
Weak link Signal
biblio
Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis
Submitted by aekwall on Sun, 10/16/2022 - 6:26pm
static analysis
Operational analysis
Multilingual Program Analysis
Language Interoperability
Java native interface
• Software and its engineering → Automated static analysis
static code analysis
Computer bugs
software engineering
Reliability
Java
Semantics
composability
Human behavior
Resiliency
pubcrawl
feature extraction
biblio
Security and Machine Learning Adoption in IoT: A Preliminary Study of IoT Developer Discussions
Submitted by aekwall on Fri, 09/30/2022 - 2:45pm
security
IoT
Internet of Things
machine learning
Conferences
pubcrawl
Metrics
Resiliency
Human behavior
composability
IoT security
Biological system modeling
software engineering
Software systems
Developer Discussions
biblio
A Collaborative Filtering Model for Link Prediction of Fusion Knowledge Graph
Submitted by grigby1 on Thu, 09/29/2022 - 4:40pm
Predictive models
Data models
Human behavior
pubcrawl
Prediction algorithms
Cybersecurity
software engineering
Knowledge engineering
Sparse matrices
collaborative filtering
knowledge graph
Linear Weighted
Link prediction
biblio
Oppositional Human Factors in Cybersecurity: A Preliminary Analysis of Affective States
Submitted by grigby1 on Thu, 09/29/2022 - 4:38pm
Qualitative Data Analysis
Oppositional Human Factors
deception
Affect and Emotions
Human Factors
psychology
software engineering
Cybersecurity
Task Analysis
computer security
Conferences
Human behavior
pubcrawl
critical infrastructure
biblio
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs
Submitted by grigby1 on Fri, 08/26/2022 - 11:24am
software engineering
leaky assertions
Information Leak
correctness
concurrent programs
axiomatic approach
Concurrency
Context
Concurrent computing
security
Software algorithms
Metrics
programming
real-time systems
composability
Resiliency
resilience
pubcrawl
biblio
Practical Approach of Security Enhancement Method based on the Protection Motivation Theory
Submitted by grigby1 on Fri, 08/12/2022 - 2:24pm
protection motivation theory
trust
Stress
software engineering
security stress
security enhancements
Resiliency
resilience
pubcrawl
information theoretic security
Organizations
information security
Human behavior
Computing Theory
Computer crime
composability
Artificial Intelligence
biblio
Automatic Security Inspection Framework for Trustworthy Supply Chain
Submitted by grigby1 on Wed, 08/03/2022 - 4:13pm
security
pubcrawl
composability
trustworthiness
software engineering
Technological innovation
security requirement
supply chains
usability
Inspection
Supply Chain
Conformance Validation
Security Inspection
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
