add list of application

[soonhokong]

@scungao wants:

• papers that are using dReal now
• transform bibtex file to a webpage?
• use bibtex2html and travis

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