| Machine Learning at the Network Edge: A Survey MGS Murshed, C Murphy, D Hou, N Khan, G Ananthanarayanan, ... ACM Computing Surveys (CSUR) 54 (8), 1-37, 2021 | 190 | 2021 |
| The design of SafeJML, a specification language for SCJ with support for WCET specification G Haddad, F Hussain, GT Leavens Proceedings of the 8th International Workshop on Java Technologies for Real …, 2010 | 33 | 2010 |
| Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision A Ramanathan, LL Pullum, F Hussain, D Chakrabarty, SK Jha Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016 …, 2016 | 30 | 2016 |
| Parameter discovery in stochastic biological models using simulated annealing and statistical model checking F Hussain, SK Jha, S Jha, CJ Langmead International Journal of Bioinformatics Research and Applications 2 10 (4-5 …, 2014 | 13 | 2014 |
| Automated parameter estimation for biological models using Bayesian statistical model checking F Hussain, CJ Langmead, Q Mi, J Dutta-Moscato, Y Vodovotz, SK Jha BMC bioinformatics 16 (17), 1-14, 2015 | 11 | 2015 |
| temporaljmlc: A jml runtime assertion checker extension for specification and checking of temporal properties F Hussain, GT Leavens 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 11 | 2010 |
| Parameter discovery for stochastic biological models against temporal behavioral specifications using an sprt based metric for simulated annealing F Hussain, RG Dutta, SK Jha, CJ Langmead, S Jha 2012 IEEE 2nd International Conference on Computational Advances in Bio and …, 2012 | 10 | 2012 |
| Hazard detection in supermarkets using deep learning on the edge MGS Murshed, E Verenich, JJ Carroll, N Khan, F Hussain arXiv preprint arXiv:2003.04116, 2020 | 7* | 2020 |
| EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth F Hussain, A Ramanathan, LL Pullum, SK Jha 2014 IEEE 4th International Conference on Computational Advances in Bio and …, 2014 | 7 | 2014 |
| Decision procedure based discovery of rare behaviors in stochastic differential equation models of biological systems AK Ghosh, F Hussain, SK Jha, CJ Langmead, S Jha 2012 IEEE 2nd International Conference on Computational Advances in Bio and …, 2012 | 5 | 2012 |
| Improving explainability of image classification in scenarios with class overlap: application to COVID-19 and pneumonia E Verenich, A Velasquez, N Khan, F Hussain 2020 19th IEEE International Conference on Machine Learning and Applications …, 2020 | 4 | 2020 |
| The utility of feature reuse: Transfer learning in data-starved regimes E Verenich, A Velasquez, MG Murshed, F Hussain arXiv preprint arXiv:2003.04117, 2020 | 4 | 2020 |
| Parameter discovery for stochastic computational models in systems biology using Bayesian model checking F Hussain, CJ Langmead, Q Mi, J Dutta-Moscato, Y Vodovotz, SK Jha 2014 IEEE 4th International Conference on Computational Advances in Bio and …, 2014 | 4 | 2014 |
| Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model AK Ghosh, F Hussain, S Jha, CJ Langmead, SK Jha International Journal of Bioinformatics Research and Applications 2 10 (4-5 …, 2014 | 3 | 2014 |
| Early Adoption: High-Performance Computing for Big Data Introducing parallel programming and big data in the core algorithms curriculum F Hussain, N Deo, SK Jha Procceedings of the 4th NSF/TCPP Workshop on Parallel and Distributed …, 2014 | 3 | 2014 |
| Resource-aware on-device deep learning for supermarket hazard detection MGS Murshed, JJ Carroll, N Khan, F Hussain 2020 19th IEEE International Conference on Machine Learning and Applications …, 2020 | 2 | 2020 |
| Introducing parallel programming across the undergraduate curriculum through an interdisciplinary course on computational modeling N Deo, SK Jha, F Hussain, M Vasudevan Procceedings of the Third NSF/TCPP Workshop on Parallel and Distributed …, 2013 | 2 | 2013 |
| A computational metabolic model of the NG108-15 cell for high content drug screening with electrophysiological readout AR Kolli, F Sommerhage, P Molnar, JE Hood, JJ Jenkins, F Hussain, ... Proceedings of the ACM Conference on Bioinformatics, Computational Biology …, 2012 | 2 | 2012 |
| Enhancing a behavioral interface specification language with temporal logic features F Hussain Iowa State University, 2009 | 2 | 2009 |
| Efficient Deployment of Deep Learning Models on Autonomous Robots in the ROS Environment MG Sarwar Murshed, JJ Carroll, N Khan, F Hussain Deep Learning Applications, Volume 3, 215-243, 2022 | 1 | 2022 |
M. G. Sarwar MurshedClarkson University, New York USAVerified email at clarkson.edu
