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
automation
biblio
Dynamic Filtering and Prioritization of Static Code Analysis Alerts
Submitted by aekwall on Fri, 11/18/2022 - 2:25pm
software reliability
Conferences
pubcrawl
Resiliency
Human behavior
composability
Performance analysis
automation
knowledge based systems
Filtering
codes
static code analysis
program analysis
Code reviews
processing alarms/warnings/alerts
Prolog
biblio
Image Style Transfer Based on Generative Adversarial Network
Submitted by grigby1 on Wed, 11/02/2022 - 11:56am
generative adversarial networks
Variational Auto-encoder
encoder
Deconvolution
style transfer
automation
Image coding
Generative Adversarial Learning
generative adversarial network
feature extraction
Force
deep learning
Scalability
Resiliency
resilience
Metrics
pubcrawl
convolution
biblio
Network and Software Architecture Improvements for a Highly Automated, Robust and Efficient Realization of the Italian National Time Scale
Submitted by grigby1 on Fri, 09/09/2022 - 1:21pm
automation
timing
time scale generation
time and frequency laboratory
informatics architecture
Software Architecture
Resiliency
Monitoring
Time measurement
Time Frequency Analysis
Redundancy
Frequency measurement
security
Time-frequency Analysis
software reliability
virtual machine
Robustness
resilience
Cybersecurity
Scalability
maintenance
Software
Metrics
pubcrawl
biblio
Continuous Security Testing: A Case Study on Integrating Dynamic Security Testing Tools in CI/CD Pipelines
Submitted by aekwall on Fri, 08/26/2022 - 11:10am
security
tools
pubcrawl
Resiliency
composability
testing
Pipelines
Predictive Metrics
automation
Synthetic aperture sonar
application security
Continuous Integration
Continuous Security
devsecops
Dynamic Security Web Testing
Dynamical Systems
biblio
Compositional Non-Interference for Fine-Grained Concurrent Programs
Submitted by grigby1 on Fri, 08/26/2022 - 10:25am
Metrics
Separation Logic
logical relations
fine-grained concurrency
non-interference
Coq
Concurrency
Iris
automation
Concurrent computing
security
Buildings
Computer languages
Manuals
composability
privacy
Resiliency
resilience
pubcrawl
biblio
Backwards-directed information flow analysis for concurrent programs
Submitted by grigby1 on Fri, 08/26/2022 - 10:23am
Metrics
weakest-precondition
rely-guarantee-reasoning
information-flow-security
Out of order
Concurrency
automation
Concurrent computing
cognition
security
programming
composability
Analytical models
Hardware
Resiliency
resilience
pubcrawl
biblio
Terminal Security Reinforcement Method based on Graph and Potential Function
Submitted by grigby1 on Fri, 08/26/2022 - 10:08am
security
pubcrawl
Computational modeling
edge computing
Metrics
automation
Computing Theory
security management
biblio
Methods for Determining a Quantitative Indicator of Threats to Information Security in Telecommunications and Industrial Automation Systems
Submitted by grigby1 on Fri, 08/26/2022 - 9:57am
objects of industrial automation systems
threat assessment
Telecommunications
telecommunication systems
security systems
security
Scalability
Resiliency
resilience
Probabilistic logic
pubcrawl
methods for assessing information security threats
Mathematical model
information security threats
information security
Human behavior
expert systems
Communications technology
automation
biblio
R-Chain: A Universally Composable Relay Resilience Framework for Smart Grids
Submitted by aekwall on Fri, 08/12/2022 - 2:53pm
authentication
automation
composability
Cryptography
Key derivation
performance evaluation
Protocols
pubcrawl
Ransomware
relay resilience
Smart Grids
universal composability
biblio
Communication Security Design of Distribution Automation System with Multiple Protection
Submitted by grigby1 on Fri, 07/29/2022 - 4:14pm
encryption
pubcrawl
resilience
Resiliency
Conferences
computer security
power grids
Consumer electronics
automation
Operating systems security
communication security
distribution automation system
encryption distribution terminal
multiple protection
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
