|
|
SNR 2015: Author IndexAuthor | 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 |
|
|
|