International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2018 Vol.8 No.3/4

Special Issue on: Modelling and Verification: Performance Evaluation and Test: Part II

Guest Editors: Prof. Mohamed Ghazel and Prof. Mohamed Jmaiel


Pages Title and author(s)
234-257Performance analysis of the M/G/c/c + r queuing system for cloud computing data centres
Assia Outamazirt; Mohamed Escheikh; Djamil Aïssani; Kamel Barkaoui; Ouiza Lekadir
DOI: 10.1504/IJCCBS.2018.096441
258-281Multicore scheduling of real-time systems subject to permanent failure of one core with detection delay
Yves Mouafo Tchinda; Annie Choquet-Geniet; Gaëlle Largeteau-Skapin
DOI: 10.1504/IJCCBS.2018.096442
282-310A model-based approach to combine conformance and load tests: an eHealth case study
Moez Krichen; Afef Jmal Maâlej; Mariam Lahami
DOI: 10.1504/IJCCBS.2018.096437
311-339Formal probabilistic performance verification of randomly-scheduled wireless sensor networks
Maissa Elleuch; Osman Hasan; Sofiène Tahar; Mohamed Abid
DOI: 10.1504/IJCCBS.2018.096438
340-370Performance evaluation of stochastic real-time systems with the SBIP framework
Ayoub Nouri; Braham Lotfi Mediouni; Marius Bozga; Jacques Combaz; Saddek Bensalem; Axel Legay
DOI: 10.1504/IJCCBS.2018.096439

Additional Paper

371-406Precise use cases in a context-aware model-checking approach
Amel Benabbou; Safia Nait-Bahloul; Philippe Dhaussy
DOI: 10.1504/IJCCBS.2018.096440