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
Secure Software Development in the Era of Fluid Multi-party Open Software and Services
Submitted by grigby1 on Thu, 06/24/2021 - 10:26am
Automated Secure Software Engineering
composability
Open Source Software
privacy
pubcrawl
resilience
Resiliency
security
Sociology
Software
software engineering
software security
Statistics
Switches
vision
biblio
Enterprise-Driven Open Source Software: A Case Study on Security Automation
Submitted by grigby1 on Thu, 06/24/2021 - 10:25am
Open Source Software
tools
software engineering
security
secure software engineering
Resiliency
resilience
pubcrawl
Pipelines
Automated Secure Software Engineering
Industries
Industrial Companies
devsecops
DevOps
Continuous Integration
composability
automation
biblio
Improving the Effectiveness of Traceability Link Recovery using Hierarchical Bayesian Networks
Submitted by grigby1 on Thu, 06/24/2021 - 10:25am
Automated Secure Software Engineering
Bayes methods
composability
information retrieval
Probabilistic logic
probabilistic modeling
Prototypes
pubcrawl
resilience
Resiliency
Software
software engineering
Software measurement
Software Traceability
biblio
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs
Submitted by aekwall on Tue, 06/01/2021 - 12:20pm
programming
security
pubcrawl
composability
software engineering
Lattices
Writing
Semantics
Compositionality
Information Flow Control
Concurrent computing
concurrent
Generalization
non-interference
Programming Language
sequential
biblio
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Submitted by aekwall on Mon, 05/03/2021 - 12:14pm
verification
MIMICs
formal methods
Differential Verification
differential analysis
scalable verification
Compositionality
Predictive Metrics
deep learning
Scalability
Task Analysis
Biological neural networks
software engineering
Neural networks
tools
Neurons
machine learning
pubcrawl
Resiliency
biblio
Software Assurance of Autonomous Spacecraft Control
Submitted by grigby1 on Fri, 04/09/2021 - 10:21am
Metrics
Task Analysis
Space vehicles
software interactions
software hazard analysis
software engineers
software engineering
software documentation
software assurance
Software
Scalability
Resiliency
resilience
pubcrawl
policy-based governance
mobile robots
aerospace computing
Information Assurance
in-orbit CubeSat
Human behavior
Hazards
hazard analysis method
Fault protection
composability
collaboration
autonomy demonstration experiment
autonomous spacecraft control
autonomous control
assurance cases
assurance case style
aerospace control
biblio
Toward an Ontology for Insider Threat Research: Varieties of Insider Threat Definitions
Submitted by grigby1 on Thu, 04/08/2021 - 3:54pm
ontologies (artificial intelligence)
Taxonomies
OWL
insider threat research
insider threat definitions
insider
definitions
conceptual model
Educational institutions
software engineering
Ontology
taxonomy
insider threat
Ontologies
Metrics
Resiliency
resilience
policy-based governance
Human behavior
pubcrawl
security
Organizations
security of data
biblio
Identifying indicators of insider threats: Insider IT sabotage
Submitted by grigby1 on Thu, 04/08/2021 - 3:53pm
software engineering
software installation
Sociotechnical
sabotage
Materials
insider threats indicators
insider threat cases
insider IT sabotage
indicators
Educational institutions
chronological timelines
attack planning
Weapons
insider threat
Metrics
information technology
Databases
Resiliency
resilience
policy-based governance
Human behavior
pubcrawl
security
Organizations
security of data
biblio
Human-centric Software Engineering for Next Generation Cloud- and Edge-based Smart Living Applications
Submitted by grigby1 on Mon, 03/29/2021 - 12:16pm
Smart homes
Intelligent sensors
Internet of Things
next generation cloud
next-generation applications
privacy
Privacy Requirements
pubcrawl
Scalability
smart cities
smart city-related data
human-centric software engineering
smart living systems
Software
software activities
software development
software engineering
software requirements engineering
user centred design
user interfaces
visualization
edge computing applications
Cloud Computing
data analysis
data analysis applications
data privacy
data visualisation
diverse software usability defects
diversity and inclusion
domain-specific visual models
edge computing
aging
edge-based smart living applications
edge-based software systems
end user emotions
expert systems
Formal Specification
human computer interaction
Human Factors
human usage patterns
human-centric security
biblio
Analysing Android App Privacy Using Classification Algorithm
Submitted by aekwall on Mon, 03/22/2021 - 12:09pm
privateer
delicate individual information
gadget
Google Play necessities
helpful data
interesting authorization
material security
pertinent segments
pertinent sentences
Play Store
Cellular phones
protection arrangement
security ramifications
security-related dangers
sensitive information territory
shrewd authorizations
subjective utility
unsafe applications
unwavering quality
classification algorithm
authorization
data privacy
malware
mobile computing
Resiliency
pubcrawl
smart phones
software engineering
security of data
expandability
Android (operating system)
Compositionality
Android application
Androids
Humanoid robots
analysing android app privacy
authorizations posting
« first
‹ previous
…
2
3
4
5
6
7
8
9
10
…
next ›
last »
