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},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{SNR2015:Symbolic_Numeric_Reachability_Analysis_of,
  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},
  pages     = {1},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/xbq8},
  doi       = {10.29007/249v}}

@inproceedings{SNR2015:Verification_of_Stochastic_Systems,
  author    = {Yang Gao and Martin Fr\textbackslash{}"anzle},
  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},
  pages     = {2--10},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/TWf},
  doi       = {10.29007/wm3j}}

@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},
  pages     = {11--22},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/jTC},
  doi       = {10.29007/rls3}}

@inproceedings{SNR2015:Summary_of_Recent_Progress,
  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},
  pages     = {23--31},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/TZj},
  doi       = {10.29007/bm16}}

@inproceedings{SNR2015:An_Algorithmic_Approach_to,
  author    = {Pavithra Prabhakar and Miriam Garc\textbackslash{}'ia 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},
  pages     = {32--39},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/zpM},
  doi       = {10.29007/sj95}}

@inproceedings{SNR2015:ProbReach_Tool_for_Guaranteed,
  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},
  pages     = {40--48},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/z1f},
  doi       = {10.29007/mh2c}}