| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 9 |      | Mustapha Bourahla: Verification of Complex Real-Time Systems using Rewriting Logic. CIT 17(3): 265-284 (2009) |
| 2008 | ||
| 8 | | Mustapha Bourahla: Verification of Concurrent Systems using Strongly Preserving Abstractions. Int. Arab J. Inf. Technol. 5(4): 393-401 (2008) |
| 2005 | ||
| 7 | | Mustapha Bourahla, Mohamed Benmohamed: Efficient partition of state space for parallel reachability analysis. AICCSA 2005: 21 |
| 6 | | Mustapha Bourahla, Mohamed Benmohamed: Formal Specification and Verification of Multi-Agent Systems. Electr. Notes Theor. Comput. Sci. 123: 5-17 (2005) |
| 5 | | Mustapha Bourahla, Mohamed Benmohamed: Analysis of Real-Time Systems with CTL Model Checkers. Electr. Notes Theor. Comput. Sci. 133: 41-60 (2005) |
| 4 | | Mustapha Bourahla, Mohamed Benmohamed: Model Checking Multi-Agent Systems. Informatica (Slovenia) 29(2): 189-198 (2005) |
| 3 | | Mustapha Bourahla: Partitioning State Spaces of Concurrent Transition Systems. Int. Arab J. Inf. Technol. 2(2): 127-135 (2005) |
| 2003 | ||
| 2 | | Mustapha Bourahla, Mohamed Benmohamed: Verification of Real-Time Systems by Abstraction of Time Constraints. IPDPS 2003: 238 |
| 2002 | ||
| 1 | | Mustapha Bourahla, Mohamed Benmohamed: Predicate Abstraction and Refinement for Model Checking VHDL State Machines. Electr. Notes Theor. Comput. Sci. 66(2): 1-16 (2002) |
| 1 | Mohamed Benmohamed | [1] [2] [4] [5] [6] [7] |
Data released under the ODC-BY 1.0 license — See also our legal information page