Md. Ariful Islam

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 35

Top Topics

Reachability Analysis

Monitoring System

Top Venues

Publications

Shifat E. Arman, Sayed Saminur Rahman, Niloy Irtisam, Shamim Ahmed Deowan, Md. Ariful Islam, Saadman Sakib, Md Mehedi Hasan
Intracranial Hemorrhage Classification From CT Scan Using Deep Learning and Bayesian Optimization. IEEE Access 11 (2023)
Sourabh Roy Biswes, Rieaj Uddin Fahad, Mirza Sadman Ahmed Swapno, Md. Ariful Islam, Abdus Sattar
Human Activity Recognition Using Smartphone Sensors. ICCCNT (2023)
Md. Ariful Islam, Labanya Talukder, Md. Firoj Al, Subrata K. Sarker, S. M. Muyeen, Prangon Das, Md. Mehedi Hasan, Sajal K. Das, Md. Manirul Islam, Md. Robiul Islam, Sumaya Ishrat Moyeen, Faisal R. Badal, Md. Hafiz Ahamed, Sarafat Hussain Abhi
A review on self-healing featured soft robotics. Frontiers Robotics AI 10 (2023)
M. Mejbaul Haque, Peter J. Wolfs, Sanath Alahakoon, Md. Ariful Islam, Mithulan Nadarajah, Firuz Zare, Omar Farrok
Three-Port Converters for Energy Conversion of PV-BES Integrated Systems - A Review. IEEE Access 11 (2023)
Md. Ariful Islam, Md. Antonin Islam, Md. Amzad Hossain Jacky, Md. Al-Amin, Md. Saef Ullah Miah, Md Muhidul Islam Khan, Md. Iqbal Hossain
Distributed Ledger Technology Based Integrated Healthcare Solution for Bangladesh. IEEE Access 11 (2023)
Md. Ariful Islam, Md Mehedi Hasan, Shamim Ahmed Deowan
Robot-Assisted Training for Children with Autism Spectrum Disorder: A Review. J. Intell. Robotic Syst. 108 (3) (2023)
Kazi Atique Moula Nabil, Md. Ariful Islam, Abdullah Al Noman, Mohammad Monirujjaman Khan
Development of A Smart Non-Invasive Glucose Monitoring System With SpO2 and BPM for Diabetic Patient. CCWC (2023)
Md. Ariful Islam, Kowshik Nittala, Garima Bajwa
Adding Explainability to Machine Learning Models to Detect Chronic Kidney Disease. IRI (2022)
Md. Ershadul Haque, Salah Uddin, Md. Ariful Islam, Amira Khanom, Abdulla Suman, Manoranjan Paul
Analysis and prediction of heart stroke from ejection fraction and serum creatinine using LSTM deep learning approach. CoRR (2022)
Md. Ariful Islam, Md. Antonin Islam, Md. Amzad Hossain Jacky, Md. Al-Amin, M. Saef Ullah Miah, Md Muhidul Islam Khan, Md. Iqbal Hossain
Distributed Ledger Technology based Integrated Healthcare Solution for Bangladesh. CoRR (2022)
Jubayer Ahamed, Maliha Maisha, Zeba Labiba, Md. Ariful Islam, Dip Nandi
A review report on the fingerprint-based biometric system in ATM banking. ICCA (2022)
Khondoker Murad Hossain, Md. Ariful Islam, Shahera Hossain, Anton Nijholt, Md Atiqur Rahman Ahad
Status of deep learning for EEG-based brain-computer interface applications. Frontiers Comput. Neurosci. 16 (2022)
Md. Ariful Islam, Md. Antonin Islam, Md. Saef Ullah Miah, Abhijit Bhowmik
An automated monitoring and environmental control system for laboratory-scale cultivation of oyster mushrooms using the Internet of Agricultural Thing (IoAT). ICCA (2022)
Irin Bandyopadhyaya, Md. Ariful Islam, Parthasarathi Bhattacharyya, Goutam Saha
Automatic lung sound cycle extraction from single and multichannel acoustic recordings. Biomed. Signal Process. Control. 64 (2021)
Md. Ariful Islam, Jai Govind Singh, Israt Jahan, Molla S. Hossain Lipu, Taskin Jamal, Rajvikram Madurai Elavarasan, Lucian Mihet-Popa
Modeling and Performance Evaluation of ANFIS Controller-Based Bidirectional Power Management Scheme in Plug-In Electric Vehicles Integrated With Electric Grid. IEEE Access 9 (2021)
Md. Farhad Hossain, Md. Ariful Islam, Syed Naimatullah Hussain, Debprosad Das, Ruhul Amin, Mohammad Saydul Alam
Brain Tumor Classification from MRI Images Using Convolutional Neural Network. IICAIET (2021)
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
Lagrangian Reachtubes: The Next Generation. CoRR (2020)
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
Lagrangian Reachtubes: The Next Generation. CDC (2020)
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. Theor. Comput. Sci. 765 (2019)
Abhishek Murthy, Himel Das, Md. Ariful Islam
Robustness of Neural Networks to Parameter Quantization. From Reactive Systems to Cyber-Physical Systems (2019)
Abhishek Murthy, Himel Das, Md. Ariful Islam
Robustness of Neural Networks to Parameter Quantization. CoRR (2019)
Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu
Under the Hood of a Stand-Alone Lagrangian Reachability Tool. ARCH@CPSIoTWeek (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. ICCPS (2019)
Md. Mehadi Hasan, Md. Ariful Islam, Shafkat Kibria, Muhammad Shahidur Rahman
Toward Lexicon-Free Bangla Automatic Speech Recognition System. IJCCI (2019)
Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CDC (2018)
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. CoRR (2018)
Md. Ariful Islam, Irin Bandyopadhyaya, Parthasarathi Bhattacharyya, Goutam Saha
Multichannel lung sound analysis for asthma detection. Comput. Methods Programs Biomed. 159 (2018)
Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CoRR (2018)
Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller
A Simplex Architecture for Hybrid Systems Using Barrier Certificates. SAFECOMP (2017)
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
Lagrangian Reachabililty. CAV (1) (2017)
Md. Rayhan Islam, Md. Ariful Islam, Dulal Chandra Pattak, Mehdad Mamur Mannan
Motivating front level employees in the services organisation: theoretical analysis and implications. Int. J. Bus. Process. Integr. Manag. 8 (3) (2017)
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
Lagrangian Reachabililty. CoRR (2017)
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. CMSB (2016)
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. HLDVT (2016)
Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka
CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM (2016)
Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
Model-order reduction of ion channel dynamics using approximate bisimulation. Theor. Comput. Sci. 599 (2015)
Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
-decidability over the reals. HSCC (2015)
Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
Model Checking Tap Withdrawal in C. Elegans. HSB (2015)
Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
Neural Programming: Towards adaptive control in Cyber-Physical Systems. CDC (2015)
Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
Model Checking Tap Withdrawal in C. Elegans. CoRR (2015)
Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu
Compositionality results for cardiac cell dynamics. HSCC (2014)
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. CMSB (2012)
Syed Ishtiaque Ahmed, Masud Hasan, Md. Ariful Islam
Cutting a Convex Polyhedron Out of a Sphere. Graphs Comb. 27 (3) (2011)
Syed Ishtiaque Ahmed, Md. Ariful Islam, Masud Hasan
Cutting a Cornered Convex Polygon Out of a Circle. J. Comput. 5 (1) (2010)
Syed Ishtiaque Ahmed, Masud Hasan, Md. Ariful Islam
Cutting a Convex Polyhedron Out of a Sphere. WALCOM (2010)
Syed Ishtiaque Ahmed, Masud Hasan, Md. Ariful Islam
Cutting a Convex Polyhedron Out of a Sphere CoRR (2009)