Mohamed Mezghiche

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 15

Top Topics

Xml Information Retrieval

Reverse Engineer

Formal Verification

Top Venues

Int. J. Crit. Comput. Based Syst.

Artif. Intell. Medicine

Publications

Mohamed Tahar Bennai, Zahia Guessoum, Smaine Mazouzi, Stéphane Cormier, Mohamed Mezghiche
Multi-agent medical image segmentation: A survey. Comput. Methods Programs Biomed. 232 (2023)
Samiya Hamadouche, Jean-Louis Lanet, Mohamed Mezghiche
Hiding a fault enabled virus through code construction. J. Comput. Virol. Hacking Tech. 16 (2) (2020)
Mohamed Tahar Bennai, Smaine Mazouzi, Zahia Guessoum, Mohamed Mezghiche, Stéphane Cormier
A Cooperative Approach Based on Local Detection of Similarities and Discontinuities for Brain MR Images Segmentation. J. Medical Syst. 44 (9) (2020)
Mohamed Tahar Bennai, Zahia Guessoum, Smaine Mazouzi, Stéphane Cormier, Mohamed Mezghiche
A stochastic multi-agent approach for medical-image segmentation: Application to tumor segmentation in brain MR images. Artif. Intell. Medicine 110 (2020)
Ibtihel Baddari, Mohamed Amine Riahla, Mohamed Mezghiche
A New AOMDV Lifetime Prolonging Routing Algorithm for Ad-Hoc Networks. Int. J. Interdiscip. Telecommun. Netw. 11 (4) (2019)
Abdelhak Mesbah, Jean-Louis Lanet, Mohamed Mezghiche
Reverse engineering Java Card and vulnerability exploitation: a shortcut to ROM. Int. J. Inf. Sec. 18 (1) (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) (2019)
Cheikh Salmi, Mohamed Chaabani, Mohamed Mezghiche
A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant. MEDI (2018)
Yahiaoui Chahrazed, Jean-Louis Lanet, Mohamed Mezghiche, Karim Tamine
Machine learning techniques to predict sensitive patterns to fault attack in the Java Card application. J. Exp. Theor. Artif. Intell. 30 (1) (2018)
Sarah Chabane, Rabéa Ameur-Boulifa, Mohamed Mezghiche
Rethinking of I/O-automata composition. FDL (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) (2017)
Mohamed Tahar Bennai, Zahia Guessoum, Smaine Mazouzi, Stéphane Cormier, Mohamed Mezghiche
Towards a Generic Multi-agent Approach for Medical Image Segmentation. PRIMA (2017)
Abdelhak Mesbah, Jean-Louis Lanet, Mohamed Mezghiche
Reverse engineering a Java Card memory management algorithm. Comput. Secur. 66 (2017)
Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet
A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. CRiSIS (2016)
Abdelhak Mesbah, Leo Regnaud, Jean-Louis Lanet, Mohamed Mezghiche
The Hell Forgery - Self Modifying Codes Shoot Again. CARDIS (2016)
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
An Approach for Formal Verification of Updated Java Bytecode Programs. VECoS (2015)
M'hamed Mataoui, Mohamed Mezghiche
A distance based approach for link analysis in XML information retrieval. Comput. Syst. Sci. Eng. 30 (3) (2015)
Mohamed Amine Riahla, Karim Tamine, A. Mifdal, Mohamed Mezghiche
A Mobile Multi Agent System for Routing in Adhoc Network. PECCS (2014)
Selma Djeddai, Martin Strecker, Mohamed Mezghiche
Integrating a Formal Development for DSLs into Meta-Modeling. J. Data Semant. 3 (3) (2014)
Samia Berchiche-Fellag, Mohamed Mezghiche
Searching XML Element Using Terms Propagation Method. ISMIS (2014)
M'hamed Mataoui, Mohamed Mezghiche, Faouzi Sebbak, Farid Benhammadi
Evidential-Link-based Approach for Re-ranking XML Retrieval Results. DATA (2014)
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. SCSS (2012)
Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker
Formal verification of a proof procedure for the description logic ALC. SCSS (2012)
Ali Aïtelhadj, Mohand Boughanem, Mohamed Mezghiche, Fatiha Souam
Using structural similarity for clustering XML documents. Knowl. Inf. Syst. 32 (1) (2012)
Selma Djeddai, Martin Strecker, Mohamed Mezghiche
Integrating a Formal Development for DSLs into Meta-modeling. MEDI (2012)
Selma Djeddai, Mohamed Mezghiche, Martin Strecker
A Case Study in Combining Formal Verification and Model-Driven Engineering. ICTERI (2012)
Selma Djeddai, Mohamed Mezghiche, Martin Strecker
Combining Verification and MDE Illustrated by a Formal Java Development. ICTERI (Revised Selected Papers) (2012)
Ghenima Bourkache, Mohamed Mezghiche, Karim Tamine
A Distributed Intrusion Detection Model Based on a Society of Intelligent Mobile Agents for Ad Hoc Network. ARES (2011)
Soumia Aggoune, Rabah Imache, Abdelaziz Khadraoui, Mohamed Mezghiche
Evaluation of e-Government Information Systems Agility in the Perspective of Sustainability. EGOVIS (2011)
Soumia Aggoune, Rabah Imache, Abdelaziz Khadraoui, Mohamed Mezghiche
Evaluative Framewok for the Measurement of Egovernment Information Systems Agility. CIIA (2011)
Soumia Aggoune, Rabah Imache, Mohamed Mezghiche, Abdelaziz Khadraoui
Investigation of e-Government Information Systems Agility . KMIS (2010)
M'hamed Mataoui, Mohamed Mezghiche
Prise en compte des liens pour améliorer la recherche d'information structurée. CORIA (2009)
Ali Aïtelhadj, Mohamed Mezghiche, Fatiha Souam
RI structurée, RI et XML, RI précise. CORIA (2009)
Rabéa Boulifa, Mohamed Mezghiche
Another Implementation Technique for Functional Programming Languages. JFLA (2003)
Mohamed Mezghiche
c-beta-Machine with lambda-beta-Reduction. Theor. Comput. Sci. 189 (1-2) (1997)
Mohamed Mezghiche
Weak Completeness of Type Assignment in lambda-Calculus Models: A Generalization of Hindley's Result. Theor. Comput. Sci. 87 (1) (1991)
Mohamed Mezghiche
On Pseudo-c-beta-Normal Form in Combinatory Logic. Theor. Comput. Sci. 66 (3) (1989)
Mohamed Mezghiche
Une Nouvelle C beta-Réduction dans la Logique Combinatoire. Theor. Comput. Sci. 31 (1984)