| |
| 2005 | ||
|---|---|---|
| 7 | EE | Mustapha Bourahla, Mohamed Benmohamed: Efficient partition of state space for parallel reachability analysis. AICCSA 2005: 21 |
| 6 | EE | Mustapha Bourahla, Mohamed Benmohamed: Formal Specification and Verification of Multi-Agent Systems. Electr. Notes Theor. Comput. Sci. 123: 5-17 (2005) |
| 5 | EE | Mustapha Bourahla, Mohamed Benmohamed: Analysis of Real-Time Systems with CTL Model Checkers. Electr. Notes Theor. Comput. Sci. 133: 41-60 (2005) |
| 4 | EE | Mustapha Bourahla, Mohamed Benmohamed: Model Checking Multi-Agent Systems. Informatica (Slovenia) 29(2): 189-198 (2005) |
| 3 | EE | Mustapha Bourahla: Partitioning State Spaces of Concurrent Transition Systems. Int. Arab J. Inf. Technol. 2(2): 127-135 (2005) |
| 2003 | ||
| 2 | EE | Mustapha Bourahla, Mohamed Benmohamed: Verification of Real-Time Systems by Abstraction of Time Constraints. IPDPS 2003: 238 |
| 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) |
| 1 | Mohamed Benmohamed | [1] [2] [4] [5] [6] [7] |