Hichem Debbi

According to our database, Hichem Debbi authored at least 16 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Constraint-based debugging in probabilistic model checking.

Hichem Debbi

Computing, February, 2023

Explaining Query Answers in Probabilistic Databases.

Hichem Debbi

Int. J. Interact. Multim. Artif. Intell., 2023

An Efficient Hierarchical LSTM-based Framework for Intrusion Detection in Internet of Things (IoT) Systems.

Abdelhammid Bouazza, Hichem Debbi, Hicham Lakhlef, Abdelkarim Smaili

Proceedings of the International Conference on Software, 2023

CauSim: A Causal Learning Framework for Fine-Grained Image Similarity.

Hichem Debbi

Proceedings of the Advances in Computational Intelligence, 2023

2022

A Debugging Game for Probabilistic Models.

Hichem Debbi

Formal Aspects Comput., 2022

Modeling and Analysis of Probabilistic Real-time Systems through Integrating Event-B and Probabilistic Model Checking.

Hichem Debbi

Comput. Sci., 2022

Machine Learning-based Intrusion Detection System Against Routing Attacks in the Internet of Things.

Abdelhammid Bouazza, Hichem Debbi, Hicham Lakhlef

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, 2022

2021

Modeling and Performance Analysis of Resource Provisioning in Cloud Computing using Probabilistic Model Checking.

Hichem Debbi

Informatica (Slovenia), 2021

Causal Explanation of Convolutional Neural Networks.

Hichem Debbi

Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2021

2018

Counterexamples in Model Checking - A survey.

Hichem Debbi

Informatica (Slovenia), 2018

2017

Modeling and Formal Analysis of Probabilistic Complex Event Processing (CEP) Applications.

Hichem Debbi

Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

2016

Debugging of probabilistic systems using structural equation modelling.

Hichem Debbi, Aimad Debbi, Mustapha Bourahla

Int. J. Crit. Comput. Based Syst., 2016

Debugging of Markov Decision Processes (MDPs) Models.

Hichem Debbi

Proceedings of the Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2016

2014

Diagnosis of Probabilistic Models using Causality and Regression.

Hichem Debbi

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

2013

Generating Diagnoses for Probabilistic Model Checking Using Causality.

Hichem Debbi, Mustapha Bourahla

J. Comput. Inf. Technol., 2013

Causal analysis of probabilistic counterexamples.

Hichem Debbi, Mustapha Bourahla

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013