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
development process
biblio
Don't Forget Your Roots! Using Provenance Data for Transparent and Explainable Development of Machine Learning Models
Submitted by aekwall on Mon, 03/30/2020 - 11:33am
explainable development
xai
transparent development
transparency
reasoning behaviour
provenance data
process transparency
post-hoc methods
machine learning models
Explainable ML
learning (artificial intelligence)
development process
artificial intelligent systems
Provenance
Metrics
composability
pubcrawl
Human behavior
Resiliency
biblio
Automatic Whitelist Generation for SQL Queries Using Web Application Tests
Submitted by grigby1 on Mon, 02/10/2020 - 11:26am
severe vulnerability issue
query patterns
query processing
Registers
relational databases
relational database security
research and development
resilience
Resiliency
security of data
query detection
SQL
SQL detection
SQL injection
SQL queries
Web application test
Web application tests
Whitelist
Whitelists
development process
automated generation
Automatic testing
automatic whitelist generation
blacklisting
collaboration
composability
confidential information
Database Security
Databases
application-specific implementations
Human behavior
internet
large-scale Web applications
legitimate queries
Metrics
policy-based governance
privacy
pubcrawl
biblio
A live static code analysis architecture for PLC software
Submitted by grigby1 on Thu, 06/07/2018 - 3:12pm
programmable controllers
tools
timing
static code analysis
static analysis
software engineering
Software
Resiliency
resilience
regular compiler
pubcrawl
composability
program diagnostics
PLC software
live static code analysis architecture
IEC standards
IEC 61131-3
Human behavior
development process
debugging
control engineering computing
computer architecture
biblio
Lack of Attention to Singular (or Atomic) Requirements Despite Benefits for Quality, Metrics and Management
Submitted by grigby1 on Thu, 05/18/2017 - 3:05pm
Atomic requirements
atomic use cases
development process
Metrics
pubcrawl
requirements creation
requirements metrics
requirements verification and validation
Resiliency
Scalability
singular requirements
software engineering
work factor metrics
