|
Depot Institutionnel de l'UMBB >
Browsing by Author Mezghiche, Mohamed
Showing results 23 to 40 of 40
Date de publication | Titre | Auteur(s) | 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 23 to 40 of 40
|