ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking
Mapping Intimacies
◽
10.1109/mwscas47672.2021.9531675
◽
2021
◽
Author(s):
Mohamed Abdelhamid
◽
Ayman Atallah
◽
Marwan Ammar
◽
Otmane Ait Mohamed
Keyword(s):
Model Checking
◽
Statistical Model
◽
Reliability Analysis
◽
Statistical Model Checking
Download Full-text
Related Documents
Cited By
References
A SAFETY-CRITICAL SOFTWARE RELIABILITY ANALYSIS METHOD BASED ON STATISTICAL MODEL CHECKING AND BAYESIAN THEORY
The Proceedings of the International Conference on Nuclear Engineering (ICONE)
◽
10.1299/jsmeicone.2019.27.1538
◽
2019
◽
Vol 2019.27
(0)
◽
pp. 1538
Author(s):
Zhanguo MA
◽
Minjun PENG
◽
Hidekazu YOSHIKAWA
◽
Huayu YUAN
◽
Bo YANG
Keyword(s):
Model Checking
◽
Statistical Model
◽
Reliability Analysis
◽
Software Reliability
◽
Bayesian Theory
◽
Analysis Method
◽
Statistical Model Checking
◽
Safety Critical
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
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close