 | 2009 |
|---|
| 7 |       | Fateh Boutekkouk,
Mohamed Benmohammed:
UML Modeling and Formal Verification of Control/Data Driven Embedded Systems.
ICECCS 2009: 311-316 |
| 6 | | Fateh Boutekkouk,
Mohamed Benmohammed,
Sebastien Bilavarn,
Michel Auguin:
UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs).
Journal of Object Technology 8(1): 135-157 (2009) |
| 5 | | Fateh Boutekkouk,
Mohamed Benmohammed,
Sebastien Bilavarn,
Michel Auguin:
UML for Modelling and Performance Estimation of Embedded Systems.
Journal of Object Technology 8(2): 95-118 (2009) |
| 2008 |
|---|
| 4 | | Salah Merniz,
Mohamed Benmohammed:
A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach.
ITNG 2008: 241-246 |
| 2007 |
|---|
| 3 | | Salah Merniz,
Mohamed Benmohammed:
A Methodology for the Formal Verification of RISC Microprocessors A Functional Approach.
AICCSA 2007: 492-499 |
| 2005 |
|---|
| 2 | | Azeddine Bilami,
Mustapha Lalam,
Mehammed Daoui,
Mohamed Benmohammed:
Design and Evaluation of an Input Buffered Packet Switch.
Int. Arab J. Inf. Technol. 2(4): 309-317 (2005) |
| 2001 |
|---|
| 1 | | F. Z. Hadjam,
Abdellatif Rahmoun,
Mohamed Benmohammed:
On Designing a Systolic Network for the Resolution of Linear Systems Using the " Gauss-Seidel " Method.
AICCSA 2001: 283-286 |
