Journal cover image

Browse issues

Vol. 8
Vol. 7
Vol. 6
Vol. 5
Vol. 4
Vol. 3
Vol. 2
Vol. 1

International Journal of Critical Computer-Based Systems

2016 Vol. 6 No. 4

Special Issue on Verification, Control and Performance Analysis: Part I

Guest Editors: Professor Kamel Barkaoui and Professor Hanifa Boucheneb


PagesTitle and authors
250-274Debugging of probabilistic systems using structural equation modelling
Hichem Debbi; Aimad Debbi; Mustapha Bourahla
DOI: 10.1504/IJCCBS.2016.081805

275-301A µ-calculus formulation of the diagnosability of discrete event systems
Florent Peres; Mohamed Ghazel
DOI: 10.1504/IJCCBS.2016.081806

302-321A CTL-based OCL extension using CPN ML for UML validation
Miloud Bennama; Thouraya Bouabana-Tebibel
DOI: 10.1504/IJCCBS.2016.081807

322-342A bigraph-based framework for specification and analysis of context-aware systems
Taha Abdelmoutaleb Cherfia; Faïza Belala; Kamel Barkaoui
DOI: 10.1504/IJCCBS.2016.081808

343-363Hierarchical timed abstract state machines for WCET estimation
Vladimir-Alexandru Paun; Bruno Monsuez; Philippe Baufreton
DOI: 10.1504/IJCCBS.2016.081810

364-384Formal verification of cloud systems elasticity
Hamza Sahli; Faïza Belala; Chafia Bouanaka
DOI: 10.1504/IJCCBS.2016.081809