Faraz Hussain

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 18

Top Topics

Formal Specification Language

Keystroke Dynamics

Top Venues

Int. J. Bioinform. Res. Appl.

Publications

Xiaofei Wang, Rashik Shadman, Daqing Hou, Faraz Hussain, Stephanie Schuckers
A Novel Keystroke Dataset for Preventing Advanced Persistent Threats. ICPRAM (2024)
Rashik Shadman, Ahmed Anu Wahab, Michael Manno, Matthew Lukaszewski, Daqing Hou, Faraz Hussain
Keystroke Dynamics: Concepts, Techniques, and Applications. CoRR (2023)
M. G. Sarwar Murshed, Syed Konain Abbas, Sandip Purnapatra, Daqing Hou, Faraz Hussain
Deep Learning-Based Approaches for Contactless Fingerprints Segmentation and Extraction. CoRR (2023)
M. G. Sarwar Murshed, Keivan Bahmani, Stephanie Schuckers, Faraz Hussain
Deep Age-Invariant Fingerprint Segmentation System. CoRR (2023)
M. G. Sarwar Murshed, Christopher Murphy, Daqing Hou, Nazar Khan, Ganesh Ananthanarayanan, Faraz Hussain
Machine Learning at the Network Edge: A Survey. ACM Comput. Surv. 54 (8) (2022)
M. G. Sarwar Murshed, Robert Kline, Keivan Bahmani, Faraz Hussain, Stephanie Schuckers
Deep Slap Fingerprint Segmentation for Juveniles and Adults. CoRR (2021)
Edward Verenich, Tobias Martin, Alvaro Velasquez, Nazar Khan, Faraz Hussain
Pulmonary Disease Classification Using Globally Correlated Maximum Likelihood: an Auxiliary Attention mechanism for Convolutional Neural Networks. CoRR (2021)
Edward Verenich, Alvaro Velasquez, Nazar Khan, Faraz Hussain
Improving Explainability of Image Classification in Scenarios with Class Overlap: Application to COVID-19 and Pneumonia. CoRR (2020)
Edward Verenich, Alvaro Velasquez, Nazar Khan, Faraz Hussain
Improving Explainability of Image Classification in Scenarios with Class Overlap: Application to COVID-19 and Pneumonia. ICMLA (2020)
M. G. Sarwar Murshed, James J. Carroll, Nazar Khan, Faraz Hussain
Resource-aware On-device Deep Learning for Supermarket Hazard Detection. ICMLA (2020)
Edward Verenich, Alvaro Velasquez, M. G. Sarwar Murshed, Faraz Hussain
FlexServe: Deployment of PyTorch Models as Flexible REST Endpoints. CoRR (2020)
Edward Verenich, Alvaro Velasquez, M. G. Sarwar Murshed, Faraz Hussain
FlexServe: Deployment of PyTorch Models as Flexible REST Endpoints. OpML (2020)
Edward Verenich, Alvaro Velasquez, M. G. Sarwar Murshed, Faraz Hussain
The Utility of Feature Reuse: Transfer Learning in Data-Starved Regimes. CoRR (2020)
M. G. Sarwar Murshed, Edward Verenich, James J. Carroll, Nazar Khan, Faraz Hussain
Hazard Detection in Supermarkets using Deep Learning on the Edge. CoRR (2020)
Baogang Zhang, M. G. Sarwar Murshed, Faraz Hussain, Rickard Ewetz
Fast Resilient-Aware Data Layout Organization for Resistive Computing Systems. ISVLSI (2020)
M. G. Sarwar Murshed, Christopher Murphy, Daqing Hou, Nazar Khan, Ganesh Ananthanarayanan, Faraz Hussain
Machine Learning at the Network Edge: A Survey. CoRR (2019)
Sunny Raj, Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Damla Turgut, Narsingh Deo, Sumanta N. Pattanaik, Chung-Che Jeff Chang, Sumit Kumar Jha
A theorem proving approach for automatically synthesizing visualizations of flow cytometry data. BMC Bioinform. 18 (8) (2017)
Arvind Ramanathan, Laura L. Pullum, Faraz Hussain, Dwaipayan Chakrabarty, Sumit Kumar Jha
Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision. DATE (2016)
Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Narsingh Deo, Sumanta N. Pattanaik, Chung-Che Chang, Sumit Kumar Jha
SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures. ICCABS (2015)
Faraz Hussain, Christopher J. Langmead, Qi Mi, Joyeeta Dutta-Moscato, Yoram Vodovotz, Sumit Kumar Jha
Automated parameter estimation for biological models using Bayesian statistical model checking. BMC Bioinform. 16 (S17) (2015)
Arup Kumar Ghosh, Faraz Hussain, Susmit Jha, Christopher James Langmead, Sumit Kumar Jha
Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model. Int. J. Bioinform. Res. Appl. 10 (4/5) (2014)
Faraz Hussain, Sumit Kumar Jha, Susmit Jha, Christopher James Langmead
Parameter discovery in stochastic biological models using simulated annealing and statistical model checking. Int. J. Bioinform. Res. Appl. 10 (4/5) (2014)
Faraz Hussain, Christopher James Langmead, Qi Mi, Joyeeta Dutta-Moscato, Yoram Vodovotz, Sumit Kumar Jha
Parameter discovery for stochastic computational models in systems biology using Bayesian model checking. ICCABS (2014)
Faraz Hussain, Arvind Ramanathan, Laura L. Pullum, Sumit Kumar Jha
EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth. ICCABS (2014)
Faraz Hussain, Alvaro Velasquez, Emily Sassano, Sumit Kumar Jha
Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data. ICCABS (2014)
Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha
Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems. ICCABS (2012)
Aditya Reddy Kolli, Frank Sommerhage, Peter Molnar, Jonathan E. Hood, Jerry J. Jenkins, Faraz Hussain, Arup K. Ghosh, Sumit Kumar Jha, James J. Hickman
A computational metabolic model of the NG108-15 cell for high content drug screening with electrophysiological readout. BCB (2012)
Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha
Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing. ICCABS (2012)
Faraz Hussain, Gary T. Leavens
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. SEFM (2010)
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
The design of SafeJML, a specification language for SCJ with support for WCET specification. JTRES (2010)