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
Object oriented modeling
biblio
Pattern-Based Approach to Modelling and Verifying System Security
Submitted by grigby1 on Mon, 10/04/2021 - 3:03pm
Algebraic specifications
composability
Design patterns
formal verification
Metals
Metrics
model checking
Object oriented modeling
object oriented security
pubcrawl
Resiliency
security
Semantics
software design
Unified modeling language
biblio
Object-Oriented Security Constrained Quadratic Optimal Power Flow
Submitted by grigby1 on Mon, 10/04/2021 - 3:03pm
composability
Contingency
distributed power generation
Linear programming
Load flow
Mathematical model
Metrics
Object oriented modeling
object oriented security
Object-Oriented Modeling
pubcrawl
Resiliency
security
Security Constrained Quadratic Optimal Power Flow
Sequential Linear Programming
Syntactics
biblio
Better Safe than Sorry: Modeling Reliability and Security in Replicated SDN Controllers
Submitted by grigby1 on Tue, 02/16/2021 - 12:45pm
key data
network topologies
Software Defined Networks
Byzantine Fault Tolerance
byzantine fault tolerance algorithms
cloud-native software
distributed consensus
distributed consensus algorithms
distributed control plane
distributed controller replicas
dynamic reconfiguration
5G networks
modeling frameworks
modeling reliability
network resilience
network softwarization
Raft
replicated SDN controllers
SDN control plane
security considerations
dynamic networks
composability
security
pubcrawl
Metrics
resilience
Resiliency
Software
telecommunication security
Cloud Computing
software fault tolerance
security of data
control systems
software defined networking
Object oriented modeling
fault tolerance
malicious attacks
software-defined network
Reliability
telecommunication network topology
telecommunication network reliability
biblio
Adversary Model for Attacks Against IEC 61850 Real-Time Communication Protocols
Submitted by grigby1 on Thu, 01/28/2021 - 1:11pm
Real-time communication protocols
power engineering computing
Power system protection
power utility automation
Protocols
pubcrawl
QoS
quality of service
quality of services
pi calculus
real-time systems
resilience
Resiliency
Scalability
security
substation automation
telecommunication network topology
π-calculus process algebraic formalism
Human behavior
Adversary Models
Calculus
Communication networks
computer network security
Cryptographic Protocols
distributed processing
generic object oriented substation events and sampled value protocols
GOOSE/SV protocols
adversary model
IEC 61850
IEC 61850 real-time communication protocols
IEC standards
IEEE/IEC 61850 standard
Metrics
network topology
Object oriented modeling
biblio
A Comparison of Nano-Patterns vs. Software Metrics in Vulnerability Prediction
Submitted by grigby1 on Wed, 11/04/2020 - 1:36pm
program testing
web services
vulnerable methods
vulnerable code
vulnerability prediction models
Vulnerability
vulnerabilities
software security
software quality
software metrics
Software
security of data
security
pubcrawl
Complexity theory
Predictive models
Object oriented modeling
nanopatterns
nano-pattern
metrics testing
Metrics
method-level traceable patterns
method-level software metrics
Measurement
learning (artificial intelligence)
Java
internet
biblio
Measuring Impact Score on Confidentiality, Integrity, and Availability Using Code Metrics
Submitted by grigby1 on Wed, 11/04/2020 - 1:35pm
object-oriented methods
vulnerable source code
source code (software)
software vulnerabilities
software security
software quality metrics
software quality
software metrics
Software
security of data
Security Metrics
security
secure software
pubcrawl
PHP security
object-oriented PHP application
Availability Score
Object oriented modeling
national vulnerability database
metrics testing
Metrics
Measurement
Integrity Score
CVSS
Couplings
Correlation
Confidentiality Score
Complexity theory
code metrics
Code Characteristics
CIA Model
biblio
Applying Probabilistic Programming to Affective Computing
Submitted by grigby1 on Mon, 10/05/2020 - 1:50pm
Compositionality
Human behavior
Human Factors
Computing Theory and Compositionality
affective computing
Artificial Intelligence
cognition
Computational modeling
Emotion Theory
Modeling Human Emotion
Object oriented modeling
Probabilistic logic
programming
psychology
pubcrawl
biblio
A gateway to easily integrate simulation platforms for co-simulation of cyber-physical systems
Submitted by grigby1 on Thu, 07/16/2020 - 11:56am
Java
Universal CPS Environment
standards
Software Architecture
simulations
Resiliency
resilience
Research Infrastructure
pubcrawl
Object oriented modeling
NIST co-simulation platform
National Institute of Standards and Technology co-simulation platform
Metrics
Logic gates
Libraries
Large-scale systems
co-simulation
interacting physical components
high-level architecture standard
high level architecture
functional mock-up interface
distributed simulation
distributed processing
digital simulation
cyber-physical systems
CPS modeling
CPS conceptual design
computer architecture
Computational modeling
composability
communication libraries
co-simulation expertise
biblio
A Unified Architecture for Industrial IoT Security Requirements in Open Platform Communications
Submitted by grigby1 on Fri, 05/08/2020 - 2:20pm
OPC UA
unified data model
unified communication architecture
standards
Security Requirements Modeling
security requirement communication
security of data
security
SCADA Security
Resiliency
resilience
pubcrawl
production engineering computing
Production
open platform communications
OPC UA server
composability
object oriented security
Object oriented modeling
Metrics
machine-readable data model
Internet of Things
Industries
industrial IoT security requirements
industrial infrastructures
Industrial Control Systems
industrial control system security
industrial control
Germany
fourth industrial revolution
Data models
biblio
Performance Evaluation for Secure Internet Group Management Protocol and Group Security Association Management Protocol
Submitted by grigby1 on Fri, 04/24/2020 - 4:21pm
multicast communication
Unicast
telecommunication security
security
secure Internet Group Management Protocol
Resiliency
resilience
pubcrawl
Protocols
object oriented security
Object oriented modeling
multicast protocols
multicast distribution
authorisation
Metrics
media streaming
IPTV
IP networks
IP multicast technology
Internet service providers
Internet protocol television
internet
Group Security Association Management Protocol
data delivery
composability
1
2
3
next ›
last »
