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
1682021
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
332010
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
322016
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 (17), 1-14, 2015
112015
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
112010
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
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
72014
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
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
42020
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
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
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
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
32014
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
22020
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
22013
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
22012
Enhancing a behavioral interface specification language with temporal logic features
F Hussain
Iowa State University, 2009
22009
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
12022
The system can't perform the operation now. Try again later.
Articles 1–20