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
Formal Specification
biblio
A Formal Analysis of Moving Target Defense
Submitted by grigby1 on Mon, 08/02/2021 - 3:12pm
tools
IP networks
pubcrawl
Metrics
Analytical models
Scalability
Computational modeling
verification
Switches
automata
model checking
moving target defense
configuration-based mutation
Formal Specification
biblio
Human-centric Software Engineering for Next Generation Cloud- and Edge-based Smart Living Applications
Submitted by grigby1 on Mon, 03/29/2021 - 1:16pm
Smart homes
Intelligent sensors
Internet of Things
next generation cloud
next-generation applications
privacy
Privacy Requirements
pubcrawl
Scalability
smart cities
smart city-related data
human-centric software engineering
smart living systems
Software
software activities
software development
software engineering
software requirements engineering
user centred design
user interfaces
visualization
edge computing applications
Cloud Computing
data analysis
data analysis applications
data privacy
data visualisation
diverse software usability defects
diversity and inclusion
domain-specific visual models
edge computing
aging
edge-based smart living applications
edge-based software systems
end user emotions
expert systems
Formal Specification
human computer interaction
Human Factors
human usage patterns
human-centric security
biblio
A Study of Evaluation Methods of WEB Security Threats Based on Multi-stage Attack
Submitted by grigby1 on Wed, 03/17/2021 - 12:43pm
Formal Specification
Chained Attacks
Web security threats
Web application services
security vulnerability model
security specification
Security Evaluation
multistage attack
Measures
Kill Chain
Classified protection
Reconnaissance
Internet services
tools
web services
internet
Data models
Scalability
Analytical models
Resiliency
resilience
pubcrawl
Servers
security
security of data
biblio
ConForm: In-band Control Plane Formation Protocol to SDN-Based Networks
Submitted by grigby1 on Tue, 03/16/2021 - 2:10pm
SDN-based networks
OpenFlow-based SDN networks
optical switches
policy-based approach
protocol design
Protocols
pubcrawl
resilience
Resiliency
network topology discovery
security
Self-establishment
software defined networking
TCPIP
telecommunication network topology
telecommunication traffic
Topology
transport protocols
In-Band Control Plane
bootstrap protocol
clean slate
clean slate architectures
collaboration
computer network management
data plane
Formal Specification
Human behavior
Bootstrap
In-band Control Plane Formation Protocol
inband control plane
IP networks
management plane activities
management plane related activities
Metrics
network startup
network topology
biblio
A Top Down Approach for Eliciting Systems Security Requirements for a Notional Autonomous Space System
Submitted by aekwall on Mon, 11/16/2020 - 2:57pm
system life cycle
ISO/IEC/IEEE 152SS
NIST SP SOO-160
notional autonomous space system
notional space system
secure cyber-physical systems
software engineering processes
space missions
Space vehicles
STPA-Sec
functional-level security requirements
system operation
system-theoretic process analysis approach for security
systems security analysis
systems security engineering
systems security requirements
top down approach
top down systems security requirements analysis approach
traceable security
Resilient Security Architectures
Software Architecture
security of data
security
cyber-physical systems
Resiliency
pubcrawl
Cybersecurity
Stakeholders
IEC standards
ISO standards
Safety
resilience
Formal Specification
aerospace computing
IEEE standards
requirements analysis
system architecture
resiliency requirements
architectural-level security specifications
biblio
Requirements Patterns Structure for Specifying and Reusing Software Product Line Requirements
Submitted by aekwall on Mon, 11/09/2020 - 1:14pm
requirement engineering activities
Information Reuse and Security
SRP structure
SPLE
software requirement pattern structure
software product lines
software product line requirements
Software Product Line Engineering
software development phases
software artifacts
Requirements Reuse
requirements patterns structure
Requirements Patterns
security
RePa requirements pattern template
systems analysis
documentation
Systematics
formal verification
Compositionality
Proposals
Formal Specification
Unified modeling language
pubcrawl
Resiliency
Software
biblio
Property Based Formal Security Verification for Hardware Trojan Detection
Submitted by grigby1 on Mon, 11/02/2020 - 1:35pm
Resiliency
invasive software
Logic gates
malicious Hardware Trojans
modern computer hardware
policy-based governance
pubcrawl
register transfer level information flow security models
resilience
intellectual property security
secret information
security
security behavior
Security Properties
Semantics
Theorem Proving
third-party intellectual property cores
Trojan horses
golden reference design
composability
Coq
fine grained gate level information flow model
formal representations
formal security verification
Formal Specification
formal verification
formal verification method
Complexity theory
Hardware
hardware designs
Hardware Security
hardware trojan
industrial property
information flow analysis
Integrated circuit modeling
biblio
Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection
Submitted by grigby1 on Mon, 10/05/2020 - 2:03pm
dependability
tools
Software Architecture
service-oriented architecture
service orientation (SOA)
service orientation
service behavior
pubcrawl
Model-based
Formal Specification
Fault injection
fault diagnosis
engineering complex distributed systems
Adaptation models
cyber-physical systems
cyber-physical
CPS model
contracts
Contract-based
contract specification help
constituent components
Computational modeling
Compositionality
automata
architectural designs
Analytical models
biblio
Towards a Model-centric Approach for Developing Dependable Smart Grid Applications
Submitted by aekwall on Mon, 09/28/2020 - 11:34am
Code Generation
Smart Grids criticality
SGAM
model-driven engineering
Model-Driven Architecture approach
Model-Centric Software Development solution
Model-Centric Software Development
Model-centric approach
DSSE
Domain Specific Systems Engineering
dependable Smart Grid applications
dependability
critical System-of-Systems
complex System-of-Systems
Resiliency
central quality attribute
complex systems
Formal Specification
Smart Grid
power engineering computing
Software Architecture
Automated Secure Software Engineering
Traceability
systems engineering
smart power grids
composability
pubcrawl
biblio
A Formal Modeling and Verification Framework for Service Oriented Intelligent Production Line Design
Submitted by grigby1 on Thu, 07/16/2020 - 11:44am
service-oriented architecture
performance constraints
production engineering computing
pubcrawl
quality of service
resilience
Resiliency
service oriented
service oriented intelligent production line design
model-centric way
simulations
Software Architecture
Task Analysis
tools
Unified modeling language
verification method
web services
formal verification
application requirements
complex application
composability
CPS modeling
existing modeling methods
formal modeling
formal simulation verification framework
Formal Specification
Adaptation models
independent equipment network integration
Intelligent production line
large scale high-performance system
Mathematical model
Metrics
model and verification
model-based service-oriented integration approach
1
2
3
4
5
next ›
last »
