Quantitative Timing Analysis of UML Activity Diagrams Using Statistical Model Checking

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) ◽

10.3850/9783981537079_0339 ◽

2016 ◽

Author(s):

Fan Gu ◽

Xinqian Zhang ◽

Mingsong Chen ◽

Daniel Große ◽

Rolf Drechsler

Keyword(s):

Model Checking ◽

Statistical Model ◽

Timing Analysis ◽

Statistical Model Checking ◽

Activity Diagrams ◽

Uml Activity Diagrams

Download Full-text

Experimental Evaluation of Statistical Model Checking Methods for Probabilistic Timing Analysis of Multiprocessor Systems

10.1109/dsd53832.2021.00032 ◽

2021 ◽

Author(s):

Hai-Dang Vu ◽

Sebastien Le Nours ◽

Sebastien Pillement

Keyword(s):

Model Checking ◽

Statistical Model ◽

Experimental Evaluation ◽

Timing Analysis ◽

Multiprocessor Systems ◽

Statistical Model Checking ◽

Probabilistic Timing Analysis ◽

Probabilistic Timing

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 ◽

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 ◽

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 ◽

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

Model Checking of UML Activity Diagrams in Logic Controllers Design

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-07013-1_22 ◽

2014 ◽

pp. 233-242 ◽

Author(s):

Iwona Grobelna ◽

Michał Grobelny ◽

Marian Adamski

Keyword(s):

Model Checking ◽

Activity Diagrams ◽

Uml Activity Diagrams ◽

Logic Controllers

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 ◽

Author(s):

Kosuke Oshima ◽

Takeshi Matsumoto ◽

Masahiro Fujita

Keyword(s):

Model Checking ◽

Statistical Model ◽

Hardware Implementation ◽

Statistical Model Checking

Download Full-text