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
Interactive and Automated Debugging for Big Data Analytics
Submitted by
grigby1
on Fri, 06/28/2019 - 9: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
A Parallel Proof of Work to Improve Transaction Speed and Scalability in Blockchain Systems
Submitted by
grigby1
on Fri, 06/28/2019 - 9:37am
bitcoin
Bitcoin cryptocurrency
Bitcoin mining
blockchain
blockchain systems
Compositionality
cryptocurrencies
cryptocurrency
Data mining
distributed consensus
distributed ledger
financial data processing
financial sector
Metrics
nonce
parallel mining
parallel processing
Proof of Work
pubcrawl
resilience
Resiliency
reward system
Scalability
scalable verification
software engineering
solo mining
transaction speed
transaction verification process
transactions
biblio
A Framework for Threat-Driven Cyber Security Verification of IoT Systems
Submitted by
grigby1
on Fri, 06/28/2019 - 9:36am
Alloy
Analytical models
attack patterns
Communication channels
Compositionality
control systems
distributed control
distributed industrial control systems
formal verification
industrial control
industrial IoT infrastructures
Internet of Things
IoT
IoT systems
Metals
Metrics
mitigation strategies
model checking-based formal analysis
modeling
Object oriented modeling
production engineering computing
pubcrawl
resilience
Resiliency
Scalability
scalable verification
security
security of data
Security Properties
Silicon
system deployment
system security
threat-driven cyber security verification
biblio
Robust Functional Verification Framework Based in UVM Applied to an AES Encryption Module
Submitted by
grigby1
on Fri, 06/28/2019 - 9:36am
AES encryption module
Compositionality
Cryptography
design requirements
digital design industry
direct verification methodologies
encryption
formal verification
functional verification
hardware description languages
high-level designs
Industries
information-security applications
Measurement
Metrics
pubcrawl
Reliability engineering
resilience
Resiliency
robust functional verification framework
Scalability
scalable verification
standards
System Verilog-based functional verification
Universal Verification Methodology
UVM
Verification Framework
biblio
Scalable Verification Framework for C Program
Submitted by
grigby1
on Fri, 06/28/2019 - 9:36am
abstraction refinement
automatic software verification framework
C language
C program verifiers
Complexity theory
Compositionality
context aware software verification
extended structural abstraction
lines-of-code
memory consumption
Metrics
model checking
optimization
program compilers
Program slicing
program verification
program verification problem
property-guided program slicing
pubcrawl
quality assurance
resilience
Resiliency
Safety
safety critical areas
Scalability
scalability issues
scalable verification
scalable verification framework
Software
Software systems
structural abstraction
Through-silicon vias
TSV
biblio
FAST Approaches to Scalable Similarity-Based Test Case Prioritization
Submitted by
grigby1
on Fri, 06/28/2019 - 9:36am
Compositionality
Metrics
pubcrawl
resilience
Resiliency
Scalability
scalable verification
biblio
Securify: Practical Security Analysis of Smart Contracts
Submitted by
grigby1
on Fri, 06/28/2019 - 9:36am
Compositionality
Metrics
pubcrawl
resilience
Resiliency
Scalability
scalable verification
Security analysis
smart contracts
stratified datalog
verification
biblio
A Formal Verification Tool for Ethereum VM Bytecode
Submitted by
grigby1
on Fri, 06/28/2019 - 9:36am
Compositionality
ethereum
formal verification
K framework
Metrics
pubcrawl
resilience
Resiliency
Scalability
scalable verification
smart contracts
biblio
P4V: Practical Verification for Programmable Data Planes
Submitted by
grigby1
on Fri, 06/28/2019 - 9:35am
Compositionality
Metrics
P4
programmable data planes
pubcrawl
resilience
Resiliency
Scalability
scalable verification
verification
biblio
A Formal Instruction-Level GPU Model for Scalable Verification
Submitted by
grigby1
on Fri, 06/28/2019 - 9:35am
Compositionality
Metrics
pubcrawl
resilience
Resiliency
Scalability
scalable verification
1
2
3
4
next ›
last »
