Model Checking Mutual Exclusion Algorithms Using Uppaal

Advances in Intelligent Systems and Computing - Software Engineering Perspectives and Application in Intelligent Systems ◽

10.1007/978-3-319-33622-0_19 ◽

2016 ◽

pp. 203-215 ◽

Cited By ~ 1

Author(s):

Franco Cicirelli ◽

Libero Nigro ◽

Paolo F. Sciammarella

Keyword(s):

Model Checking ◽

Mutual Exclusion

Download Full-text

Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks

2018 25th Asia-Pacific Software Engineering Conference (APSEC) ◽

10.1109/apsec.2018.00023 ◽

2018 ◽

Cited By ~ 1

Author(s):

Yati Phyo ◽

Kazuhiro Ogata

Keyword(s):

Model Checking ◽

Mobile Networks ◽

Formal Specification ◽

Ad Hoc ◽

Mutual Exclusion ◽

Ad Hoc Mobile Networks

Download Full-text

Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00031 ◽

2018 ◽

Author(s):

Shouki Sakamoto ◽

Kazuhiro Ogata

Keyword(s):

Model Checking ◽

Mutual Exclusion ◽

Distributed Mutual Exclusion ◽

Mutual Exclusion Algorithm

Download Full-text

Analysis of Some Variants of the Anderson Array-Based Queuing Mutual Exclusion Protocol with Model Checking and Graphical Animations

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00030 ◽

2018 ◽

Author(s):

Yati Phyo ◽

Kazuhiro Ogata

Keyword(s):

Model Checking ◽

Mutual Exclusion

Download Full-text

Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols

Science of Computer Programming ◽

10.1016/j.scico.2012.01.003 ◽

2013 ◽

Vol 78 (7) ◽

pp. 843-861 ◽

Cited By ~ 6

Author(s):

Radu Mateescu ◽

Wendelin Serwe

Keyword(s):

Performance Evaluation ◽

Model Checking ◽

Shared Memory ◽

Mutual Exclusion ◽

And Performance

Download Full-text

Guessing Properties of the Qlock Mutual Exclusion Protocol based on its Graphical Animations and confirming the Properties by Model Checking

Proceedings of the 2018 7th International Conference on Software and Computer Applications - ICSCA 2018 ◽

10.1145/3185089.3185104 ◽

2018 ◽

Author(s):

May Thu Aung ◽

Tam Thi Than Nguyen ◽

Kazuhiro Ogata

Keyword(s):

Model Checking ◽

Mutual Exclusion

Download Full-text

Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88387-6_5 ◽

2008 ◽

pp. 33-47 ◽

Cited By ~ 29

Author(s):

Gal Katz ◽

Doron Peled

Keyword(s):

Model Checking ◽

Genetic Programming ◽

Mutual Exclusion

Download Full-text

Model Checking-Based Genetic Programming with an Application to Mutual Exclusion

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78800-3_11 ◽

2008 ◽

pp. 141-156 ◽

Cited By ~ 36

Author(s):

Gal Katz ◽

Doron Peled

Keyword(s):

Model Checking ◽

Genetic Programming ◽

Mutual Exclusion

Download Full-text

Model-Checking of Infinite Graphs Defined by Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)01231-4 ◽

2000 ◽

Vol 5 ◽

pp. 1 ◽

Cited By ~ 2

Author(s):

O BURKART ◽

Y QUEMENER

Keyword(s):

Model Checking ◽

Infinite Graphs ◽

Graph Grammars

Download Full-text

Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking

PsycEXTRA Dataset ◽

10.1037/e578742012-006 ◽

2010 ◽

Author(s):

Matthew L. Bolton ◽

Ellen J. Bass

Keyword(s):

Model Checking ◽

Human Behavior ◽

System Failures ◽

Analytic Models

Download Full-text

Proposal and Evaluation of Mutual Exclusion Method using Lock-free Algorism for Embedded Systems using Multi-core Processor

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.139.802 ◽

2019 ◽

Vol 139 (7) ◽

pp. 802-811

Author(s):

Kenta Fujimoto ◽

Shingo Oidate ◽

Yuhei Yabuta ◽

Atsuyuki Takahashi ◽

Takuya Yamasaki ◽

...

Keyword(s):

Embedded Systems ◽

Mutual Exclusion ◽

Exclusion Method ◽

Multi Core Processor

Download Full-text