# Computational Modeling

Spatially Efficient in-Memory Addition Through Destructive and Non-Destructive Operations
,” in IEEE International Symposium on Circuits and Systems, Sapporo, Japan, 2019.

, “
Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking
,” IEEE International Conference on Bioinformatics and Biomedicine. 2018.Abstract

, “
Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking
,” International Conference on Bioinformatics and Biomedicine (BIBM). 2018.

, “
Parameter Estimation of Stochastic Biochemical Models using Multiple Hypothesis Testing
,” in 8th IEEE International Conference on Computational Advances in Bio and medical Sciences (ICCABS), 2018.

, “
Fault-Tolerant In-Memory Computing Using Paths-Based Logic and Heterogeneous Components
,” in Design, Automation, and Test in Europe (DATE), Dresden, Germany, 2018.Abstract

, “
SATYA: Defending against Adversarial Attacks using Statistical Hypothesis Testing
,” in The 10th International Symposium on Foundations and Practice of Security (FPS 2017), Nancy, France. (BEST PAPER AWARD), 2017.Abstract fps2017.pdf

, “
**BEST PAPER AWARD**

Stochastic computational model parameter synthesis system
”, US Patent: US9558300 B2, 2017.Abstract

, “US Patent App. 13/673,575

Automated parameter estimation for biological models using Bayesian statistical model checking
,” BMC bioinformatics, vol. 16, no. 17, pp. S8, 2015.Abstract bmcbioinformatics_discovery.pdf

, “
**BEST PAPER AWARD at IEEE ICCABS 2014**

EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth
,” in Computational Advances in Bio and Medical Sciences (ICCABS), 2014 IEEE 4th International Conference on, 2014, pp. 1–6.

, “
Parameter discovery for stochastic computational models in systems biology using Bayesian model checking
,” in Computational Advances in Bio and Medical Sciences (ICCABS), 2014 IEEE 4th International Conference on, 2014, pp. 1–2.

, “
Parameter discovery in stochastic biological models using simulated annealing and statistical model checking
,” International Journal of Bioinformatics Research and Applications 2, vol. 10, no. 4-5, pp. 519–539, 2014.

, “
Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data
,” in Computational Advances in Bio and Medical Sciences (ICCABS), 2014 IEEE 4th International Conference on, 2014, pp. 1–6.

, “
A computational metabolic model of the NG108-15 cell for high content drug screening with electrophysiological readout
,” in Proceedings of the ACM Conference on Bioinformatics, Computational Biology and Biomedicine, 2012, pp. 530–532.

, “
Exploring behaviors of stochastic differential equation models of biological systems using change of measures
,” BMC bioinformatics, vol. 13, no. 5, pp. S8, 2012.

, “
**BEST PAPER AWARD**

Quantifying uncertainty in epidemiological models
,” in BioMedical Computing (BioMedCom), 2012 ASE/IEEE International Conference on, 2012, pp. 80–85. quantifyinguncertainty.pdf

, “
Parameter estimation and synthesis for systems biology: New algorithms for nonlinear and stochastic models
,” Journal of critical care, vol. 26, no. 2, pp. e8, 2011.

, “
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
,” Theoretical Computer Science, vol. 412, no. 21, pp. 2162–2187, 2011.

, “
A bayesian approach to model checking biological systems
,” in International Conference on Computational Methods in Systems Biology, 2009, pp. 218–234. cmsb09_bayesianstatisticalmodelchecking_jha.pdf

, “
Symbolic approaches for finding control strategies in Boolean networks
,” Journal of Bioinformatics and Computational Biology, vol. 7, no. 02, pp. 323–338, 2009.Abstract 2009_jbcb_and_apbc_paper_underlined.pdf

, “
Statistical model checking in biolab: Applications to the automated analysis of t-cell receptor signaling pathway
,” in International Conference on Computational Methods in Systems Biology, 2008, pp. 231–250.Abstract 2008_cmsb_underlined.pdf

, “