| 2007 |
|---|
| 12 | EE | 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 |
| 11 | EE | Samia Boucherkha,
Mohamed Benmohamed:
A Texture Based Image Signature Using Second Order Statistics Characterisation.
OTM Workshops (1) 2007: 44-45 |
| 2006 |
|---|
| 10 | EE | Samia Boucherkha,
Mohamed Benmohamed:
A Multi-tier Architecture to Safely Share Digital Medical Images.
DepCoS-RELCOMEX 2006: 319-326 |
| 2005 |
|---|
| 9 | EE | Mustapha Bourahla,
Mohamed Benmohamed:
Efficient partition of state space for parallel reachability analysis.
AICCSA 2005: 21 |
| 8 | EE | Mustapha Bourahla,
Mohamed Benmohamed:
Formal Specification and Verification of Multi-Agent Systems.
Electr. Notes Theor. Comput. Sci. 123: 5-17 (2005) |
| 7 | EE | Mustapha Bourahla,
Mohamed Benmohamed:
Analysis of Real-Time Systems with CTL Model Checkers.
Electr. Notes Theor. Comput. Sci. 133: 41-60 (2005) |
| 6 | EE | Mustapha Bourahla,
Mohamed Benmohamed:
Model Checking Multi-Agent Systems.
Informatica (Slovenia) 29(2): 189-198 (2005) |
| 2004 |
|---|
| 5 | | Samia Boucherkha,
Mohamed Benmohamed:
A Lossless Watermarking Based Authentication System For Medical Images.
International Conference on Computational Intelligence 2004: 240-243 |
| 2003 |
|---|
| 4 | EE | Mustapha Bourahla,
Mohamed Benmohamed:
Verification of Real-Time Systems by Abstraction of Time Constraints.
IPDPS 2003: 238 |
| 3 | | Mohamed Larbi Rebaiaia,
Mohamed Benmohamed,
Jihad Mohamad Jaam,
Ahmad Hasnah:
A Toolset for the Specification and Verification of Embedded Systems.
PDPTA 2003: 1539-1545 |
| 2 | | 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 |
| 2002 |
|---|
| 1 | EE | Mustapha Bourahla,
Mohamed Benmohamed:
Predicate Abstraction and Refinement for Model Checking VHDL State Machines.
Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
