The design of SafeJML, a specification language for SCJ with support for WCET specification. - Ghaith Haddad; Faraz Hussain 001; Gary T. Leavens (JTRES, 2010)

temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. - Faraz Hussain 001; Gary T. Leavens (SEFM, 2010)

A computational metabolic model of the NG108-15 cell for high content drug screening with electrophysiological readout. - Aditya Reddy Kolli; Frank Sommerhage; Peter Molnar; Jonathan E. Hood; Jerry J. Jenkins; Faraz Hussain 001; Arup K. Ghosh; Sumit Kumar Jha 001; James J. Hickman (BCB, 2012)

Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems. - Arup K. Ghosh; Faraz Hussain 001; Sumit Kumar Jha 001; Christopher James Langmead; Susmit Jha (ICCABS, 2012)

Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing. - Faraz Hussain 001; Raj Gautam Dutta; Sumit Kumar Jha 001; Christopher James Langmead; Susmit Jha (ICCABS, 2012)

Parameter discovery for stochastic computational models in systems biology using Bayesian model checking. - Faraz Hussain 001; Christopher James Langmead; Qi Mi; Joyeeta Dutta-Moscato; Yoram Vodovotz; Sumit Kumar Jha 001 (ICCABS, 2014)

EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth. - Faraz Hussain 001; Arvind Ramanathan; Laura L. Pullum; Sumit Kumar Jha 001 (ICCABS, 2014)

Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data. - Faraz Hussain 001; Alvaro Velasquez; Emily Sassano; Sumit Kumar Jha 001 (ICCABS, 2014)

Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model. - Arup Kumar Ghosh; Faraz Hussain 001; Susmit Jha; Christopher James Langmead; Sumit Kumar Jha 001 (Int. J. Bioinform. Res. Appl., 2014)

Parameter discovery in stochastic biological models using simulated annealing and statistical model checking. - Faraz Hussain 001; Sumit Kumar Jha 001; Susmit Jha; Christopher James Langmead (Int. J. Bioinform. Res. Appl., 2014)

SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures. - Faraz Hussain 001; Zubir Husein; Neslisah Torosdagli; Narsingh Deo; Sumanta N. Pattanaik; Chung-Che Chang; Sumit Kumar Jha 001 (ICCABS, 2015)

Automated parameter estimation for biological models using Bayesian statistical model checking. - Faraz Hussain 001; Christopher J. Langmead; Qi Mi; Joyeeta Dutta-Moscato; Yoram Vodovotz; Sumit Kumar Jha 001 (BMC Bioinform., 2015)

Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision. - Arvind Ramanathan; Laura L. Pullum; Faraz Hussain 001; Dwaipayan Chakrabarty; Sumit Kumar Jha 001 (DATE, 2016)

A theorem proving approach for automatically synthesizing visualizations of flow cytometry data. - Sunny Raj; Faraz Hussain 001; Zubir Husein; Neslisah Torosdagli; Damla Turgut; Narsingh Deo; Sumanta N. Pattanaik; Chung-Che Jeff Chang; Sumit Kumar Jha 001 (BMC Bioinform., 2017)

Resource-aware On-device Deep Learning for Supermarket Hazard Detection. - M. G. Sarwar Murshed; James J. Carroll; Nazar Khan; Faraz Hussain 001 (ICMLA, 2020)

Improving Explainability of Image Classification in Scenarios with Class Overlap: Application to COVID-19 and Pneumonia. - Edward Verenich; Alvaro Velasquez; Nazar Khan; Faraz Hussain 001 (ICMLA, 2020)

Fast Resilient-Aware Data Layout Organization for Resistive Computing Systems. - Baogang Zhang; M. G. Sarwar Murshed; Faraz Hussain 001; Rickard Ewetz (ISVLSI, 2020)

FlexServe: Deployment of PyTorch Models as Flexible REST Endpoints. - Edward Verenich; Alvaro Velasquez; M. G. Sarwar Murshed; Faraz Hussain 001 (OpML, 2020)

Hazard Detection in Supermarkets using Deep Learning on the Edge. - M. G. Sarwar Murshed; Edward Verenich; James J. Carroll; Nazar Khan; Faraz Hussain 001 (CoRR, 2020)

The Utility of Feature Reuse: Transfer Learning in Data-Starved Regimes. - Edward Verenich; Alvaro Velasquez; M. G. Sarwar Murshed; Faraz Hussain 001 (CoRR, 2020)

Pulmonary Disease Classification Using Globally Correlated Maximum Likelihood: an Auxiliary Attention mechanism for Convolutional Neural Networks. - Edward Verenich; Tobias Martin; Alvaro Velasquez; Nazar Khan; Faraz Hussain 001 (CoRR, 2021)

Deep Slap Fingerprint Segmentation for Juveniles and Adults. - M. G. Sarwar Murshed; Robert Kline; Keivan Bahmani; Faraz Hussain 001; Stephanie Schuckers (CoRR, 2021)

Machine Learning at the Network Edge: A Survey. - M. G. Sarwar Murshed; Christopher Murphy; Daqing Hou; Nazar Khan; Ganesh Ananthanarayanan; Faraz Hussain 001 (ACM Comput. Surv., 2022)

Deep Learning-Based Approaches for Contactless Fingerprints Segmentation and Extraction. - M. G. Sarwar Murshed; Syed Konain Abbas; Sandip Purnapatra; Daqing Hou; Faraz Hussain 001 (CoRR, 2023)

WIP: Comparison of Large Language Models for Applied Mathematics Questions in Engineering Courses. - Carlos Merlos; Faraz Hussain 001; Swati Kar; Lavanya Shri; Olaoluwayimika Olugbenle; Mahesh Banavar; Abd AlRahman AlMomani (FIE, 2024)

A Novel Keystroke Dataset for Preventing Advanced Persistent Threats. - Xiaofei Wang; Rashik Shadman; Daqing Hou; Faraz Hussain 001; Stephanie Schuckers (ICPRAM, 2024)

Explainable Face Recognition via Improved Localization. - Rashik Shadman; Daqing Hou; Faraz Hussain 001; M. G. Sarwar Murshed (CoRR, 2025)

Deep Age-Invariant Fingerprint Segmentation System. - M. G. Sarwar Murshed; Keivan Bahmani; Stephanie Schuckers; Faraz Hussain 001 (IEEE Trans. Biom. Behav. Identity Sci., 2025)

Keystroke Dynamics: Concepts, Techniques, and Applications. - Rashik Shadman; Ahmed Anu Wahab; Michael Manno; Matthew Lukaszewski; Daqing Hou; Faraz Hussain 001 (ACM Comput. Surv., 2025)