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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
software development
biblio
Uncertain Requirements, Assurance and Machine Learning
Submitted by
aekwall
on Mon, 02/10/2020 - 12:10pm
security
Safety
Ontologies
Software
feature extraction
learning (artificial intelligence)
machine learning
pubcrawl
composability
social networking (online)
social networks
uncertainty
privacy
software engineering
software development
assurance
safety-critical software
Scalability
formal verification
assurance case
automotive
conventional machine-learned
deductive verification
financial data processing
financial services
governing bodies
human judgement
inductive assurance
linked evidence
machine-learned components
machine-learning
open-world functionality
pragmatic assurance
predefined requirements
requirements engineering
safety assessment
safety-critical domains
software construction
Standards organizations
uncertain requirements
vehicle control
verification proofs
software assurance
biblio
A Comparative Analysis of Static Code Analysis Tools That Check Java Code Adherence to Java Coding Standards
Submitted by
grigby1
on Mon, 02/10/2020 - 11:34am
analyzers
Coding Standard Analyzers
Comparative Analysis
composability
concurrency (computers)
critical system
exceptions
Human behavior
International Java Coding Standards
Java
Java code adherence
Java code analysis
Java Coding Standards Enforcing Tools
Java programming language
JPL Coding Standards
program diagnostics
pubcrawl
quality
resilience
Resiliency
security
software development
software maintenance
software quality
standards
static analysis
static code analysis
static code analysis tool
style
testing
biblio
Research on Modeling Method of Visualized Plane Topology in Electric Power System
Submitted by
aekwall
on Mon, 01/20/2020 - 11:46am
algorithm module
compatibility
composability
development method
distribution network system
Electric Power System
Erbium
expandability
Microsoft Foundation Classes application framework
Microsoft Foundation Classes(MFC)
Microsoft Visual Studio
model array file module
Plane topology
plane topology modeling platform
platform development
platform interface module
power system
power system analysis computing
power system operation analysis
power system visualization plane topology modeling
primitive library module
pubcrawl
Resiliency
short development cycle
software development
software metrics
topology array file module
user-defined power system
visualized plane topology
biblio
Threat Extraction Method Based on UML Software Description
Submitted by
aekwall
on Mon, 03/04/2019 - 10:49am
Threat Modeling
security of data
security
Resiliency
pubcrawl
composability
Computational modeling
software security
Databases
software engineering
Extracting threats
human knowledge
knowledge based systems
security relevant attributes
sequence diagram
software application
software behavior
software development
software system
Software systems
threat extraction method
threat knowledge base
UML software description
Unified modeling language
Automated Secure Software Engineering
biblio
Functionality and Security Co-Design Environment for Embedded Systems
Submitted by
grigby1
on Thu, 02/14/2019 - 11:23am
adversarial cyber effects
anomalies detection
asymmetric multicore processing
Availability
co-design
co-design environment
command and control systems
Complexity theory
computer network security
critical missions
Cryptography
deliberate attacks
department of defense mission systems
DoD
electronic signal intelligence systems
electronic warfare
embedded systems
functionality
Hardware
hardware development
intelligence surveillance and reconnaissance sensors
Lincoln asymmetric multicore processing architecture
Mission Assurance
mission functions
Multicore processing
multiprocessing systems
pubcrawl
recovery
resilience
Resiliency
resilient embedded system
Secure Processing
security
software development
Sophisticated Attacks
surveillance
System recovery
testbed
biblio
Verification and Validation of a Cyber-Physical System in the Automotive Domain
Submitted by
grigby1
on Thu, 06/07/2018 - 3:08pm
formal verification
security
cyber-physical systems
pubcrawl
Scalability
software quality
Analytical models
Wheels
delays
Stochastic processes
traffic engineering computing
Cameras
resilience
probability
CPS
embedded systems
Automotive engineering
Resiliency
quality assurance
power aware computing
software development
Stochastic computing
autonomous traffic sign recognition vehicle
cyber-physical system validation
cyber-physical system verification
domain specific architectural language
EAST-ADL
EAST-ADL constraints
EAST-ADL/Stateflow
energy constraints
extended ERT constraints
formal statistical analysis
functional quality assurance
mapping rules
modified EAST-ADL
nonfunctional quality assurance
parallel languages
probabilistic extension
probability parameters
S/S models
safety-critical automotive embedded system design
semantics denotation
Simulink Design Verifier
Simulink/Stateflow integration
software packages
transformed energy-aware real-time behaviors
UPPAAL models
UPPAAL-SMC
verifiable UPPAAL- SMC models
Verification & Validation
Stochastic Computing Security
biblio
Application of partical swarm intelligence technique to predict software reliability
Submitted by
K_Hooper
on Wed, 05/02/2018 - 10:38am
Ant\_Colony Optimization Technique
Artificial Neural Networks
Bio\_inspired Computing
composability
control systems
genetic programming
Neural networks
partical swarm intelligence technique
Particle Swarm Intelligence Technique
particle swarm optimisation
particle swarm optimization
pubcrawl
Software
software cost estimation
software development
software program reliability prediction
software reliability
Swarm Intelligence
Swarm Intelligence technique
biblio
How Good Is a Security Policy against Real Breaches? A HIPAA Case Study
Submitted by
grigby1
on Mon, 04/30/2018 - 3:26pm
accidental misuses
breach ontology
cognition
HHS
HIPAA
inference mechanisms
malicious misuses
Measurement
Medical services
norm violation
Ontologies
pubcrawl
security
Security and privacy breaches
security breaches
security of data
security policies
semantic reasoning
semantic similarity
semantic similarity metric
Semantics
SEMAVER
social norms
software development
software engineering
taxonomy
US Department of Health and Human Services
US Health Insurance Portability and Accountability Act
biblio
Hidden Process Detection for Windows Operating Systems
Submitted by
grigby1
on Mon, 03/26/2018 - 12:58pm
audit system
composability
Computational efficiency
data encapsulation
descriptor based method
hidden process detection
Indexes
information security monitoring
Libraries
Metrics
Microsoft Windows (operating systems)
Monitoring
monitoring system
opened windows based method
operating system kernels
PID based method
pubcrawl
resilience
Resiliency
rootkit
security
security of data
software development
system call based method
user mode
Windows operating system
biblio
An analysis of XSS, CSRF and SQL injection in colombian software and web site development
Submitted by
grigby1
on Thu, 04/20/2017 - 12:38pm
Colombian companies
Colombian organizations
Colombian software development
Colombian Web Site development
composability
Computer crime
Cross Site Request Forgery
Cross Site Scripting
Cross Site Scripting attacks
CSRF
Databases
Economics
Hacking
hacking protection
Human behavior
internet
pubcrawl
Resiliency
security protocols
Software
software development
software engineering
SQL
SQL injection
web applications
web security
Web sites
websites
XSS
1
2
next ›
last »
