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
fault localization
biblio
Isolating Compiler Optimization Faults via Differentiating Finer-grained Options
Submitted by grigby1 on Fri, 03/31/2023 - 11:21am
compiler
resilience
Program processors
Optimization Option
Measurement
location awareness
Finer-grained
fault localization
Conferences
Computer bugs
compiler security
codes
Bug Isolation
big data security metrics
Benchmark testing
pubcrawl
Metrics
Scalability
Compositionality
Resiliency
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
Interactive and Automated Debugging for Big Data Analytics
Submitted by grigby1 on Fri, 06/28/2019 - 10:37am
and data cleaning
automated debugging
Big Data
Compositionality
data provenance
data-intensive scalable computing (DISC)
debugging and testing
fault localization
Metrics
pubcrawl
resilience
Resiliency
Scalability
scalable verification
test minimization
biblio
Self-Healing control strategy; Challenges and opportunities for distribution systems in smart grid
Submitted by aekwall on Mon, 03/25/2019 - 9:55am
power system reliability
fault detection
fault localization
faulted area isolation
power distribution control
power distribution protection
power distribution reliability
Power Outages
power restoration
electrical distribution system
protection system
self-healing
self-healing control system concept
smart distribution grid security
smart grid context
smart grid reliability
self-healing networks
Monitoring
Distribution system
Control Strategy
power system restoration
power distribution faults
fault location
resilience
control systems
power system security
Smart Grids
Smart Grid
smart power grids
Reliability
composability
pubcrawl
real-time systems
biblio
Resilient Sensor Placement for Fault Localization in Water Distribution Networks
Submitted by grigby1 on Wed, 05/16/2018 - 1:45pm
CPS resilience
fault localization
minimum set cover
pubcrawl
resilience
Resiliency
resilient sensor placement
water distribution networks
biblio
Automated Debugging in Data-Intensive Scalable Computing
Submitted by grigby1 on Wed, 05/09/2018 - 2:47pm
and data cleaning
automated debugging
Big Data
Compositionality
data provenance
data-intensive scalable computing (DISC)
fault localization
Metrics
pubcrawl
resilience
Resiliency
Scalability
scalable verification
biblio
An Efficient Approach to Fault Identification in Urban Water Networks Using Multi-Level Sensing
Submitted by Katie Dey on Fri, 04/08/2016 - 2:58pm
fault localization
minimum test cover
water networks
SURE Project