Faraz Hussain
Title
Cited by
Cited by
Year
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
312010
Machine learning at the network edge: A survey
MG Murshed, C Murphy, D Hou, N Khan, G Ananthanarayanan, ...
arXiv preprint arXiv:1908.00080, 2019
192019
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
152016
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
112014
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 (S17), S8, 2015
92015
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
92012
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
92010
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
62014
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
42012
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
32014
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
22014
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
22014
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
22009
Techniques for automated parameter estimation in computational models of probabilistic systems
F Hussain
12016
SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures
F Hussain, Z Husein, N Torosdagli, N Deo, S Pattanaik, CC Chang, ...
2015 IEEE 5th International Conference on Computational Advances in Bio and …, 2015
12015
Improving Explainability of Image Classification in Scenarios with Class Overlap: Application to COVID-19 and Pneumonia
E Verenich, A Velasquez, N Khan, F Hussain
arXiv preprint arXiv:2008.02866, 2020
2020
Fast Resilient-Aware Data Layout Organization for Resistive Computing Systems
B Zhang, MGS Murshed, F Hussain, R Ewetz
2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 72-77, 2020
2020
Hazard Detection in Supermarkets using Deep Learning on the Edge
MG Murshed, E Verenich, JJ Carroll, N Khan, F Hussain
arXiv preprint arXiv:2003.04116, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20