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
experiment design
biblio
Formal Verification of Complex Systems: Model-Based and Data-Driven Methods
Submitted by grigby1 on Wed, 05/09/2018 - 2:47pm
pubcrawl
strategy synthesis
stochastic hybrid systems
similarity metrics
scalable verification
Scalability
Resiliency
resilience
Quantitative Verification
active learning
model checking
Metrics
formal abstractions
experiment design
Dynamical Systems
Control Theory
Compositionality
Bayesian inference
biblio
ADaCS: A Tool for Analysing Data Collection Strategies
Submitted by thurlwel on Tue, 10/24/2017 - 5:07pm
Science of Security
attack trees
Data collection
experiment design
risk management
Science of Security
Security modeling
UIUC
UIUC
biblio
On the Design of Empirical Studies to Evaluate Software Patterns: A Survey
Submitted by Jamie Presken on Tue, 01/13/2015 - 8:01am
empirical evaluation
experiment design
knowledge transfer
Software patterns
