- Harsimran Kaur, Ashish Sharma:
A versatile approach for ranking and modelling of non-functional requirements. Int. J. Crit. Comput. Based Syst. 9(1/2): 3-25 (2019) - Fateh Latreche, Faiza Belala:
Timed CTL checking of time critical cloud applications using timed bigraphs. Int. J. Crit. Comput. Based Syst. 9(4): 379-406 (2019) - Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet:
Formal methods in dynamic software updating: a survey. Int. J. Crit. Comput. Based Syst. 9(1/2): 76-114 (2019) - Enrico Schiavone
, Andrea Ceccarelli
, Ariadne M. B. R. Carvalho, Andrea Bondavalli
:
Design, implementation, and assessment of a usable multi-biometric continuous authentication system. Int. J. Crit. Comput. Based Syst. 9(3): 215-247 (2019) - 2018
- Amel Benabbou, Safia Nait Bahloul
, Philippe Dhaussy:
Precise use cases in a context-aware model-checking approach. Int. J. Crit. Comput. Based Syst. 8(3/4): 371-406 (2018) - Patrice Bonhomme:
Diagnosability analysis and fault diagnosis of P-time labelled Petri nets. Int. J. Crit. Comput. Based Syst. 8(1): 78-103 (2018) - Sofiane Bourouz
, Nadia Zeghib:
On context-independent and context-aware cloud services substitutability verification. Int. J. Crit. Comput. Based Syst. 8(1): 45-77 (2018) - Abderraouf Boussif, Mohamed Ghazel
:
Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking. Int. J. Crit. Comput. Based Syst. 8(2): 193-213 (2018) - Abderraouf Boussif, Mohamed Ghazel
, Kais Klai:
Fault diagnosis of discrete-event systems based on the symbolic observation graph. Int. J. Crit. Comput. Based Syst. 8(2): 141-168 (2018) - Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus:
µQC: a property-based testing framework for L4 microkernels. Int. J. Crit. Comput. Based Syst. 8(1): 1-24 (2018) - Maissa Elleuch, Osman Hasan
, Sofiène Tahar, Mohamed Abid:
Formal probabilistic performance verification of randomly-scheduled wireless sensor networks. Int. J. Crit. Comput. Based Syst. 8(3/4): 311-339 (2018) - Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana:
A formal model for the analysis and verification of a pre-emptive round-robin arbiter. Int. J. Crit. Comput. Based Syst. 8(2): 169-192 (2018) - Moez Krichen, Afef Jmal Maâlej, Mariam Lahami
:
A model-based approach to combine conformance and load tests: an eHealth case study. Int. J. Crit. Comput. Based Syst. 8(3/4): 282-310 (2018) - Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay:
Performance evaluation of stochastic real-time systems with the SBIP framework. Int. J. Crit. Comput. Based Syst. 8(3/4): 340-370 (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. Int. J. Crit. Comput. Based Syst. 8(3/4): 234-257 (2018) - Maximilian Senftleben
, Klaus Schneider:
Using temporal logics for specifying weak memory consistency models. Int. J. Crit. Comput. Based Syst. 8(2): 214-229 (2018) - Admar Ajith Kumar Somappa, Lars Michael Kristensen, Andreas Prinz:
Model-based specification and validation of the dual-mode adaptive MAC protocol. Int. J. Crit. Comput. Based Syst. 8(2): 108-140 (2018) - 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. Int. J. Crit. Comput. Based Syst. 8(3/4): 258-281 (2018) - Samir Tigane, Laïd Kahloul, Samir Bourekkache, Souheib Baarir:
Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems. Int. J. Crit. Comput. Based Syst. 8(1): 25-44 (2018) - 2017
- Khadija Abid, Leila Hayet Mouss, Okba Kazar
, Laïd Kahloul
:
Formal approach based on petri nets using agent paradigm for m-maintenance. Int. J. Crit. Comput. Based Syst. 7(1): 91-117 (2017) - Bogdan Aman, Gabriel Ciobanu:
Verification of distributed systems involving bounded-time migration. Int. J. Crit. Comput. Based Syst. 7(3): 279-301 (2017) - Mouloud Atmani, Djamil Aïssani
, Yassine Hadjadj Aoul:
Modelling and analysis data fragmentation in IEEE 802.15.4 slotted CSMA/CA protocol without ACK mode. Int. J. Crit. Comput. Based Syst. 7(1): 4-21 (2017) - Maya Souilah Benabdelhafid, Béatrice Bérard, Mahmoud Boufaïda:
Analysing timed compatibility of web service choreography. Int. J. Crit. Comput. Based Syst. 7(3): 253-278 (2017) - Moustapha Bikienga, Annie Choquet-Geniet, Dominique Geniet:
Validation of the actual behaviour of a real-time application. Int. J. Crit. Comput. Based Syst. 7(2): 190-208 (2017) - Pramod T. C, N. R. Sunitha:
Key management infrastructure design and novel techniques to establish secure communications in critical infrastructures. Int. J. Crit. Comput. Based Syst. 7(2): 171-189 (2017) - Mohamad Chaitou:
Performance evaluation of a novel redundancy method for videoconferencing traffic in MPLS networks. Int. J. Crit. Comput. Based Syst. 7(3): 225-252 (2017) - Mohamed Escheikh, Kamel Barkaoui:
On the dependability evaluation of a virtual multiple input multiple output link. Int. J. Crit. Comput. Based Syst. 7(1): 43-58 (2017) - Alexander Gouberman, Martin Riedl, Markus Siegle
:
Analysing reward measures of LARES performability models by discontinuous Markov chains. Int. J. Crit. Comput. Based Syst. 7(1): 22-42 (2017) - Fateh Latreche, Faiza Belala:
A layered Petri net model to formally analyse time critical web service composition. Int. J. Crit. Comput. Based Syst. 7(2): 119-137 (2017) - Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet:
A formal verification of dynamic updating in a Java-based embedded system. Int. J. Crit. Comput. Based Syst. 7(4): 303-340 (2017)