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 systems
biblio
FireBugs: Finding and Repairing Bugs with Security Patterns
Submitted by grigby1 on Fri, 08/14/2020 - 11:44am
program debugging
Software systems
software quality
software maintenance
software design experience
software defects
security patterns
security of data
security bugs
security
Secure Software Development
Resiliency
resilience
repairing bugs
pubcrawl
Automated Secure Software Engineering
mobile computing
javax.crypto APIs
firebugs
Cryptography
Compositionality
Bug Repair
automated approach
application programming interface
application program interfaces
APIs
Android app repositories
Android (operating system)
composability
biblio
Critical Aspects Pertaining Security of IoT Application Level Software Systems
Submitted by aekwall on Mon, 06/01/2020 - 10:47am
middleware security
Vulnerability
standards
Software systems
software security
security of data
security
Resiliency
resilience
pubcrawl
Protocols
privacy issues
policy-based governance
application level software systems
middleware
IoT devices
IoT
Internet of Things security
Internet of Things
Insecure Software/Firmware
insecure software
Insecure Interfaces
data privacy
Constrained Application Protocol
composability
CoAP
biblio
Parallel Verification of Software Architecture Design
Submitted by aekwall on Mon, 03/16/2020 - 10:39am
object-oriented programming
software architecture verification
software architecture design
parallel verification
multithreaded environment
multi-threading
monolithic architecture
large-scale complex software systems
component-based software system
Component-Based Software
Circular Dependency
Bottleneck
scalable verification
computer architecture
Compositionality
Predictive Metrics
Scalability
program verification
model checking
Software Architecture
Unified modeling language
Software systems
Production
pubcrawl
Resiliency
biblio
Security Vulnerability Metrics for Connected Vehicles
Submitted by grigby1 on Mon, 03/09/2020 - 2:38pm
security
vulnerable function assessment
vulnerability predication
vehicle software system
vehicle manufacturers
software testers
Software systems
software integration
software engineering
security vulnerability metrics
security vulnerabilities
security testing
security of data
Security Metrics
Measurement
pubcrawl
program testing
OpenPilot
Metrics
Measurement and Metrics Texting
Couplings
connected vehicles
complex software functionalities
Autopilot feature
Automotive engineering
automobiles
metrics testing
biblio
Towards Automated Security Vulnerability and Software Defect Localization
Submitted by grigby1 on Mon, 02/10/2020 - 11:36am
program diagnostics
undiscovered vulnerabilities
tools
static code analysis
Software systems
software maintenance
software defects
software defect localization
software defect
security vulnerability
security vulnerabilities
security of data
security
resilience
static analysis
modern software
Defect Localization
Cybersecurity
Correlation
Computer bugs
bug
automated security vulnerability
Automated Secure Software Engineering
Resiliency
composability
Human behavior
pubcrawl
file
A Sociotechnical Metrics Framework for Network and Security Operation Centers
Submitted by alexbardas on Wed, 01/08/2020 - 4:18pm. Contributors:
Alexandru G. Bardas
Bradley Fidler
Project Slides
Software systems
1850406
SaTC PI Meeting 2019
biblio
Post-Turing Computing, Hierarchical Named Networks and a New Class of Edge Computing
Submitted by grigby1 on Mon, 12/16/2019 - 3:59pm
Resiliency
live-migration
living beings
managed process workflow
microservices
named microservice network
named service connections
Neural networks
Platina systems
post-turing computing
pubcrawl
resilience
kubernetes provisioning stack
Scalability
service network
Software systems
stored program control machines
structural machine framework
structural machines
Turing machine
Turing machines
virtual machine overlay
virtual machines
Edge Cloud
cellular organisms
Church-Turing thesis
Cloud Computing
cognition
Control Theory
Control Theory and Resiliency
Cyber Physical System
cyber physical systems
Dynamic Configuration
dynamic reconfiguration
biological systems
edge cloud platform
edge computing
hierarchical named network
Hierarchical named networks
Human behavior
inductive Turing machines
info-computation
IP address base networks
knowledge structures
Kubernetes
biblio
Vulnerability Prediction Based on Weighted Software Network for Secure Software Building
Submitted by grigby1 on Tue, 11/12/2019 - 4:25pm
security
weighted software network
vulnerable software modules
vulnerable classes
vulnerability prediction models
Software systems
software system
software security testing
Software Security Metrics
software metrics
security of data
Complexity theory
secure software building
secure communications software
public security vulnerabilities
pubcrawl
program testing
predictive security metrics
Predictive models
prediction model
Metrics
biblio
Container Cluster Model Development for Legacy Applications Integration in Scientific Software System
Submitted by aekwall on Mon, 10/28/2019 - 10:38am
MD - SLAG – MELT
computing applications
container
container cluster model development
containerization systems
distributed computer simulation
high-efficiency computing
high-performance computing
intellectual processing
legacy applications integration
mathematical analysis
computer software
MD-SLAG-MELT system
modern scientific information systems
molecular dynamic Modeling
nonstandardized interfaces
programming languages
scientific software system
system MD-SLAG-MELT
ubiquitous computing
Scientific Computing Security
Load modeling
Big Data
computer architecture
Resiliency
pubcrawl
Computational modeling
database
Databases
Software systems
software maintenance
Containers
Servers
pattern clustering
business data processing
visualization
Predictive Metrics
scientific information systems
Compositionality
cluster
computer experiments results
computer simulation systems
biblio
An Approach for Trustworthiness Benchmarking Using Software Metrics
Submitted by aekwall on Mon, 07/01/2019 - 10:12am
Security Metrics
trustworthiness benchmarking
trustworthiness assessment model
Trusted Computing
Software systems
software security experts
software quality
software metrics
security vulnerabilities
security of data
Measurement
security attributes
security
pubcrawl
Mozilla Firefox project
Metrics
Buildings
Benchmark testing
metrics testing
« first
‹ previous
1
2
3
4
5
6
7
8
9
next ›
last »
