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

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

Machine Learning Methods in Statistical Model Checking and System Design – Tutorial

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23820-3_23 ◽

2015 ◽

pp. 323-341 ◽

Cited By ~ 2

Author(s):

Luca Bortolussi ◽

Dimitrios Milios ◽

Guido Sanguinetti

Keyword(s):

Machine Learning ◽

Model Checking ◽

Statistical Model ◽

System Design ◽

Learning Methods ◽

Statistical Model Checking ◽

Machine Learning Methods

Download Full-text

Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94111-0_16 ◽

2018 ◽

pp. 275-291 ◽

Cited By ~ 2

Author(s):

Lei Bu ◽

Doron Peled ◽

Dachuan Shen ◽

Yuan Zhuang

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking

Download Full-text