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 - 9: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 - 10: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 - 1: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 - 1: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 - 12: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 - 12: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 - 12:30pm
Adaptation models
class-level granularity
Data models
fault data history
fault-prone classes prediction model
fault-prone code identification
function-level source code metrics
HySOM model
Measurement
Metrics
Multilayer Perceptron
Naive Bayes Network
Object oriented modeling
Object-Oriented Metrics Threshold Values
object-oriented programming
object-oriented software systems
Prediction algorithms
Predictive Metrics
Predictive models
predictive security metrics
pubcrawl
self-organising feature maps
Self-Organizing Map
semisupervised fault-proneness prediction models
software metrics
software quality
Software systems
source code (software)
supervised learning algorithms
Unsupervised Fault-Proneness Prediction
unsupervised fault-proneness prediction models
unsupervised hybrid SOM algorithm
Unsupervised Learning
biblio
Evaluating micro patterns and software metrics in vulnerability prediction
Submitted by
grigby1
on Thu, 12/28/2017 - 12:30pm
Apache Camel
Apache Tomcat
class-level patterns
class-level traceable patterns
Complexity theory
cost effective software testing
Design patterns
early detection
internet
Java
learning (artificial intelligence)
machine learning techniques
Metrics
micropatterns evaluation
Object oriented modeling
Predictive Metrics
Predictive models
predictive security metrics
program testing
pubcrawl
security
security of data
security vulnerabilities
Software
software metrics
software quality
software security
source code
source code (software)
stand-alone Java web applications
time effective software testing
traditional class-level software metrics
traditional software metrics
vulnerability prediction model
vulnerable classes
vulnerable code
biblio
"A novel simulation approach for fault injection resistance evaluation on smart cards"
Submitted by
grigby1
on Tue, 02/14/2017 - 12: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 - 8: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
