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
design automation
biblio
TENET: Temporal CNN with Attention for Anomaly Detection in Automotive Cyber-Physical Systems
Submitted by grigby1 on Fri, 06/09/2023 - 1:18pm
composability
correlation coefficient
Cyber Dependencies
design automation
Resiliency
Roads
Compositionality
Measurement
cyber-physical systems
convolution
Scalability
resilience
Metrics
Human Factors
Human behavior
pubcrawl
Neural networks
biblio
Integrating Multiple HLA Federations for Effective Simulation-Based Evaluations of CPS
Submitted by grigby1 on Fri, 05/19/2023 - 1:11pm
Standards organizations
shared federations
high-level architecture
design automation
CPS modeling
distributed simulation
co-simulation
modeling and simulation
simulation
composability
computer architecture
Computational modeling
Conferences
Resiliency
resilience
Metrics
pubcrawl
cyber-physical systems
Organizations
biblio
Facilitating the Efficiency of Secure File Data and Metadata Deletion on SMR-based Ext4 File System
Submitted by aekwall on Wed, 04/13/2022 - 9:21am
performance evaluation
pubcrawl
Scalability
privacy
resource management
Layout
metadata
File systems
design automation
ext4
secure deletion
shingled magnetic recording
data deletion
biblio
Towards Scalable Verification of Deep Reinforcement Learning
Submitted by grigby1 on Tue, 03/15/2022 - 11:14am
tools
deep learning
pubcrawl
resilience
Resiliency
Safety
Scalability
Communication networks
Metrics
Compositionality
Reinforcement learning
design automation
scalable verification
biblio
Automating Compositional Analysis of Authentication Protocols
Submitted by aekwall on Tue, 06/01/2021 - 12:19pm
Servers
Protocols
pubcrawl
composability
authentication
Cryptographic Protocols
Compositionality
design automation
biblio
Deductive Verification of Distributed Protocols in First-Order Logic
Submitted by grigby1 on Tue, 11/12/2019 - 3:30pm
infinite-state systems
verification problem
validity checking
Tutorials
tools
Theorem Proving
SMT solvers
Safety
pubcrawl
Protocols
protocol verification
program verification
privacy
policy-based governance
long standing research goal
logical verification conditions
automated provers
formal verification
Formal Specification
formal logic
first-order logic
distributed systems
distributed protocols
design automation
deductive verification approach
Computer languages
Compositionality
composability
complex systems
collaboration
cognition
automated theorem provers
biblio
Hardware Design and Verification Techniques for Supply Chain Risk Mitigation
Submitted by grigby1 on Wed, 03/08/2017 - 1:25pm
integrated circuit design
Watermarking
supply chains
supply chain security risks mitigation
supply chain management
pubcrawl170112
overbuilding
metering
integrated circuits
concurrent checking
IC obfuscation
IC misusing
Hardware
Foundries
Fingerprinting
design automation
counterfeiting
concurrent engineering
biblio
Reverse Engineering Digital Circuits Using Structural and Functional Analyses
Submitted by BrandonB on Wed, 05/06/2015 - 10:42am
reverse engineering
integrated circuit design
integrated circuits
intellectual property
invasive software
IP theft
IP violation detection
Logic gates
register files
Inference algorithms
SoC design
structural analysis
subtractors
system-on-chip
test circuits
Trojan horses
unstructured netlist
very large highly-optimized system-on-chip design
functional analysis
Algorithm design and analysis
algorithmic reverse engineering digital circuits
combinational elements
computer security
counters
design automation
Digital circuits
formal verification
adders
Globalization
globalized multivendor environment
Hardware
hardware trojans-malware
high-level netlist
ICs
industrial property
event
DATE 2013
Mar 18, 2013 7:45 am - Mar 22, 2013 5:00 pm CDT
Submitted by Anonymous on Fri, 02/22/2013 - 8:36am
Design Automation and Test in Europe
Architectures
Design Automation Tools
Modeling
design automation
high-level design
model-based design
DATE 2013
2013
Conference
profile
Haibo Zeng
CPS Domains
CPS Technologies
Education
Foundations
Science Policy
Research Program Overview
CPS education
Aerospace
design automation
automotive
Virginia
1
2
next ›
last »
