Follow
Faraz Hussain
Title
Cited by
Cited by
Year
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
3532021
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
412016
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
342010
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
132014
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, 1-14, 2015
122015
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
122010
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
102012
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
8*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
82014
Keystroke dynamics: Concepts, techniques, and applications
R Shadman, AA Wahab, M Manno, M Lukaszewski, D Hou, F Hussain
arXiv preprint arXiv:2303.04605, 2023
62023
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
62020
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
62020
Pulmonary disease classification using globally correlated maximum likelihood: an auxiliary attention mechanism for convolutional neural networks
E Verenich, T Martin, A Velasquez, N Khan, F Hussain
arXiv preprint arXiv:2109.00573, 2021
52021
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
52012
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
42020
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
42014
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
32022
Deep slap fingerprint segmentation for juveniles and adults
MGS Murshed, R Kline, K Bahmani, F Hussain, S Schuckers
2021 IEEE International Conference on Consumer Electronics-Asia (ICCE-Asia), 1-4, 2021
32021
{FlexServe}: Deployment of {PyTorch} Models as Flexible {REST} Endpoints
E Verenich, A Velasquez, MGS Murshed, F Hussain
2020 USENIX Conference on Operational Machine Learning (OpML 20), 2020
32020
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
32014
The system can't perform the operation now. Try again later.
Articles 1–20