Mohamed Mezghiche

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