Md. Ariful Islam
Cited by
Cited by
Model-order reduction of ion channel dynamics using approximate bisimulation
MA Islam, A Murthy, E Bartocci, EM Cherry, FH Fenton, J Glimm, ...
Theoretical Computer Science 599, 34-46, 2015
Compositionality results for cardiac cell dynamics
MA Islam, A Murthy, A Girard, SA Smolka, R Grosu
Proceedings of the 17th international conference on Hybrid systems …, 2014
Approximate bisimulations for sodium channel dynamics
A Murthy, MA Islam, E Bartocci, EM Cherry, FH Fenton, J Glimm, ...
Computational Methods in Systems Biology: 10th International Conference …, 2012
Lagrangian reachtubes: The next generation
S Gruenbacher, J Cyranka, M Lechner, MA Islam, SA Smolka, R Grosu
2020 59th IEEE Conference on Decision and Control (CDC), 1556-1563, 2020
Computing bisimulation functions using SOS optimization and δ-decidability over the reals
A Murthy, MA Islam, SA Smolka, R Grosu
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
Lagrangian reachabililty
J Cyranka, MA Islam, G Byrne, P Jones, SA Smolka, R Grosu
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
A simplex architecture for hybrid systems using barrier certificates
J Yang, MA Islam, A Murthy, SA Smolka, SD Stoller
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans
MA Islam, Q Wang, RM Hasani, O Balún, EM Clarke, R Grosu, SA Smolka
2016 IEEE International High Level Design Validation and Test Workshop …, 2016
Synthesizing stealthy reprogramming attacks on cardiac devices
N Paoletti, Z Jiang, MA Islam, H Abbas, R Mangharam, S Lin, Z Gruber, ...
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019
Neural Programming: Towards Adaptive Control in Cyber-Physical Systems}
K Selyunin, D Ratasich, E Bartocci, MA Islam, SA Smolka, R Grosu
Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control}, 2015
Model checking tap withdrawal in C. Elegans
MA Islam, R De Francisco, C Fan, R Grosu, S Mitra, SA Smolka
Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid …, 2015
Development of low cost agarwood essential oil extraction system for agar tree growers in Bangladesh
MA Islam, MD Hussain, E Kabir, MZ Hasan
Journal of the Bangladesh Agricultural University 12 (1), 167-170, 2014
Towards lexicon-free bangla automatic speech recognition system
MM Hasan, MA Islam, S Kibria, MS Rahman
2019 International Conference on Bangla Speech and Language Processing …, 2019
Cutting a cornered convex polygon out of a circle
SI Ahmed, MA Islam, M Hasan
2008 11th International Conference on Computer and Information Technology, 1-6, 2008
Design of a terahertz regime-based surface plasmon hybrid photonic crystal fiber edible oil biosensor
AHMI Ferdous, P Sarker, MG Hasan, MA Islam, A Musha, TMK Anwer, ...
Plasmonics 18 (5), 1923-1932, 2023
Tight continuous-time reachtubes for lagrangian reachability
J Cyranka, MA Islam, SA Smolka, S Gao, R Grosu
2018 IEEE Conference on Decision and Control (CDC), 6854-6861, 2018
Cybercardia project: modeling, verification and validation of implantable cardiac devices
MA Islam, H Lim, N Paoletti, H Abbas, Z Jiang, J Cyranka, R Cleaveland, ...
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM …, 2016
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
MA Islam, R Cleaveland, FH Fenton, R Grosu, PL Jones, SA Smolka
Theoretical Computer Science 765, 158-169, 2019
Robustness of neural networks to parameter quantization
A Murthy, H Das, MA Islam
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A …, 2019
Computing compositional proofs of input-to-output stability using SOS optimization and δ-decidability
A Murthy, MA Islam, SA Smolka, R Grosu
Nonlinear Analysis: Hybrid Systems 23, 272-286, 2017
The system can't perform the operation now. Try again later.
Articles 1–20