HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

SNR 2015:Author Index

AuthorPapers
C
Chaudhuri, SwaratAbstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
F
Fränzle, MartinVerification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
G
Gao, YangVerification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
García Soto, MiriamAn Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
H
Hasuo, IchiroAbstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
K
Kido, KengoAbstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
M
Mitchell, IanA Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels
P
Prabhakar, PavithraAn Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
S
Sankaranarayanan, SriramSymbolic-Numeric Reachability Analysis of Hybrid Systems
Shmarov, FedorProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Z
Zuliani, PaoloProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Copyright © 2012-2023 easychair.org. All rights reserved.