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
debugging
biblio
Debugger-driven Embedded Fuzzing
Submitted by grigby1 on Thu, 07/13/2023 - 3:32pm
pubcrawl
Metrics
resilience
Conferences
embedded systems
Industries
Computers
composability
fuzzing
debugging
microcontrollers
security testing
Resiliency
biblio
LISA : Enhance the explainability of medical images unifying current XAI techniques
Submitted by grigby1 on Thu, 12/01/2022 - 5:09pm
SHAP
Unified Explanations
Shapley Additive Explanations
Local Interpritable Model Agnostic Explanations
LISA
Integrated Gradients
CXR
Chest X-ray
anchors
xai
Medical diagnosis
transfer learning
Predictive models
LIME
explainable artificial intelligence
Mission critical systems
debugging
Scalability
Additives
Resiliency
resilience
pubcrawl
Neural networks
CNN
biblio
MAF: A Framework for Modular Static Analysis of Higher-Order Languages
Submitted by aekwall on Sun, 10/16/2022 - 6:24pm
visualization
Dynamic scheduling
Conferences
pubcrawl
Resiliency
Human behavior
composability
Performance analysis
static analysis
debugging
static code analysis
best practices
modular analysis
static program analysis
biblio
Research on Secure JTAG Debugging Model Based on Schnorr Identity Authentication Protocol
Submitted by aekwall on Tue, 10/12/2021 - 3:07pm
security
Hardware
system-on-chip
privacy
authentication
Protocols
encryption
pubcrawl
composability
Compositionality
policy-based governance
debugging
protocol verification
biblio
Non-intrusive Virtual Machine Analysis and Reverse Debugging with SWAT
Submitted by grigby1 on Thu, 07/08/2021 - 2:26pm
resilience
Virtual machining
virtual machine security
virtual machine
SWAT
software reliability
software quality
Software instrumentation
software development management
security
Resiliency
composability
QEMU
pubcrawl
introspection
Instruments
graphical user interfaces
dynamic analysis
debugging
Cyber Physical System
Cryptography
biblio
Client-side Security Assessment and Security Protection Scheme for Smart TV Network
Submitted by grigby1 on Mon, 03/15/2021 - 1:11pm
Logic gates
Web and internet services
TV network
smart TV
security protection
security assessment
security
resilience
pubcrawl
Metrics
Networked Control Systems Security
intelligent data
debugging
command injection attacks
client-side
Cable TV
Bridges
Predictive Metrics
composability
Resiliency
biblio
XAI-Driven Explainable Multi-view Game Cheating Detection
Submitted by aekwall on Mon, 03/01/2021 - 5:02pm
multiple game productions
cheating detection
debugging
EMGCD
evidence generation
game health
game industries
illegal automated plugins
model compression
model debugging
cheating classifiers
NetEase Games
online game
Online Games
online gaming
online persistent virtual world
player enjoyment
reason generation
trustworthy performance
XAI-driven explainable multiview game cheating detection
explainable AI
Task Analysis
Data models
Resiliency
pubcrawl
internet
Games
Predictive models
visualization
Artificial Intelligence
Scalability
virtual reality
artificial intelligence techniques
computer games
xai
industrial application
AI models
detection framework
explainable artificial intelligence
audience profiles
biblio
Can We Predict the Quality of Spectrum-based Fault Localization?
Submitted by aekwall on Mon, 03/01/2021 - 4:47pm
fault diagnosis
work factor metrics
static test suite
static test metrics
spectrum-based fault localization
prediction model
potential effectiveness
fault-related metrics
fault localization techniques
fault localization effectiveness
effective fault localization
dynamic test suite
dynamic test metrics
debugging
automated fault localization
Scalability
Couplings
software fault tolerance
software metrics
program debugging
Predictive models
Complexity theory
Measurement
machine learning
program testing
tools
Metrics
pubcrawl
Resiliency
Electronic mail
biblio
SCMiner: Localizing System-Level Concurrency Faults from Large System Call Traces
Submitted by grigby1 on Tue, 10/06/2020 - 2:01pm
Resiliency
multiple processes
practical online bug diagnosis tool
principal component analysis
Production
production system
program debugging
program diagnostics
program testing
pubcrawl
resilience
multiple failing executions
scheduling
SCMiner
security
security of data
statistical analysis
statistical anomaly detection techniques
system call traces
System Level
system-level concurrency fault
tools
event handlers
Computer bugs
Concurrency
concurrency (computers)
Concurrency Failures
Concurrent computing
CPS
cyber physical systems
Data mining
debugging
default system audit tools
composability
failure-inducing system call sequences
fault diagnosis
fault localization
file content
Instruments
interleaving schedule
localizing system-level concurrency faults
Metrics
Multi Process Applications
biblio
Deletion Propagation for Multiple Key Preserving Conjunctive Queries: Approximations and Complexity
Submitted by grigby1 on Fri, 07/10/2020 - 11:41am
query processing
multiple project-free
multiple queries
nontrivial set
polynomials
privacy
problem funda-mental
pubcrawl
quality management
query feedback
multiple key preserving conjunctive queries
realistic case
repairing data
Scalability
single query case
standard deletion propagation problem
tuples
view propagation
view side-effect
data lineage
Approximation algorithms
approximations
Complexity theory
computational complexity
computer science
conjunctive queries
conjunctive query
data cleaning
data deletion
approximation
Databases
debugging
deletion propagation
dichotomy
dynamic programming
Heuristic algorithms
investigated problem
key preserving
1
2
next ›
last »
