|
|
Depot Institutionnel de l'UMBB >
Browsing by Author Mezghiche, Mohamed
Showing results 1 to 41 of 41
| Date de publication | Titre | Auteur(s) | | 2015 | An approach for formal verification of updated Java bytecode programs | Lounas, Razika; Mezghiche, Mohamed; Lanet, J.-L. |
| 2010 | Bi-objective ant colony optimization approach to optimize production and maintenance scheduling | Mezghiche, Mohamed; Amodeo, L.; Yalaoui, F.; Berrichi, A. |
| 2009 | Bi-objective optimization algorithms for joint production and maintenance scheduling : application to the parallel machine problem | Berrichi, A.; Amodeo, L.; Yalaoui, F.; Châtelet, E.; Mezghiche, Mohamed |
| 2012 | A case study in combining formal verification and model-driven engineering | Djeddai, S.; Mezghiche, Mohamed; Strecker, M. |
| 2012 | A case study in combining formal verification and model-driven engineering | Djeddai, Selma; Mezghiche, Mohamed; Strecker, Martin |
| 2009 | Classification de structures arborescentes : cas de documents XML = Classification of tree structures: case of the XML documents | Ait El hadj, Ali; Mezghiche, Mohamed; Souam, F. |
| 2020 | A cooperative approach based on local detection of similarities and discontinuities for brain MR images segmentation | Bennai, Mohamed Tahar; Smaine, Mazouzi; Guessoum, Zahia; Mezghiche, Mohamed; Cormier, Stephane |
| 2015 | A distance based approach for link analysis in xml information retrieval | Mataoui, Mhamed; Mezghiche, Mohamed |
| 2011 | A distributed intrusion detection model based on a society of intelligent mobile agents for ad hoc network | Bourkache, G.; Mezghiche, Mohamed; Tamine, K |
| 2011 | Evaluation of e-Government information systems agility in the perspective of sustainability | Mezghiche, Mohamed; Khadraoui, Abdelaziz; Imache, Rabah; Aggoune, Soumia |
| 2014 | Evidential-Link-based Approach for Re-ranking XML Retrieval Results | Mataoui, Mhamed; Mezghiche, Mohamed; Sebbak, Faouzi; Benhammadi, Farid |
| 2009 | Experiments on Page Rank Algorithm in the XML Information Retrieval Context | Mataoui, Mhamed; Boughanem, Mohand; Mezghiche, Mohamed |
| 2010 | Exploiting Link Evidence to Improve XML Information Retrieval | Mataoui, Mhamed; Mezghiche, Mohamed; Boughanem, Mohand |
| 2018 | Exploiting links to improve search in XML documents | Berchiche-Fellag, Samia; Mezghiche, Mohamed |
| 2009 | Formalisation de la logique de description ALC dans l'assistant de preuve Coq | Chaabani, Mohamed; Mezghiche, Mohamed; Strecker, Martin |
| 2018 | A Formalized procedure for database horizontal fragmentation in isabelle/HOL Proof Assistant | Cheikh, Salmi; Chaabani, Mohamed; Mezghiche, Mohamed |
| 2024 | Formal Methods for Internet of Things: a Concise Classification | Talamali, Ibtissem; Lounas, Razika; Mezghiche, Mohamed |
| 2019 | Formal methods in dynamic software updating : a survey | Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean Louis |
| 2017 | A formal verification of dynamic updating in a Java-based embedded system | Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean-Louis |
| 2017 | A formal verification of safe update point detection in dynamic software updating | Lounas, Razika; Jafri, Nisrine; Legay, Axel; Mezghiche, Mohamed; Lanet, Jean-Louis |
| 2017 | A generic Multi-Agent framework for Medical-Image segmentation | Bennai, Mohamed Tahar; Guessoum, Zahia; Mazouzi, Smaine; Cormier, Stéphane; Mezghiche, Mohamed |
| 2017 | The hell forgery : self modifying codes shoot Again | Mesbah, Abdelhak; Regnaud, Leo; Lanet, Jean-Louis; Mezghiche, Mohamed |
| 2020 | Hiding a fault enabled virus through code construction | Hamadouche, Samiya; Lanet, Jean-Louis; Mezghiche, Mohamed |
| 2012 | Integrating a formal development for DSLs into meta-modeling | Djeddai, Selma; Strecker, Martin; Mezghiche, Mohamed |
| 2021 | Logique mathématique et calculabilité : cours TD avec corrigés | Mezghiche, Mohamed |
| 2017 | Machine learning techniques to predict sensitive patterns to fault attack in the Java Card application | Yahaoui, Chehrazed; Lanet, Jean-Louis; Mezghiche, Mohamed; Tamine, Karim |
| 2014 | A mobile multi agent system for routing in adhoc network | Riahla, Mohamed Amine; Tamine, Karim; Mifdal, Abdelhadi; Mezghiche, Mohamed |
| 2023 | Multi-agent medical image segmentation : a survey | Bennai, Mohamed Tahar; Guessoum, Zahia; Mazouzi, Smaine; Cormier, Stéphane; Mezghiche, Mohamed |
| 2019 | A new AOMDV lifetime prolonging routing algorithm for Ad-Hoc networks | Baddari, Ibtihel; Riahla, Mohamed Amine; Mezghiche, Mohamed |
| 2017 | Persistent fault injection attack from white-box to black-box | Mesbah, Abdelhak; Mezghiche, Mohamed; Lanet, Jean-Louis |
| 2020 | A practical approach for verification of graph transformation with description logic | Chaabani, Mohamed; Mezghiche, Mohamed |
| 2009 | Prise en compte des liens pour améliorer la recherche d'information structurée | Mataoui, Mhamed; Mezghiche, Mohamed |
| 2013 | Recognition of sensitive patterns to the fault attack in the java card application | Yahiaoui, Chahrazed; Lanet, Jean-Louis; Mezghiche, Mohamed; Tamine, Karim |
| 2017 | Rethinking of I/O-automata composition | Chabane, Sarah; Ameur-Boulifa, Rabéa; Mezghiche, Mohamed |
| 2017 | Reverse engineering a Java Card memory management algorithm | Mesbah, Abdelhak; Lanet, Jean-Louis; Mezghiche, Mohamed |
| 2017 | Reverse engineering Java Card and vulnerability exploitation : a shortcut to ROM | Mesbah, Abdelhak; Lanet, Jean-Louis; Mezghiche, Mohamed |
| 2020 | A stochastic multi-agent approach for medical-image segmentation: Application to tumor segmentation in brain MR images | Bennai, Mohamed Tahar; Guessoum, Zahia; Mazouzi, Smaine; Cormier, Stéphane; Mezghiche, Mohamed |
| 2013 | Towards a general framework for formal reasoning about java bytecode transformation | Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean-Louis |
| 2017 | Towards a generic Multi-agent approach for medical image segmentation | Bennai, Mohamed Tahar; Guessoum, Zahia; Mazouzi, Smaine; Cormier, Stéphane; Mezghiche, Mohamed |
| 2021 | Towards compositional verification of synchronous reactive systems | Chabane, Sarah; Ameur-Boulifa, Rabéa; Mezghiche, Mohamed |
| 2010 | Vérification d'une méthode de preuve pour la logique de description ALC | Chaabani, Mohamed; Mezghiche, Mohamed; Strecker, Martin |
Showing results 1 to 41 of 41
|
