Statistical Model Checking for Stochastic Hybrid Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.92.9 ◽

2012 ◽

Vol 92 ◽

pp. 122-136 ◽

Author(s):

Alexandre David ◽

Dehui Du ◽

Kim G. Larsen ◽

Axel Legay ◽

Marius Mikučionis ◽

...

Keyword(s):

Model Checking ◽

Statistical Model ◽

Hybrid Systems ◽

Stochastic Hybrid Systems ◽

Statistical Model Checking

Download Full-text

Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-642-33365-1_2 ◽

2012 ◽

pp. 7-10 ◽

Author(s):

Kim G. Larsen

Keyword(s):

Model Checking ◽

Statistical Model ◽

Hybrid Systems ◽

Stochastic Hybrid Systems ◽

Statistical Model Checking ◽

Refinement Checking

Download Full-text

Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-014-0329-y ◽

2014 ◽

Vol 17 (4) ◽

pp. 485-504 ◽

Author(s):

Christian Ellen ◽

Sebastian Gerwinn ◽

Martin Fränzle

Keyword(s):

Model Checking ◽

Statistical Model ◽

Hybrid Systems ◽

Stochastic Hybrid Systems ◽

Statistical Model Checking ◽

Continuous Domains

Download Full-text

Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66335-7_24 ◽

2017 ◽

pp. 351-367 ◽

Author(s):

Sadegh Esmaeil Zadeh Soudjani ◽

Rupak Majumdar ◽

Tigran Nagapetyan

Keyword(s):

Monte Carlo ◽

Monte Carlo Method ◽

Model Checking ◽

Statistical Model ◽

Hybrid Systems ◽

Multilevel Monte Carlo ◽

Statistical Model Checking ◽

Multilevel Monte Carlo Method

Download Full-text

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-642-33365-1_10 ◽

2012 ◽

pp. 123-138 ◽

Author(s):

Christian Ellen ◽

Sebastian Gerwinn ◽

Martin Fränzle

Keyword(s):

Model Checking ◽

Statistical Model ◽

Hybrid Systems ◽

Confidence Bounds ◽

Statistical Model Checking

Download Full-text

Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39611-3_18 ◽

2013 ◽

pp. 162-177 ◽

Author(s):

Youngjoo Kim ◽

Moonzoo Kim ◽

Tai-Hyo Kim

Keyword(s):

Model Checking ◽

Statistical Model ◽

Hybrid Systems ◽

Empirical Evaluation ◽

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 ◽

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