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
quality assurance
biblio
A Position Study to Investigate Technical Debt Associated with Security Weaknesses
Submitted by aekwall on Mon, 08/26/2019 - 10:06am
common weakness scoring system
security of data
security
Software
Software measurement
Human behavior
pubcrawl
policy-based governance
Metrics
tools
Companies
static analysis
software development management
catching vulnerabilities
Common Weakness Enumeration
resilience
CWSS scores
decidedly negative impacts
design level CWE
exploitable weaknesses
five-step approach
potential security breaches
quality assurance
Quamoco quality model
scoring mechanism
security weaknesses
software lifecycle
software quality
TD
technical debt
biblio
Scalable Verification Framework for C Program
Submitted by grigby1 on Fri, 06/28/2019 - 10:36am
scalability issues
property-guided program slicing
pubcrawl
quality assurance
resilience
Resiliency
Safety
safety critical areas
Scalability
program verification problem
scalable verification
scalable verification framework
Software
Software systems
structural abstraction
Through-silicon vias
TSV
abstraction refinement
program verification
Program slicing
program compilers
optimization
model checking
Metrics
memory consumption
lines-of-code
extended structural abstraction
context aware software verification
Compositionality
Complexity theory
C program verifiers
C language
automatic software verification framework
biblio
Towards a Holistic Software Systems Engineering Approach for Dependable Autonomous Systems
Submitted by grigby1 on Wed, 03/06/2019 - 4:23pm
Autonomic Security
autonomous systems
composability
dependability
privacy
pubcrawl
quality assurance
resilience
Resiliency
runtime verification
Safety
security
self-learning systems
biblio
Influencers of Quality Assurance in an Open Source Community
Submitted by grigby1 on Mon, 02/25/2019 - 3:17pm
pubcrawl
Scalability
composability
quality assurance
Open Source Software
OSS community
software assurance
biblio
Verification and Validation of a Cyber-Physical System in the Automotive Domain
Submitted by grigby1 on Thu, 06/07/2018 - 3:08pm
probability parameters
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
domain specific architectural language
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
probability
security
cyber-physical systems
pubcrawl
Scalability
software quality
Analytical models
Wheels
delays
Stochastic processes
traffic engineering computing
Cameras
resilience
formal verification
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
biblio
Cross-Project Defect Prediction Using a Credibility Theory Based Naive Bayes Classifier
Submitted by grigby1 on Thu, 12/28/2017 - 1:30pm
predictive security metrics
transfer learning
Training data
Training
target projects
target data distribution
standards
source projects
software quality
software engineering
Software
quality assurance
pubcrawl
program debugging
Bayes methods
Predictive models
Predictive Metrics
pattern classification
novel reweighting mechanism
Nai¨ve Bayes classifier
Metrics
Insurance
cross-project defect prediction
credibility theory based naive Bayes classifier
credibility theory
CPDP
computer science
biblio
Toward a Specialized Quality Management Maturity Assessment Model
Submitted by grigby1 on Tue, 09/05/2017 - 1:28pm
collaboration
composability
Human behavior
Information Assurance
Metrics
Organizational Maturity
Process Capability
Process Improvement
pubcrawl
quality assurance
Quality Control
quality management
Resiliency
Scalability
testing
biblio
Enforcing K-anonymity in Web Mail Auditing
Submitted by grigby1 on Wed, 08/02/2017 - 1:53pm
composability
k-anonymization
mail auditing
mail templating
pubcrawl
quality assurance
Resiliency
web of trust
biblio
Probability Sampling Protocol for Thematic and Spatial Quality Assessment of Classification Maps Generated From Spaceborne/Airborne Very High Resolution Images
Submitted by BrandonB on Fri, 05/01/2015 - 8:05am
sampling methods
probability sampling protocol
procedural knowledge
Protocols
QA4EO international guidelines
quality assessment
quality assurance
Quality Assurance Framework for Earth Observation guidelines
QuickBird-2 image
remote sensing
probability
Satellite Image Automatic Mapper
SIAM preclassification maps
spaceborne/airborne very high resolution images
Spatial resolution
structural knowledge
subsymbolic object-based spatial quality indicators
symbolic pixel-based thematic quality indicators
thematic maps
WorldView-2 images
geophysical image processing
categorical variable pair similarity index
Contingency matrix
Decision trees
decision-tree
DigitalGlobe
Earth
error matrix
estimation
geographic information systems
Accuracy
Global Earth Observation System of Systems
Guidelines
image classification
inclusion probability
Indexes
land cover change (LCC) detection
land cover classification
measurement uncertainty
« first
‹ previous
1
2
