Md. Ariful Islam

发表

Lagrangian Reachtubes: The Next Generation

Radu Grosu, Scott A. Smolka, Mathias Lechner, 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

Tracking Action Potentials of Nonlinear Excitable Cells Using Model Predictive Control

Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2013 .

A novel spectrogram based approach towards automatic lung sound cycle extraction

Goutam Saha, Md. Ariful Islam, Irin Bandyopadhyaya, 2017, 2017 IEEE Calcutta Conference (CALCON).

Approximate Bisimulations for Sodium Channel Dynamics

Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2012, CMSB.

Performance Analysis of LTE in Rich Multipath and rural Environments for Wireless Communication in Smart Grid

Israt Jahan, Jai Govind Singh, Md. Ariful Islam, 2018, 2018 International Conference and Utility Exhibition on Green Energy for Sustainable Development (ICUE).

Multichannel lung sound analysis for asthma detection

Goutam Saha, Md. Ariful Islam, Irin Bandyopadhyaya, 2018, Comput. Methods Programs Biomed..

Neural Programming: Towards adaptive control in Cyber-Physical Systems

Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

Object Detection from Images using Convolutional Neural Network based on Deep Learning

Abdullah Al Zubaer, Md. Ariful Islam, Md. Mehedi Hasan Naim, 2020 .

Under the Hood of a Stand-Alone Lagrangian Reachability Tool

Radu Grosu, Scott A. Smolka, Jacek Cyranka, 2019, ARCH@CPSIoTWeek.

Tight Continuous-Time Reachtubes for Lagrangian Reachability

Radu Grosu, Scott A. Smolka, Sicun Gao, 2018, 2018 IEEE Conference on Decision and Control (CDC).

Automatic lung sound cycle extraction from single and multichannel acoustic recordings

Goutam Saha, Md. Ariful Islam, Parthasarathi Bhattacharyya, 2021, Biomed. Signal Process. Control..

Cutting a Convex Polyhedron Out of a Sphere

Masud Hasan, Syed Ishtiaque Ahmed, Md. Ariful Islam, 2011, Graphs Comb..

Cutting a Convex Polyhedron Out of a Sphere

Masud Hasan, Syed Ishtiaque Ahmed, Md. Ariful Islam, 2010, WALCOM.

Classification of Normal, Asthma and COPD Subjects Using Multichannel Lung Sound Signals

Goutam Saha, Md. Ariful Islam, Irin Bandyopadhyaya, 2018, 2018 International Conference on Communication and Signal Processing (ICCSP).

Secure Distribution of Certificate Revocation List (CRL) in Vehicular Ad-hoc Network (VANET)

Md. Ariful Islam, Shuvo Barua, Md. Imamul Islam, 2018 .

Performance Analysis of F-OFDM, FBMC and UFMC Modulation Techniques in 5G Wireless Network Based on Deep Learning

Abdullah Al Zubaer, Md. Ariful Islam, Md. Romzan Ali, 2020 .

Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability

Rance Cleaveland, Radu Grosu, Edmund M. Clarke, 2016, CMSB.

Compositionality results for cardiac cell dynamics

Antoine Girard, Radu Grosu, Scott A. Smolka, 2014, HSCC.

Model-order reduction of ion channel dynamics using approximate bisimulation

Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2015, Theor. Comput. Sci..

A Digital Platform Design for Supply Chain of Existing Fish Market in Bangladesh

Md. Ariful Islam, A. K. Das, Ratul Hasan Shaon, 2019, IJCCI.

Motivating front level employees in the services organisation: theoretical analysis and implications

Md. Ariful Islam, Md. Rayhan Islam, Dulal Chandra Pattak, 2017, Int. J. Bus. Process. Integr. Manag..

Toward Lexicon-Free Bangla Automatic Speech Recognition System

Md. Ariful Islam, Shafkat Kibria, Md. Mehadi Hasan, 2019, IJCCI.

Performance Analysis for AWGN and Rayleigh Fading Channel under Different AND & OR Fusion Rules

Abdullah Al Zubaer, Md. Ariful Islam, Rohani Amrin, 2020 .

A Simplex Architecture for Hybrid Systems Using Barrier Certificates

Scott A. Smolka, Scott D. Stoller, Junxing Yang, 2017, SAFECOMP.

Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans

Radu Grosu, Edmund M. Clarke, Scott A. Smolka, 2016, 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).

Lagrangian Reachabililty pdf

Radu Grosu, Scott A. Smolka, Paul L. Jones, 2017, CAV.

Cutting a cornered convex polygon out of a circle

Masud Hasan, Syed Ishtiaque Ahmed, Md. Ariful Islam, 2008, 2008 11th International Conference on Computer and Information Technology.

Feature Extraction Using Uniform Pattern based Standard Deviation for Face Recognition

Md. Abdulla Al Mamun, Masud Ibn Afjal, Md. Palash Uddin, 2018 .

Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability

Radu Grosu, Scott A. Smolka, Md. Ariful Islam, 2017 .

Synthesizing stealthy reprogramming attacks on cardiac devices

Houssam Abbas, Nicola Paoletti, Scott A. Smolka, 2018, ICCPS.

Model Checking Tap Withdrawal in C. Elegans pdf

Radu Grosu, Scott A. Smolka, Chuchu Fan, 2015, HSB.

Computing bisimulation functions using SOS optimization and δ-decidability over the reals

Radu Grosu, Scott A. Smolka, Abhishek Murthy, 2015, HSCC.

Robustness of Neural Networks to Parameter Quantization

Abhishek Murthy, Md. Ariful Islam, Himel Das, 2019, From Reactive Systems to Cyber-Physical Systems.

CyberCardia project: Modeling, verification and validation of implantable cardiac devices

Rance Cleaveland, Richard A. Gray, Radu Grosu, 2016, 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).

Bifurcation Analysis of Cardiac Alternans Using δ-Decidability

Rance Cleaveland, Radu Grosu, Edmund M. Clarke, 2016 .

A sharp-interface Cartesian grid method for time-domain acoustic scattering from complex geometries

Md. Ariful Islam, G. Meng, Y. Qu, 2020 .

Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans

Rance Cleaveland, Radu Grosu, Scott A. Smolka, 2018, Theor. Comput. Sci..