BibTeX records: Md. Ariful Islam

download as .bib file

@article{DBLP:journals/tcs/IslamCFGJS19,
  author    = {Md. Ariful Islam and
               Rance Cleaveland and
               Flavio H. Fenton and
               Radu Grosu and
               Paul L. Jones and
               Scott A. Smolka},
  title     = {Probabilistic reachability for multi-parameter bifurcation analysis
               of cardiac alternans},
  journal   = {Theor. Comput. Sci.},
  volume    = {765},
  pages     = {158--169},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.tcs.2018.02.005},
  doi       = {10.1016/j.tcs.2018.02.005},
  timestamp = {Wed, 03 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/IslamCFGJS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MurthyDI19,
  author    = {Abhishek Murthy and
               Himel Das and
               Md. Ariful Islam},
  title     = {Robustness of Neural Networks to Parameter Quantization},
  booktitle = {From Reactive Systems to Cyber-Physical Systems - Essays Dedicated
               to Scott A. Smolka on the Occasion of His 65th Birthday},
  pages     = {146--161},
  year      = {2019},
  crossref  = {DBLP:conf/birthday/2019smolka},
  url       = {https://doi.org/10.1007/978-3-030-31514-6\_9},
  doi       = {10.1007/978-3-030-31514-6\_9},
  timestamp = {Tue, 24 Sep 2019 14:08:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/MurthyDI19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/GruenbacherCITS19,
  author    = {Sophie Gruenbacher and
               Jacek Cyranka and
               Md. Ariful Islam and
               Max Tschaikowski and
               Scott A. Smolka and
               Radu Grosu},
  title     = {Under the Hood of a Stand-Alone Lagrangian Reachability Tool},
  booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
               and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
               April 15, 2019},
  pages     = {211--219},
  year      = {2019},
  crossref  = {DBLP:conf/cpsweek/2019arch},
  url       = {http://www.easychair.org/publications/paper/Rlw3},
  timestamp = {Wed, 03 Jul 2019 10:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/GruenbacherCITS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PaolettiJIAMLGS19,
  author    = {Nicola Paoletti and
               Zhihao Jiang and
               Md. Ariful Islam and
               Houssam Abbas and
               Rahul Mangharam and
               Shan Lin and
               Zachary Gruber and
               Scott A. Smolka},
  title     = {Synthesizing stealthy reprogramming attacks on cardiac devices},
  booktitle = {Proceedings of the 10th {ACM/IEEE} International Conference on Cyber-Physical
               Systems, {ICCPS} 2019, Montreal, QC, Canada, April 16-18, 2019},
  pages     = {13--22},
  year      = {2019},
  crossref  = {DBLP:conf/iccps/2019},
  url       = {https://doi.org/10.1145/3302509.3311044},
  doi       = {10.1145/3302509.3311044},
  timestamp = {Sun, 07 Apr 2019 16:25:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccps/PaolettiJIAMLGS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-10672,
  author    = {Abhishek Murthy and
               Himel Das and
               Md. Ariful Islam},
  title     = {Robustness of Neural Networks to Parameter Quantization},
  journal   = {CoRR},
  volume    = {abs/1903.10672},
  year      = {2019},
  url       = {http://arxiv.org/abs/1903.10672},
  archivePrefix = {arXiv},
  eprint    = {1903.10672},
  timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1903-10672},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/IslamBBS18,
  author    = {Md. Ariful Islam and
               Irin Bandyopadhyaya and
               Parthasarathi Bhattacharyya and
               Goutam Saha},
  title     = {Multichannel lung sound analysis for asthma detection},
  journal   = {Computer Methods and Programs in Biomedicine},
  volume    = {159},
  pages     = {111--123},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.cmpb.2018.03.002},
  doi       = {10.1016/j.cmpb.2018.03.002},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cmpb/IslamBBS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CyrankaISGG18,
  author    = {Jacek Cyranka and
               Md. Ariful Islam and
               Scott A. Smolka and
               Sicun Gao and
               Radu Grosu},
  title     = {Tight Continuous-Time Reachtubes for Lagrangian Reachability},
  booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
               FL, USA, December 17-19, 2018},
  pages     = {6854--6861},
  year      = {2018},
  crossref  = {DBLP:conf/cdc/2018},
  url       = {https://doi.org/10.1109/CDC.2018.8619647},
  doi       = {10.1109/CDC.2018.8619647},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cdc/CyrankaISGG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-07450,
  author    = {Jacek Cyranka and
               Md. Ariful Islam and
               Scott A. Smolka and
               Sicun Gao and
               Radu Grosu},
  title     = {Tight Continuous-Time Reachtubes for Lagrangian Reachability},
  journal   = {CoRR},
  volume    = {abs/1809.07450},
  year      = {2018},
  url       = {http://arxiv.org/abs/1809.07450},
  archivePrefix = {arXiv},
  eprint    = {1809.07450},
  timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1809-07450},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-03808,
  author    = {Nicola Paoletti and
               Zhihao Jiang and
               Md. Ariful Islam and
               Houssam Abbas and
               Rahul Mangharam and
               Shan Lin and
               Zachary Gruber and
               Scott A. Smolka},
  title     = {Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices},
  journal   = {CoRR},
  volume    = {abs/1810.03808},
  year      = {2018},
  url       = {http://arxiv.org/abs/1810.03808},
  archivePrefix = {arXiv},
  eprint    = {1810.03808},
  timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1810-03808},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbpim/IslamIPM17,
  author    = {Md. Rayhan Islam and
               Md. Ariful Islam and
               Dulal Chandra Pattak and
               Mehdad Mamur Mannan},
  title     = {Motivating front level employees in the services organisation: theoretical
               analysis and implications},
  journal   = {{IJBPIM}},
  volume    = {8},
  number    = {3},
  pages     = {182--199},
  year      = {2017},
  url       = {https://doi.org/10.1504/IJBPIM.2017.10006321},
  doi       = {10.1504/IJBPIM.2017.10006321},
  timestamp = {Tue, 01 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijbpim/IslamIPM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CyrankaIBJSG17,
  author    = {Jacek Cyranka and
               Md. Ariful Islam and
               Greg Byrne and
               Paul L. Jones and
               Scott A. Smolka and
               Radu Grosu},
  title     = {Lagrangian Reachabililty},
  booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
  pages     = {379--400},
  year      = {2017},
  crossref  = {DBLP:conf/cav/2017-1},
  url       = {https://doi.org/10.1007/978-3-319-63387-9\_19},
  doi       = {10.1007/978-3-319-63387-9\_19},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/CyrankaIBJSG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/YangIMSS17,
  author    = {Junxing Yang and
               Md. Ariful Islam and
               Abhishek Murthy and
               Scott A. Smolka and
               Scott D. Stoller},
  title     = {A Simplex Architecture for Hybrid Systems Using Barrier Certificates},
  booktitle = {Computer Safety, Reliability, and Security - 36th International Conference,
               {SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
  pages     = {117--131},
  year      = {2017},
  crossref  = {DBLP:conf/safecomp/2017},
  url       = {https://doi.org/10.1007/978-3-319-66266-4\_8},
  doi       = {10.1007/978-3-319-66266-4\_8},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/YangIMSS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CyrankaIBJSG17,
  author    = {Jacek Cyranka and
               Md. Ariful Islam and
               Greg Byrne and
               Paul L. Jones and
               Scott A. Smolka and
               Radu Grosu},
  title     = {Lagrangian Reachabililty},
  journal   = {CoRR},
  volume    = {abs/1705.05927},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.05927},
  archivePrefix = {arXiv},
  eprint    = {1705.05927},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CyrankaIBJSG17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/IslamLPAJCCGCGM16,
  author    = {Md. Ariful Islam and
               Hyun{-}Kyung Lim and
               Nicola Paoletti and
               Houssam Abbas and
               Zhihao Jiang and
               Jacek Cyranka and
               Rance Cleaveland and
               Sicun Gao and
               Edmund M. Clarke and
               Radu Grosu and
               Rahul Mangharam and
               Elizabeth Cherry and
               Flavio H. Fenton and
               Richard A. Gray and
               James Glimm and
               Shan Lin and
               Qinsi Wang and
               Scott A. Smolka},
  title     = {CyberCardia project: Modeling, verification and validation of implantable
               cardiac devices},
  booktitle = {{IEEE} International Conference on Bioinformatics and Biomedicine,
               {BIBM} 2016, Shenzhen, China, December 15-18, 2016},
  pages     = {1445--1452},
  year      = {2016},
  crossref  = {DBLP:conf/bibm/2016},
  url       = {https://doi.org/10.1109/BIBM.2016.7822737},
  doi       = {10.1109/BIBM.2016.7822737},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bibm/IslamLPAJCCGCGM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/IslamBKCCFGJS16,
  author    = {Md. Ariful Islam and
               Greg Byrne and
               Soonho Kong and
               Edmund M. Clarke and
               Rance Cleaveland and
               Flavio H. Fenton and
               Radu Grosu and
               Paul L. Jones and
               Scott A. Smolka},
  title     = {Bifurcation Analysis of Cardiac Alternans Using {\textbackslash}delta
               -Decidability},
  booktitle = {Computational Methods in Systems Biology - 14th International Conference,
               {CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
  pages     = {132--146},
  year      = {2016},
  crossref  = {DBLP:conf/cmsb/2016},
  url       = {https://doi.org/10.1007/978-3-319-45177-0\_9},
  doi       = {10.1007/978-3-319-45177-0\_9},
  timestamp = {Sun, 02 Jun 2019 21:13:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/IslamBKCCFGJS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/IslamWHBCGS16,
  author    = {Md. Ariful Islam and
               Qinsi Wang and
               Ramin M. Hasani and
               Ondrej Balun and
               Edmund M. Clarke and
               Radu Grosu and
               Scott A. Smolka},
  title     = {Probabilistic reachability analysis of the tap withdrawal circuit
               in caenorhabditis elegans},
  booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
               {HLDVT} 2016, Santa Cruz, CA, USA, October 7-8, 2016},
  pages     = {170--177},
  year      = {2016},
  crossref  = {DBLP:conf/hldvt/2016},
  url       = {https://doi.org/10.1109/HLDVT.2016.7748272},
  doi       = {10.1109/HLDVT.2016.7748272},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hldvt/IslamWHBCGS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IslamMBCFGSG15,
  author    = {Md. Ariful Islam and
               Abhishek Murthy and
               Ezio Bartocci and
               Elizabeth Cherry and
               Flavio H. Fenton and
               James Glimm and
               Scott A. Smolka and
               Radu Grosu},
  title     = {Model-order reduction of ion channel dynamics using approximate bisimulation},
  journal   = {Theor. Comput. Sci.},
  volume    = {599},
  pages     = {34--46},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.tcs.2014.03.018},
  doi       = {10.1016/j.tcs.2014.03.018},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/IslamMBCFGSG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/SelyuninRBISG15,
  author    = {Konstantin Selyunin and
               Denise Ratasich and
               Ezio Bartocci and
               Md. Ariful Islam and
               Scott A. Smolka and
               Radu Grosu},
  title     = {Neural Programming: Towards adaptive control in Cyber-Physical Systems},
  booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
               Japan, December 15-18, 2015},
  pages     = {6978--6985},
  year      = {2015},
  crossref  = {DBLP:conf/cdc/2015},
  url       = {https://doi.org/10.1109/CDC.2015.7403319},
  doi       = {10.1109/CDC.2015.7403319},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cdc/SelyuninRBISG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/IslamDFGMS15,
  author    = {Md. Ariful Islam and
               Richard DeFrancisco and
               Chuchu Fan and
               Radu Grosu and
               Sayan Mitra and
               Scott A. Smolka},
  title     = {Model Checking Tap Withdrawal in C. Elegans},
  booktitle = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
               Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
  pages     = {195--210},
  year      = {2015},
  crossref  = {DBLP:conf/hsb/2015},
  url       = {https://doi.org/10.1007/978-3-319-26916-0\_11},
  doi       = {10.1007/978-3-319-26916-0\_11},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hsb/IslamDFGMS15},
  bibsource = {dblp computer science bibliography, https://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       = {https://doi.org/10.1145/2728606.2728609},
  doi       = {10.1145/2728606.2728609},
  timestamp = {Fri, 06 Sep 2019 10:57:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/MurthyISG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/IslamDFGMS15,
  author    = {Md. Ariful Islam and
               Richard DeFrancisco and
               Chuchu Fan and
               Radu Grosu and
               Sayan Mitra and
               Scott A. Smolka},
  title     = {Model Checking Tap Withdrawal in C. Elegans},
  journal   = {CoRR},
  volume    = {abs/1503.06480},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.06480},
  archivePrefix = {arXiv},
  eprint    = {1503.06480},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/IslamDFGMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/IslamMGSG14,
  author    = {Md. Ariful Islam and
               Abhishek Murthy and
               Antoine Girard and
               Scott A. Smolka and
               Radu Grosu},
  title     = {Compositionality results for cardiac cell dynamics},
  booktitle = {17th International Conference on Hybrid Systems: Computation and Control
               (part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
  pages     = {243--252},
  year      = {2014},
  crossref  = {DBLP:conf/hybrid/2014},
  url       = {https://doi.org/10.1145/2562059.2562138},
  doi       = {10.1145/2562059.2562138},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/IslamMGSG14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MurthyIBCFGSG12,
  author    = {Abhishek Murthy and
               Md. Ariful Islam and
               Ezio Bartocci and
               Elizabeth Cherry and
               Flavio H. Fenton and
               James Glimm and
               Scott A. Smolka and
               Radu Grosu},
  title     = {Approximate Bisimulations for Sodium Channel Dynamics},
  booktitle = {Computational Methods in Systems Biology - 10th International Conference,
               {CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
  pages     = {267--287},
  year      = {2012},
  crossref  = {DBLP:conf/cmsb/2012},
  url       = {https://doi.org/10.1007/978-3-642-33636-2\_16},
  doi       = {10.1007/978-3-642-33636-2\_16},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/MurthyIBCFGSG12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gc/AhmedHI11,
  author    = {Syed Ishtiaque Ahmed and
               Masud Hasan and
               Md. Ariful Islam},
  title     = {Cutting a Convex Polyhedron Out of a Sphere},
  journal   = {Graphs and Combinatorics},
  volume    = {27},
  number    = {3},
  pages     = {307--319},
  year      = {2011},
  url       = {https://doi.org/10.1007/s00373-011-1018-1},
  doi       = {10.1007/s00373-011-1018-1},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/gc/AhmedHI11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcp/AhmedIH10,
  author    = {Syed Ishtiaque Ahmed and
               Md. Ariful Islam and
               Masud Hasan},
  title     = {Cutting a Cornered Convex Polygon Out of a Circle},
  journal   = {{JCP}},
  volume    = {5},
  number    = {1},
  pages     = {4--11},
  year      = {2010},
  url       = {https://doi.org/10.4304/jcp.5.1.4-11},
  doi       = {10.4304/jcp.5.1.4-11},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcp/AhmedIH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/walcom/AhmedHI10,
  author    = {Syed Ishtiaque Ahmed and
               Masud Hasan and
               Md. Ariful Islam},
  title     = {Cutting a Convex Polyhedron Out of a Sphere},
  booktitle = {{WALCOM:} Algorithms and Computation, 4th International Workshop,
               {WALCOM} 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings},
  pages     = {94--101},
  year      = {2010},
  crossref  = {DBLP:conf/walcom/2010},
  url       = {https://doi.org/10.1007/978-3-642-11440-3\_9},
  doi       = {10.1007/978-3-642-11440-3\_9},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/walcom/AhmedHI10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-4068,
  author    = {Syed Ishtiaque Ahmed and
               Masud Hasan and
               Md. Ariful Islam},
  title     = {Cutting a Convex Polyhedron Out of a Sphere},
  journal   = {CoRR},
  volume    = {abs/0907.4068},
  year      = {2009},
  url       = {http://arxiv.org/abs/0907.4068},
  archivePrefix = {arXiv},
  eprint    = {0907.4068},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0907-4068},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019smolka,
  editor    = {Ezio Bartocci and
               Rance Cleaveland and
               Radu Grosu and
               Oleg Sokolsky},
  title     = {From Reactive Systems to Cyber-Physical Systems - Essays Dedicated
               to Scott A. Smolka on the Occasion of His 65th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11500},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-31514-6},
  doi       = {10.1007/978-3-030-31514-6},
  isbn      = {978-3-030-31513-9},
  timestamp = {Tue, 24 Sep 2019 14:08:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2019smolka},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2019arch,
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
               and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
               April 15, 2019},
  series    = {EPiC Series in Computing},
  volume    = {61},
  publisher = {EasyChair},
  year      = {2019},
  url       = {http://www.easychair.org/publications/volume/ARCH19},
  timestamp = {Wed, 03 Jul 2019 10:06:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2019arch},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccps/2019,
  editor    = {Xue Liu and
               Paulo Tabuada and
               Miroslav Pajic and
               Linda Bushnell},
  title     = {Proceedings of the 10th {ACM/IEEE} International Conference on Cyber-Physical
               Systems, {ICCPS} 2019, Montreal, QC, Canada, April 16-18, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3302509},
  doi       = {10.1145/3302509},
  isbn      = {978-1-4503-6285-6},
  timestamp = {Sun, 07 Apr 2019 16:25:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccps/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cdc/2018,
  title     = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
               FL, USA, December 17-19, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8592870/proceeding},
  isbn      = {978-1-5386-1395-5},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cdc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2017-1,
  editor    = {Rupak Majumdar and
               Viktor Kuncak},
  title     = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10426},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63387-9},
  doi       = {10.1007/978-3-319-63387-9},
  isbn      = {978-3-319-63386-2},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2017-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2017,
  editor    = {Stefano Tonetta and
               Erwin Schoitsch and
               Friedemann Bitsch},
  title     = {Computer Safety, Reliability, and Security - 36th International Conference,
               {SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10488},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66266-4},
  doi       = {10.1007/978-3-319-66266-4},
  isbn      = {978-3-319-66265-7},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bibm/2016,
  editor    = {Tianhai Tian and
               Qinghua Jiang and
               Yunlong Liu and
               Kevin Burrage and
               Jiangning Song and
               Yadong Wang and
               Xiaohua Hu and
               Shinichi Morishita and
               Qian Zhu and
               Guohua Wang},
  title     = {{IEEE} International Conference on Bioinformatics and Biomedicine,
               {BIBM} 2016, Shenzhen, China, December 15-18, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7811899/proceeding},
  isbn      = {978-1-5090-1611-2},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bibm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2016,
  editor    = {Ezio Bartocci and
               Pietro Li{\`{o}} and
               Nicola Paoletti},
  title     = {Computational Methods in Systems Biology - 14th International Conference,
               {CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9859},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45177-0},
  doi       = {10.1007/978-3-319-45177-0},
  isbn      = {978-3-319-45176-3},
  timestamp = {Sun, 02 Jun 2019 21:13:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hldvt/2016,
  title     = {{IEEE} International High Level Design Validation and Test Workshop,
               {HLDVT} 2016, Santa Cruz, CA, USA, October 7-8, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7746774/proceeding},
  isbn      = {978-1-5090-4270-8},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hldvt/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cdc/2015,
  title     = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
               Japan, December 15-18, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7396016/proceeding},
  isbn      = {978-1-4799-7886-1},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cdc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hsb/2015,
  editor    = {Alessandro Abate and
               David Safr{\'{a}}nek},
  title     = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
               Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9271},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-26916-0},
  doi       = {10.1007/978-3-319-26916-0},
  isbn      = {978-3-319-26915-3},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hsb/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2015,
  editor    = {Antoine Girard and
               Sriram Sankaranarayanan},
  title     = {Proceedings of the 18th International Conference on Hybrid Systems:
               Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2728606},
  isbn      = {978-1-4503-3433-4},
  timestamp = {Fri, 06 Sep 2019 10:57:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2014,
  editor    = {Martin Fr{\"{a}}nzle and
               John Lygeros},
  title     = {17th International Conference on Hybrid Systems: Computation and Control
               (part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2562059},
  isbn      = {978-1-4503-2732-9},
  timestamp = {Tue, 22 Apr 2014 20:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hybrid/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmsb/2012,
  editor    = {David R. Gilbert and
               Monika Heiner},
  title     = {Computational Methods in Systems Biology - 10th International Conference,
               {CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7605},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33636-2},
  doi       = {10.1007/978-3-642-33636-2},
  isbn      = {978-3-642-33635-5},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cmsb/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/walcom/2010,
  editor    = {Md. Saidur Rahman and
               Satoshi Fujita},
  title     = {{WALCOM:} Algorithms and Computation, 4th International Workshop,
               {WALCOM} 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5942},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11440-3},
  doi       = {10.1007/978-3-642-11440-3},
  isbn      = {978-3-642-11439-7},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/walcom/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics