| 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 | 20 | 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 | 19 | 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 | 16 | 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 | 14 | 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 | 14 | 2015 |
| Lagrangian reachabililty J Cyranka, MA Islam, G Byrne, P Jones, SA Smolka, R Grosu Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 12 | 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 | 11 | 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 | 10 | 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 | 9 | 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 | 9 | 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 | 8 | 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 | 8 | 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 | 7 | 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 | 7 | 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 | 6 | 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 | 6 | 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 | 6 | 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 | 5 | 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 | 5 | 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 | 5 | 2017 |
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityEmail verificata su cs.sunysb.edu
