SNR 2015: Author Index

Author	Papers
C
Chaudhuri, Swarat	Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
F
Fränzle, Martin	Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
G
Gao, Yang	Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
García Soto, Miriam	An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
H
Hasuo, Ichiro	Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
K
Kido, Kengo	Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
M
Mitchell, Ian	A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels
P
Prabhakar, Pavithra	An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
S
Sankaranarayanan, Sriram	Symbolic-Numeric Reachability Analysis of Hybrid Systems
Shmarov, Fedor	ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Z
Zuliani, Paolo	ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems