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
A Framework for Threat-Driven Cyber Security Verification of IoT Systems
Submitted by
grigby1
on Fri, 06/28/2019 - 10:36am
Alloy
Analytical models
attack patterns
Communication channels
Compositionality
control systems
distributed control
distributed industrial control systems
formal verification
industrial control
industrial IoT infrastructures
Internet of Things
IoT
IoT systems
Metals
Metrics
mitigation strategies
model checking-based formal analysis
modeling
Object oriented modeling
production engineering computing
pubcrawl
resilience
Resiliency
Scalability
scalable verification
security
security of data
Security Properties
Silicon
system deployment
system security
threat-driven cyber security verification
biblio
A Social Science-based Approach to Explanations for (Game) AI
Submitted by
grigby1
on Mon, 12/10/2018 - 11:41am
computer games
Games
resilience
pubcrawl
Resiliency
Scalability
Complexity theory
xai
Artificial Intelligence
explainable AI
learning (artificial intelligence)
AI revolution
baseline definition
bottom-up approach
Brain modeling
collaboration
complex algorithmic systems
deep learning methods
GVGAI framework
human working memory limitation
image recognition
Object oriented modeling
social science-based approach
social sciences
super-sensors
working memory
biblio
A Scalable and Reconfigurable Verification and Benchmark Environment for Network on Chip Architecture
Submitted by
grigby1
on Wed, 05/09/2018 - 2:47pm
benchmark
benchmark environment
Benchmark testing
complex on-chip communication problems
Compositionality
Generators
integrated circuit design
interconnection architectures
Metrics
Monitoring
network-on-chip
network-on-chip architecture
NoC
Object oriented modeling
on-chip component
pubcrawl
reconfigurable verification
resilience
Resiliency
reusable methodology
Scalability
scalable verification
standardized methodology
system-on-chip
Throughput
traffic control
Universal Verification Methodology
UVM
verification
biblio
Semantic Information Fusion to Enhance Situational Awareness in Surveillance Scenarios
Submitted by
grigby1
on Tue, 02/06/2018 - 2:04pm
video surveillance
Unmanned Aircraft Systems
UAS
surveillance scenarios
surveillance
situational picture
situational awareness
sensor fusion
sensor data
semantic information fusion
security forces
Resiliency
reasoning component
pubcrawl
probabilistic reasoning
Probabilistic logic
probabilistic information processing
OOWM
Ontology
ontologies (artificial intelligence)
object-oriented world model
object-oriented methods
Object oriented modeling
Network reconnaissance
National security
military computing
military applications
Markov processes
Markov logic network
logical reasoning
knowledge model
ISR-AA
intelligence-surveillance-and-reconnaissance analytics architecture
information integration
inference mechanisms
high-level data fusion component
enhanced situational awareness
Databases
Data mining
Data integration
critical events detection
cognition
civil protection
autonomous aerial vehicles
aerospace computing
biblio
Introducing Remote Attestation and Hardware-Based Cryptography to OPC UA
Submitted by
grigby1
on Tue, 02/06/2018 - 1:59pm
composability
Cryptography
Object oriented modeling
Protocols
pubcrawl
Resiliency
Servers
service-oriented architecture
standards
trusted platform modules
biblio
Preliminary results from a model-driven architecture methodology for development of an event-driven space communications service concept
Submitted by
grigby1
on Thu, 12/28/2017 - 1:40pm
Aerospace electronics
computer architecture
Data models
Object oriented modeling
pubcrawl
Scalability
security scalability
Space communications
space missions
biblio
Predicting Fault-Prone Classes in Object-Oriented Software: An Adaptation of an Unsupervised Hybrid SOM Algorithm
Submitted by
grigby1
on Thu, 12/28/2017 - 1:30pm
Unsupervised Learning
unsupervised hybrid SOM algorithm
unsupervised fault-proneness prediction models
Unsupervised Fault-Proneness Prediction
supervised learning algorithms
source code (software)
Software systems
software quality
software metrics
semisupervised fault-proneness prediction models
Self-Organizing Map
self-organising feature maps
pubcrawl
predictive security metrics
Predictive models
Predictive Metrics
Prediction algorithms
object-oriented software systems
object-oriented programming
Object-Oriented Metrics Threshold Values
Object oriented modeling
Naive Bayes Network
Multilayer Perceptron
Metrics
Measurement
HySOM model
function-level source code metrics
fault-prone code identification
fault-prone classes prediction model
fault data history
Data models
class-level granularity
Adaptation models
biblio
Evaluating micro patterns and software metrics in vulnerability prediction
Submitted by
grigby1
on Thu, 12/28/2017 - 1:30pm
vulnerable code
vulnerable classes
vulnerability prediction model
traditional software metrics
traditional class-level software metrics
time effective software testing
stand-alone Java web applications
source code (software)
source code
software security
software quality
software metrics
Software
security vulnerabilities
security of data
security
pubcrawl
program testing
predictive security metrics
Predictive models
Predictive Metrics
Object oriented modeling
micropatterns evaluation
Metrics
machine learning techniques
learning (artificial intelligence)
Java
internet
early detection
Design patterns
cost effective software testing
Complexity theory
class-level traceable patterns
class-level patterns
Apache Tomcat
Apache Camel
biblio
"A novel simulation approach for fault injection resistance evaluation on smart cards"
Submitted by
grigby1
on Tue, 02/14/2017 - 1:15pm
advanced encryption standard
AES
backward analyses
combined attack
complex smart card systems
control flow fault models
Cryptography
Data models
data modification
EFS
embedded fault simulator
embedded systems
Fault injection
fault injection resistance evaluation
fault injection simulations
fault simulation
generic fault injection simulation tool
Hardware
instruction skip
multiple fault attacks
Object oriented modeling
pubcrawl170102
Physical attack
Registers
security
side-channel analyses
Side-channel attack
Smart card
smart card source code
smart cards
Software
biblio
Background-Modeling-Based Adaptive Prediction for Surveillance Video Coding
Submitted by
BrandonB
on Fri, 05/01/2015 - 9:31am
AVC
background difference
background difference prediction
background modeling
background pixels
background prediction efficiency
background reference
background reference prediction
background-modeling-based adaptive prediction method
BDP
block classification
BMAP method
BRP
Complexity theory
data compression
Decoding
encoding
encoding complexity
exponential growth
foreground coding performance
foreground prediction efficiency
foreground-background-hybrid blocks
high-efficiency surveillance video coding technology
Image coding
MPEG-4 advanced video coding
Object oriented modeling
surveillance
Surveillance video
surveillance video compression ratio
video coding
video surveillance
