Calibration of stochastic biochemical models against behavioral temporal logic specifications. - Sumit Kumar Jha 001; Arfeen Khalid (ICCABS, 2017)

Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking. - Arfeen Khalid; Sumit Kumar Jha 001 (BIBM, 2018)

Parameter Estimation of Stochastic Biochemical Models using Multiple Hypothesis Testing. - Arfeen Khalid; Sumit Kumar Jha 001 (ICCABS, 2018)

BioMETA: A multiple specification parameter estimation system for stochastic biochemical models. - Arfeen Khalid (BIBM, 2020)