SNR 2015: BibTeX Entries

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}}