List of Peer-Reviewed Journal Articles
  • Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, and Scott D. Stoller. A Simplex Simplex architectures for hybrid systems based on barrier certificates. In Elsevier journal on Reliability Engineering and System Safety (RESS), 2018. (Under review). [draft]

  • Md. Ariful Islam, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka. Probabilistic Reachability for Multi-Parameter Bifurcation Analysis of Cardiac Alternans. In Elsevier Journal on Theoretical Computer Science  (TCS), 2018. [pdf] [link]

  • Abhishek Murthy, Md. Ariful Islam, Radu Grosu, Scott A. Smolka. Computing compositional proofs of input-to-output stability using SOS optimization and delta-decidability. Elsevier journal on  Nonlinear Analysis: Hybrid Systems (NAHS),  2017. [pdf] [link]

  • Md Ariful Islam, A. Murthy, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka and R. Grosu. Model-order reduction of ion channel dynamics using approximate bisimulation. In Elsevier journal on Theoretical Computer Science (TCS), 2015. [pdf] [link]

  • Syed Ishtiaque Ahmed, Masud Hasan and Md Ariful Islam. Cutting a convex polyhedron out of a sphere. In Graphs and Combinatorics, 2011. [pdf] [link]

  • Syed Ishtiaque Ahmed, Md Ariful Islam and Masud Hasan. Cutting a cornered convex polygon out of a circle. In Journal of Computers (JCP), 2010. [pdf] [link]

List of Peer-Reviewed Conference & Workshop Papers
  • Sophie Gruenbacher, Jacek Cyranka, Md Ariful Islam, Max Tschaikowski, Scott Smolka and Radu Grosu. Under the Hood of a Stand-Alone Lagrangian Reachability Tool. The 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), held in conjunction with CPS-IoT Week, Montreal, 2019.

  • Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka. Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. The 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2019.  [draft]

  • Abhishek Murthy, Himel Das, Md Ariful Islam. Robustness of Neural Networks to Parameter Quantization. ScottFest, Stony Brook, 2019. Preprint: arXiv:1903.10672

  • Jacek Cyranka*, Md. Ariful Islam*,  Sicun Gao, Scott Smolka, Radu Grosu. Tight continuous-time reachtubes for Lagrangian reachability. The 57th IEEE Conference on Decision and Control, 2018. [*- equal contribution] [pdf] [link]

  • Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, and Scott D. Stoller. A Simplex Architecture for Hybrid Systems using Barrier Certificates. The 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP), 2017. [pdf] [link]

  • Jacek Cyranka*, Md. Ariful Islam*, Greg Byrne, Paul Jones, Scott Smolka, Radu Grosu. Lagrangian Reachability. The 29th International Conference on Computer-Aided Verification (CAV), 2017.     [*- equal contribution]  [pdf] [link]

  • Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka. Bifurcation Analysis of Cardiac Alternans Using delta-Decidability. The 14th International Conference on Computational Methods in Systems Biology (CMSB),  2016. [pdf] [link]

  • Md. Ariful Islam, Qinsi Wang, Ramin M. Hasani, Ondrej Balun, Edmund M. Clarke, Radu Grosu, Scott A. Smolka. Probabilistic Reachability Analysis of the Tap Withdrawal Circuit in Caenorhabditis elegans. 18th IEEE International High-Level Design Validation and Test Workshop (HLDVT),  2016. [pdf] [link]

  • Md. Ariful Islam, Hyunkung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, and Scott A. Smolka. CyberCardia Project: Modeling, Verification and Validation of Implantable Cardiac Devices. IEEE International Conference on Bioinformatics and Biomedicine (BIBM), 2016. [pdf] [link]

  • Abhishek Murthy, Md. Ariful Islam, Radu Grosu, Scott A. Smolka. Computing bisimulation functions using SOS optimization and delta-Decidability over the Reals. The 18th International Conference on Hybrid Systems: Computation and Control (HSCC), 2015. [pdf] [link

  • Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka. Model checking tap withdrawal in C. Elegans. The 4th International Workshop on Hybrid Systems Biology (HSB), 2015. [pdf] [link]

  • Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott Smolka, Radu Grosu. Neural programming: towards adaptive controls in cyber-physical systems. The 54th IEEE Conference on Decision and Control (CDC),  2015. [pdf] [link]

  • Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu. Compositionality results for cardiac cell dynamics. The 17th International Conference on Hybrid Systems: Computation and Control (HSCC),  2014. [pdf] [link]

  • Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Scott Stoller, Scott A. Smolka, Radu Grosu. Tracking action potentials of nonlinear excitable cells using model predictive control. The 6th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies: BioTechno, 2014. [pdf] [link]

  • Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Scott A. Smolka, Radu Grosu. Compositionality results for cardiac cell dynamic. The 10th International Conference on Computational Methods in Systems Biology (CMSB),  2013.  (Poster) [pdf] [link]

  • Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu. Approximate bisimulations for sodium channel dynamics. The 10th International Conference on Computational Methods in Systems Biology (CMSB), 2012. [pdf] [link]

  • Syed I. Ahmed, Masud Hasan, Md. Ariful Islam. Cutting a convex polyhedron out of a sphere. The 4th International Workshop on Algorithms and Computation (WALCOM),  2010. [link]

  • Syed I. Ahmed, Masud Hasan, Md. Ariful Islam. Cutting a convex polyhedron out of a sphere.  The 7th Japan Conference on Computational Geometry and Graph (JCCG), 2009. [link]

  • Syed I. Ahmed, Md. Ariful Islam, Masud Hasan. Cutting a cornered convex polygon out of a circle. The 11th International Conference on Communications and Information Technology (ICCIT),  2008. [pdf] [link]

Follow me

© 2017 by Md Ariful Islam
Proudly created with
Wix.com
 

Call

T: 631-974-1577   

  • LinkedIn Social Icon
  • Facebook Clean
  • Twitter Clean