![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Mohamed Benmohamed
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2008
- [j5]Samia Boucherkha, Mohamed Benmohamed:
Textural features extraction for image integrity verification. Int. J. Electron. Secur. Digit. Forensics 1(3): 268-280 (2008) - [j4]Samia Boucherkha, Mohamed Benmohamed:
Using Statistical Texture Analysis for Medical Image Tamper Proofing. Int. J. Inf. Secur. Priv. 2(3): 18-27 (2008) - 2005
- [j3]Azeddine Bilami, Mustapha Lalam, Mehammed Daoui, Mohamed Benmohamed:
Design and Evaluation of an Input Buffered Packet Switch. Int. Arab J. Inf. Technol. 2(4): 309-317 (2005) - [j2]Mustapha Bourahla, Mohamed Benmohamed:
Model Checking Multi-Agent Systems. Informatica (Slovenia) 29(2): 189-198 (2005) - 2004
- [j1]Mustapha Bourahla, Mohamed Benmohamed:
Distributing State Space for Parallel Computation of CTL Model Checking. Informatica (Slovenia) 28(3): 297-305 (2004)
Conference and Workshop Papers
- 2011
- [c13]Maamar Sedrati, Azeddine Bilami, Ramdane Maamri, Mohamed Benmohamed:
Contention Window Optimization for Distributed Coordination Function (DCF) to Improve Quality of Service at MAC Layer. DICTAP (1) 2011: 704-713 - 2009
- [c12]Ali Lemouari, Mohamed Benmohamed:
Une Méthode d'Optimisation par Essaimes Particulaire pour le Problème de Collectes et de Livraisons (PCL). CIIA 2009 - 2007
- [c11]Fatima Zohra Hadjam, Claudio Moraga, Mohamed Benmohamed:
Cluster-based evolutionary design of digital circuits using all improved multi-expression programming. GECCO (Companion) 2007: 2475-2482 - [c10]Samia Boucherkha, Mohamed Benmohamed:
A Texture Based Image Signature Using Second Order Statistics Characterisation. OTM Workshops (1) 2007: 44-45 - 2006
- [c9]Samia Boucherkha, Mohamed Benmohamed:
A Multi-tier Architecture to Safely Share Digital Medical Images. DepCoS-RELCOMEX 2006: 319-326 - 2005
- [c8]Mustapha Bourahla, Mohamed Benmohamed:
Efficient partition of state space for parallel reachability analysis. AICCSA 2005: 21 - 2004
- [c7]Samia Boucherkha, Mohamed Benmohamed:
A Lossless Watermarking Based Authentication System For Medical Images. International Conference on Computational Intelligence 2004: 240-243 - [c6]Mustapha Bourahla, Mohamed Benmohamed:
Formal Specification and Verification of Multi-Agent Systems. WoLLIC 2004: 5-17 - [c5]Mustapha Bourahla, Mohamed Benmohamed:
Analysis of Real-Time Systems with CTL Model Checkers. FMICS 2004: 41-60 - 2003
- [c4]Mustapha Bourahla, Mohamed Benmohamed:
Verification of Real-Time Systems by Abstraction of Time Constraints. IPDPS 2003: 238 - [c3]Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah:
A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions. PDPTA 2003: 573-579 - [c2]Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah:
A Toolset for the Specification and Verification of Embedded Systems. PDPTA 2003: 1539-1545 - 2002
- [c1]Mustapha Bourahla, Mohamed Benmohamed:
Predicate Abstraction and Refinement for Model Checking VHDL State Machines. FMICS 2002: 1-16
Informal and Other Publications
- 2011
- [i1]Maamar Sedrati, Azeddine Bilami, Mohamed Benmohamed:
M-AODV : AODV variant to improve quality of service in MANETs. CoRR abs/1104.1186 (2011)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint