| * | 2009 |
|---|
| 6 | EE | Rabeb Mizouni,
Aziz Salah:
Behavioral Model Composition: a Non Functional Requirements Driven Approach.
SoMeT 2009: 336-349 |
| 2007 |
|---|
| 5 | | Rabeb Mizouni,
Aziz Salah,
Rachida Dssouli:
Using Formal Composition of Use Cases in Requirements Engineering.
SEKE 2007: 238- |
| 4 | EE | Rabeb Mizouni,
Aziz Salah,
Siamak Kolahi,
Rachida Dssouli:
Merging partial system behaviours: composition of use-case automata.
IET Software 1(4): 143-160 (2007) |
| 2006 |
|---|
| 3 | EE | Rabeb Mizouni,
Aziz Salah,
Siamak Kolahi,
Rachida Dssouli:
Composition of Use Cases Using Synchronization and Model Checking.
FORTE 2006: 292-306 |
| 2 | EE | Rabeb Mizouni,
Sofiène Tahar,
Paul Curzon:
Hybrid verification integrating HOL theorem proving with MDG model checking.
Microelectronics Journal 37(11): 1200-1207 (2006) |
| 2004 |
|---|
| 1 | EE | Aziz Salah,
Rabeb Mizouni,
Rachida Dssouli,
Benoit Parreaux:
Formal Composition of Distributed Scenarios.
FORTE 2004: 213-228 |
