Statistical Model Checking of Response Times for Different System Deployments

2018 ◽  
pp. 153-169 ◽  
Author(s):  
Bernhard K. Aichernig ◽  
Severin Kann ◽  
Richard Schumi
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Response Times ◽  
Statistical Model Checking

scholarly journals Learning and statistical model checking of system response times

2019 ◽  
Vol 27 (2) ◽  
pp. 757-795 ◽  
Author(s):  
Bernhard K. Aichernig ◽  
Priska Bauerstätter ◽  
Elisabeth Jöbstl ◽  
Severin Kann ◽  
Robert Korošec ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Response Times ◽  
System Response ◽  
Statistical Model Checking

Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking

2020 ◽  
Author(s):  
Mitsuaki Tsuji ◽  
Toshinori Takai ◽  
Kazuki Kakimoto ◽  
Naoki Ishihama ◽  
Masafumi Katahira ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking

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

2021 ◽  
Author(s):  
Salim Chehida ◽  
Abdelhakim Baouya ◽  
Saddek Bensalem ◽  
Marius Bozga
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking

Computing Biological Model Parameters by Parallel Statistical Model Checking

2015 ◽  
pp. 542-554 ◽  
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

Statistical Model Checking in Drug Repurposing for Alzheimer’s Disease

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

scholarly journals Automated parameter estimation for biological models using Bayesian statistical model checking

2015 ◽  
Vol 16 (S17) ◽  
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
Sign in / Sign up

Export Citation Format

Share Document