Debbi, Hichem, University of M'sila, Algeria

• Vol 42, No 2 (2018) - Overview papers
  Counterexamples in Model Checking - A survey
  Abstract  PDF
• Vol 45, No 4 (2021) - Regular papers
  Modeling and Performance Analysis of Resource Provisioning in Cloud Computing using Probabilistic Model Checking
  Abstract  PDF