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
scalable verification
biblio
A Scalable and Reconfigurable Verification and Benchmark Environment for Network on Chip Architecture
Submitted by grigby1 on Wed, 05/09/2018 - 2:47pm
on-chip component
verification
UVM
Universal Verification Methodology
traffic control
Throughput
system-on-chip
standardized methodology
scalable verification
Scalability
reusable methodology
Resiliency
resilience
reconfigurable verification
pubcrawl
benchmark
Object oriented modeling
NoC
network-on-chip architecture
network-on-chip
Monitoring
Metrics
interconnection architectures
integrated circuit design
Generators
Compositionality
complex on-chip communication problems
Benchmark testing
benchmark environment
biblio
A Fast Layer Elimination Approach for Power Grid Reduction
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
Compositionality
graph sparsification
Metrics
model order reduction
Power Grid
pubcrawl
Resiliency
Scalability
scalable verification
biblio
Fully-abstract Compilation by Approximate Back-translation
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
compiler security
Compositionality
cross- language logical relations
Fully-abstract compilation
logical relations
Metrics
pubcrawl
Resiliency
Scalability
scalable verification
secure compilation
step-indexed logical relations
biblio
Using Formal Models to Cross Check an Implementation
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
Compositionality
formal methods
interactive systems
Metrics
pubcrawl
Requirements
Resiliency
Scalability
scalable verification
traces
biblio
Towards Scalable Configuration Testing in Variable Software
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
Compositionality
Configurability
Linux
Metrics
pubcrawl
Resiliency
sampling
Scalability
scalable verification
software product lines
Software Testing
biblio
VIP: Verification and Identification Protective Data Handling Layer Implementation to Achieve MVCC in Cloud Computing
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
Cloud Computing
Compositionality
Data version validation
Metrics
MVCC
pubcrawl
Resiliency
Scalability
scalable verification
serializability
Transaction Manager
Verification & Identification
biblio
Time Optimal Reachability Analysis Using Swarm Verification
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
Compositionality
distributed computing
Metrics
pubcrawl
Resiliency
Scalability
scalable verification
swarm verification
time optimal reachability
timed automata
Utextlessscptextgreaterppaaltextless/scptextgreater
biblio
Modular Deductive Verification of Sampled-data Systems
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
Compositionality
Metrics
pubcrawl
Resiliency
Scalability
scalable verification
biblio
Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
cloud
co-residence
Compositionality
formal verification
isolation
Metrics
openstack
pubcrawl
Resiliency
Scalability
scalable verification
security auditing
Security Audits
Security Policies Analysis
Virtualization
biblio
Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
angelic forest
Compositionality
Metrics
multiline patch
Program repair
pubcrawl
Resiliency
Scalability
scalable semantics-based repair
scalable verification
« first
‹ previous
1
2
3
4
5
6
7
8
next ›
last »
