International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2018 Vol.8 No.2

Special Issue on: Modelling and Verification: Model Checking and Fault Tolerance: Part I

Guest Editors: Dr. Belgacem Ben Hedia and Prof. Kamel Barkaoui


Pages Title and author(s)
108-140Model-based specification and validation of the dual-mode adaptive MAC protocol
Admar Ajith Kumar Somappa; Lars M. Kristensen; Andreas Prinz
DOI: 10.1504/IJCCBS.2018.096190
141-168Fault diagnosis of discrete-event systems based on the symbolic observation graph
Abderraouf Boussif; Mohamed Ghazel; Kais Klai
DOI: 10.1504/IJCCBS.2018.096178
169-192A formal model for the analysis and verification of a pre-emptive round-robin arbiter
Imene Ben Hafaiedh; Maroua Ben Slimane; Riadh Robbana
DOI: 10.1504/IJCCBS.2018.096193
193-213Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking
Abderraouf Boussif; Mohamed Ghazel
DOI: 10.1504/IJCCBS.2018.096192
214-229Using temporal logics for specifying weak memory consistency models
Maximilian Senftleben; Klaus Schneider
DOI: 10.1504/IJCCBS.2018.096187