International Journal of Critical Computer-Based Systems (IJCCBS)

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

Editorial

Pages Title and author(s)
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

 

Return to top