SNR 2015: Keyword Index

Keyword	Papers
a
abstract interpretation	Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
abstraction refinement	An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
b
Bounded Model Checking	ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
c
constraint solving	Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
e
ellipsoidal representation	A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels
h
hybrid system	Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
i
interval arithmetics	ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
m
model checking	An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
n
Nonstandard Analysis	Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
q
Quantitative abstractions	An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
r
reachability analysis	Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels
s
Satisfiability Modulo Theory	ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
stability analysis	An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
stochastic hybrid system	ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Stochastic Satisfiability Modulo Theory	Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
support function representation	A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels
Symbolic Analysis	Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
v
viability theory	A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels