Volume
@proceedings{SNR2015,
title = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2015}}
Papers
@inproceedings{SNR2015:Symbolic_Numeric_Reachability_Analysis,
author = {Sriram Sankaranarayanan},
title = {Symbolic-Numeric Reachability Analysis of Hybrid Systems},
booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xbq8},
doi = {10.29007/249v},
pages = {1},
year = {2015}}
@inproceedings{SNR2015:Verification_Stochastic_Systems_Stochastic,
author = {Yang Gao and Martin Fränzle},
title = {Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain},
booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/TWf},
doi = {10.29007/wm3j},
pages = {2-10},
year = {2015}}
@inproceedings{SNR2015:Abstract_Interpretation_with_Infinitesimals,
author = {Kengo Kido and Swarat Chaudhuri and Ichiro Hasuo},
title = {Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis},
booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/jTC},
doi = {10.29007/rls3},
pages = {11-22},
year = {2015}}
@inproceedings{SNR2015:Summary_Recent_Progress_Efficient,
author = {Ian M. Mitchell},
title = {A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels},
booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/TZj},
doi = {10.29007/bm16},
pages = {23-31},
year = {2015}}
@inproceedings{SNR2015:Algorithmic_Approach_Stability_Verification,
author = {Pavithra Prabhakar and Miriam García Soto},
title = {An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary},
booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/zpM},
doi = {10.29007/sj95},
pages = {32-39},
year = {2015}}
@inproceedings{SNR2015:ProbReach_Tool_Guaranteed_Reachability,
author = {Fedor Shmarov and Paolo Zuliani},
title = {ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems},
booktitle = {Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
series = {EPiC Series in Computing},
volume = {37},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/z1f},
doi = {10.29007/mh2c},
pages = {40-48},
year = {2015}}