Volgen
Md. Ariful Islam
Md. Ariful Islam
Cisco
Geverifieerd e-mailadres voor csebuet.org - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
192015
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
192014
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
162012
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
142020
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
142015
Lagrangian reachabililty
J Cyranka, MA Islam, G Byrne, P Jones, SA Smolka, R Grosu
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
122017
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
102016
Improvement of the handover performance and channel allocation scheme using fuzzy logic, artificial neural network and neuro-fuzzy system to reduce call drop in cellular network
MA Islam, MR Hasan, A Begum
Journal of Engineering Advancements 1 (04), 130-138, 2020
92020
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
92017
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
82019
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
82015
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
82015
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
72014
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
72008
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
62023
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
62019
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
62018
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
62016
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
52019
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
52017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20