Automated parameter estimation for biological models using Bayesian statistical model checking

Faraz Hussain; Christopher J Langmead; Qi Mi; Joyeeta Dutta-Moscato; Yoram Vodovotz; Sumit K Jha

doi:10.1186/1471-2105-16-s17-s8

Automated parameter estimation for biological models using Bayesian statistical model checking

BMC Bioinformatics ◽

10.1186/1471-2105-16-s17-s8 ◽

2015 ◽

Vol 16 (S17) ◽

Cited By ~ 10

Author(s):

Faraz Hussain ◽

Christopher J Langmead ◽

Qi Mi ◽

Joyeeta Dutta-Moscato ◽

Yoram Vodovotz ◽

...

Keyword(s):

Parameter Estimation ◽

Model Checking ◽

Statistical Model ◽

Biological Models ◽

Statistical Model Checking

Download Full-text

Parameter discovery in stochastic biological models using simulated annealing and statistical model checking

International Journal of Bioinformatics Research and Applications ◽

10.1504/ijbra.2014.062998 ◽

2014 ◽

Vol 10 (4/5) ◽

pp. 519 ◽

Cited By ~ 4

Author(s):

Faraz Hussain ◽

Sumit K. Jha ◽

Susmit Jha ◽

Christopher J. Langmead

Keyword(s):

Simulated Annealing ◽

Model Checking ◽

Statistical Model ◽

Biological Models ◽

Statistical Model Checking

Download Full-text

Parameter estimation of rule-based models using statistical model checking

2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) ◽

10.1109/bibm.2016.7822738 ◽

2016 ◽

Cited By ~ 5

Author(s):

Bing Liu ◽

James R. Faeder

Keyword(s):

Parameter Estimation ◽

Model Checking ◽

Statistical Model ◽

Statistical Model Checking ◽

Rule Based

Download Full-text

Statistical Model Checking of Approximate Circuits: Challenges and Opportunities

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.23919/date48585.2020.9116207 ◽

2020 ◽

Author(s):

Josef Strnadel

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking ◽

Challenges And Opportunities

Download Full-text

Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking

2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw50294.2020.00032 ◽

2020 ◽

Author(s):

Mitsuaki Tsuji ◽

Toshinori Takai ◽

Kazuki Kakimoto ◽

Naoki Ishihama ◽

Masafumi Katahira ◽

...

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking

Download Full-text

Learning and analysis of sensors behavior in IoT systems using statistical model checking

Software Quality Journal ◽

10.1007/s11219-021-09559-w ◽

2021 ◽

Author(s):

Salim Chehida ◽

Abdelhakim Baouya ◽

Saddek Bensalem ◽

Marius Bozga

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking

Download Full-text

Computing Biological Model Parameters by Parallel Statistical Model Checking

Bioinformatics and Biomedical Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-16480-9_52 ◽

2015 ◽

pp. 542-554 ◽

Cited By ~ 3

Author(s):

Toni Mancini ◽

Enrico Tronci ◽

Ivano Salvo ◽

Federico Mari ◽

Annalisa Massini ◽

...

Keyword(s):

Model Checking ◽

Statistical Model ◽

Biological Model ◽

Model Parameters ◽

Statistical Model Checking

Download Full-text

On the Sequential Massart Algorithm for Statistical Model Checking

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_19 ◽

2018 ◽

pp. 287-304 ◽

Cited By ~ 2

Author(s):

Cyrille Jegourel ◽

Jun Sun ◽

Jin Song Dong

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking

Download Full-text

Statistical Model Checking of Processor Systems in Various Interrupt Scenarios

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_26 ◽

2018 ◽

pp. 414-429 ◽

Cited By ~ 1

Author(s):

Josef Strnadel

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking

Download Full-text

Statistical Model Checking in Drug Repurposing for Alzheimer’s Disease

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-63882-5_5 ◽

2020 ◽

pp. 64-80

Author(s):

Herbert Rausch Fernandes ◽

Giovanni Freitas Gomes ◽

Antonio Carlos Pinheiro de Oliveira ◽

Sérgio Vale Aguiar Campos

Keyword(s):

Alzheimer’S Disease ◽

Alzheimer's Disease ◽

Model Checking ◽

Statistical Model ◽

Drug Repurposing ◽

Statistical Model Checking

Download Full-text

Hardware implementation of BLTL property checkers for acceleration of statistical model checking

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2013.6691187 ◽

2013 ◽

Cited By ~ 1

Author(s):

Kosuke Oshima ◽

Takeshi Matsumoto ◽

Masahiro Fujita

Keyword(s):

Model Checking ◽

Statistical Model ◽

Hardware Implementation ◽

Statistical Model Checking

Download Full-text