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
scalable verification
biblio
Scalable yet Rigorous Floating-Point Error Analysis
Submitted by aekwall on Mon, 05/03/2021 - 1:19pm
High performance computing
Symbolic Execution
Scalable Analysis
Round-off error
floating-point arithmetic
Algorithmic Differentiation
abstraction
Error analysis
scalable verification
Resiliency
numerical analysis
Compositionality
Predictive Metrics
Scalability
tools
optimization
resource management
pubcrawl
biblio
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems
Submitted by aekwall on Mon, 05/03/2021 - 1:16pm
Complexity theory
deep reinforcement learning
contract-based design
scalable verification
verification
Compositionality
Predictive Metrics
Neural networks
Scalability
Safety
contracts
Artificial Neural Networks
cyber-physical systems
Robustness
pubcrawl
Resiliency
programming
biblio
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs
Submitted by aekwall on Mon, 05/03/2021 - 1:16pm
Brakes
Compositionality
Hardware
Predictive Metrics
process control
pubcrawl
Resiliency
Scalability
scalable verification
sensors
Software
timing
Wheels
biblio
Verification of a Rapidly Multiplexed Circuit for Scalable Action Potential Recording
Submitted by aekwall on Mon, 05/03/2021 - 1:15pm
analog design
windowed integrator sampling
neuroscience
neural recording
neural engineering
neural amplifier
In vivo
electrode array
electrode
Electric potential
Biomedical Engineering
Resiliency
Action potentials
Action potential
scalable verification
Compositionality
Predictive Metrics
Multiplexing
Scalability
Urban areas
Electrodes
pubcrawl
biblio
A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures
Submitted by aekwall on Mon, 05/03/2021 - 1:15pm
Resiliency
pubcrawl
Scalability
Predictive Metrics
Compositionality
scalable verification
biblio
Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems
Submitted by aekwall on Mon, 05/03/2021 - 1:15pm
Task Analysis
Resiliency
pubcrawl
standards
optimization
uncertainty
Scalability
Pipelines
Predictive Metrics
Compositionality
scalable verification
Nonlinear dynamical systems
biblio
Lightweight Verification and Fine-grained Access Control in Named Data Networking Based on Schnorr Signature and Hash Functions
Submitted by aekwall on Mon, 05/03/2021 - 1:15pm
encryption
Access Control
Resiliency
pubcrawl
internet
Mathematical model
authentication
Public key
verification
Scalability
NDN
Predictive Metrics
Compositionality
Schnorr signature
Hash functions
scalable verification
biblio
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Submitted by aekwall on Mon, 05/03/2021 - 1:14pm
verification
MIMICs
formal methods
Differential Verification
differential analysis
scalable verification
Compositionality
Predictive Metrics
deep learning
Scalability
Task Analysis
Biological neural networks
software engineering
Neural networks
tools
Neurons
machine learning
pubcrawl
Resiliency
biblio
An interpretable fuzzy system in the on-line signature scalable verification
Submitted by aekwall on Mon, 05/03/2021 - 1:14pm
Resiliency
pubcrawl
Databases
Fuzzy sets
fuzzy systems
Scalability
Predictive Metrics
Compositionality
Forgery
scalable verification
interpretability
flexible fuzzy system
Frequency selective surfaces
identity verification
IT systems security
on-line signature
biblio
Scalable Impact Range Detection against Newly Added Rules for Smart Network Verification
Submitted by aekwall on Mon, 05/03/2021 - 1:14pm
packet forwarding
packet equivalence class
network verification
impact range recognition
Hasse diagram
scalable verification
Compositionality
Predictive Metrics
Scalability
Cloud Computing
Firewalls (computing)
detection algorithms
pubcrawl
Resiliency
Internet of Things
Access Control
Servers
IP networks
1
2
3
4
5
6
next ›
last »
