@inproceedings{DBLP:conf/hybrid/KapinskiDSA14,
author = {James Kapinski and
Jyotirmoy V. Deshmukh and
Sriram Sankaranarayanan and
Nikos Arechiga},
title = {Simulation-guided lyapunov analysis for hybrid dynamical systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {133--142},
year = {2014},
crossref = {DBLP:conf/hybrid/2014},
url = {http://doi.acm.org/10.1145/2562059.2562139},
doi = {10.1145/2562059.2562139},
timestamp = {Tue, 22 Apr 2014 20:59:57 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/hybrid/KapinskiDSA14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ShmarovZ15,
author = {Fedor Shmarov and
Paolo Zuliani},
title = {ProbReach: verified probabilistic delta-reachability for stochastic
hybrid systems},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {134--139},
year = {2015},
crossref = {DBLP:conf/hybrid/2015},
url = {http://doi.acm.org/10.1145/2728606.2728625},
doi = {10.1145/2728606.2728625},
timestamp = {Sun, 17 May 2015 09:37:16 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/hybrid/ShmarovZ15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LiuKGZC15,
author = {Bing Liu and
Soonho Kong and
Sicun Gao and
Paolo Zuliani and
Edmund M. Clarke},
title = {Towards personalized prostate cancer therapy using delta-reachability
analysis},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {227--232},
year = {2015},
crossref = {DBLP:conf/hybrid/2015},
url = {http://doi.acm.org/10.1145/2728606.2728634},
doi = {10.1145/2728606.2728634},
timestamp = {Sun, 17 May 2015 09:37:16 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/hybrid/LiuKGZC15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MurthyISG15,
author = {Abhishek Murthy and
Md. Ariful Islam and
Scott A. Smolka and
Radu Grosu},
title = {Computing bisimulation functions using {SOS} optimization and \emph{{\delta}}-decidability
over the reals},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {78--87},
year = {2015},
crossref = {DBLP:conf/hybrid/2015},
url = {http://doi.acm.org/10.1145/2728606.2728609},
doi = {10.1145/2728606.2728609},
timestamp = {Sun, 17 May 2015 09:37:16 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/hybrid/MurthyISG15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HansenWCNK15,
author = {Jeffery P. Hansen and
Lutz Wrage and
Sagar Chaki and
Dionisio de Niz and
Mark H. Klein},
title = {Semantic Importance Sampling for Statistical Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
pages = {241--255},
year = {2015},
crossref = {DBLP:conf/tacas/2015},
url = {http://dx.doi.org/10.1007/978-3-662-46681-0_21},
doi = {10.1007/978-3-662-46681-0_21},
timestamp = {Wed, 08 Apr 2015 11:31:07 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/tacas/HansenWCNK15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}