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

Mapping Intimacies ◽

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

Get full-text (via PubEx)

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 ◽

Cited By ~ 5

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

Get full-text (via PubEx)

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

Get full-text (via PubEx)

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

Get full-text (via PubEx)

Achieving timing composability with measurement-based probabilistic timing analysis

16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013) ◽

10.1109/isorc.2013.6913193 ◽

2013 ◽

Cited By ~ 7

Author(s):

Leonidas Kosmidis ◽

Eduardo Quinones ◽

Jaume Abella ◽

Tullio Vardanega ◽

Francisco J. Cazorla

Keyword(s):

Timing Analysis ◽

Probabilistic Timing Analysis ◽

Probabilistic Timing

Get full-text (via PubEx)

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

Get full-text (via PubEx)

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

Get full-text (via PubEx)

Speeding up Static Probabilistic Timing Analysis

Lecture Notes in Computer Science - Architecture of Computing Systems – ARCS 2015 ◽

10.1007/978-3-319-16086-3_19 ◽

2015 ◽

pp. 236-247 ◽

Cited By ~ 1

Author(s):

Suzana Milutinovic ◽

Jaume Abella ◽

Damien Hardy ◽

Eduardo Quiñones ◽

Isabelle Puaut ◽

...

Keyword(s):

Timing Analysis ◽

Probabilistic Timing Analysis ◽

Probabilistic Timing

Get full-text (via PubEx)

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

Get full-text (via PubEx)

Static probabilistic timing analysis in presence of faults

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES) ◽

10.1109/sies.2016.7509422 ◽

2016 ◽

Cited By ~ 5

Author(s):

Chao Chen ◽

Luca Santinelli ◽

Jerome Hugues ◽

Giovanni Beltrame

Keyword(s):

Timing Analysis ◽

Probabilistic Timing Analysis ◽

Probabilistic Timing

Get full-text (via PubEx)

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

Get full-text (via PubEx)