default search action
International Journal of Critical Computer-Based Systems, Volume 8
Volume 8, Number 1, 2018
- Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus:
µQC: a property-based testing framework for L4 microkernels. 1-24 - Samir Tigane, Laïd Kahloul, Samir Bourekkache, Souheib Baarir:
Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems. 25-44 - Sofiane Bourouz, Nadia Zeghib:
On context-independent and context-aware cloud services substitutability verification. 45-77 - Patrice Bonhomme:
Diagnosability analysis and fault diagnosis of P-time labelled Petri nets. 78-103
Volume 8, Number 2, 2018
- Admar Ajith Kumar Somappa, Lars Michael Kristensen, Andreas Prinz:
Model-based specification and validation of the dual-mode adaptive MAC protocol. 108-140 - Abderraouf Boussif, Mohamed Ghazel, Kais Klai:
Fault diagnosis of discrete-event systems based on the symbolic observation graph. 141-168 - Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana:
A formal model for the analysis and verification of a pre-emptive round-robin arbiter. 169-192 - Abderraouf Boussif, Mohamed Ghazel:
Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking. 193-213 - Maximilian Senftleben, Klaus Schneider:
Using temporal logics for specifying weak memory consistency models. 214-229
Volume 8, Numbers 3/4, 2018
- Assia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui, Ouiza Lekadir:
Performance analysis of the M/G/c/c + r queuing system for cloud computing data centres. 234-257 - Yves Mouafo Tchinda, Annie Choquet-Geniet, Gaëlle Largeteau-Skapin:
Multicore scheduling of real-time systems subject to permanent failure of one core with detection delay. 258-281 - Moez Krichen, Afef Jmal Maâlej, Mariam Lahami:
A model-based approach to combine conformance and load tests: an eHealth case study. 282-310 - Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal probabilistic performance verification of randomly-scheduled wireless sensor networks. 311-339 - Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay:
Performance evaluation of stochastic real-time systems with the SBIP framework. 340-370 - Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy:
Precise use cases in a context-aware model-checking approach. 371-406
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.