ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking
Proceedings of the 8th International Conference on Formal Methods in Software Engineering
◽
10.1145/3372020.3391563
◽
2020
◽
Author(s):
Andrei Munteanu
◽
Michele Pasqua
◽
Massimo Merro
Keyword(s):
Model Checking
◽
Statistical Model
◽
Impact Analysis
◽
Water Tank
◽
Statistical Model Checking
◽
Tank System
Download Full-text
Related Documents
Cited By
References
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close