| 2008 |
|---|
| 11 | EE | Guy Tremblay,
F. Guérin,
A. Pons,
Aziz Salah:
Oto, a generic and extensible tool for marking programming assignments.
Softw., Pract. Exper. 38(3): 307-333 (2008) |
| 2007 |
|---|
| 10 | EE | Guy Tremblay,
Bruno Malenfant,
Aziz Salah,
Pablo Zentilli:
Introducing students to professional software construction: a "software construction and maintenance" course and its maintenance corpus.
ITiCSE 2007: 176-180 |
| 9 | EE | Guy Tremblay,
Louise Laforest,
Aziz Salah:
Extending a marking tool with simple support for testing.
ITiCSE 2007: 313 |
| 8 | | Rabeb Mizouni,
Aziz Salah,
Rachida Dssouli:
Using Formal Composition of Use Cases in Requirements Engineering.
SEKE 2007: 238- |
| 2006 |
|---|
| 7 | EE | Rabeb Mizouni,
Aziz Salah,
Siamak Kolahi,
Rachida Dssouli:
Composition of Use Cases Using Synchronization and Model Checking.
FORTE 2006: 292-306 |
| 6 | EE | Ismail Berrada,
Richard Castanet,
Patrick Félix,
Aziz Salah:
Test Case Minimization for Real-Time Systems Using Timed Bound Traces.
TestCom 2006: 289-305 |
| 2005 |
|---|
| 5 | EE | Hafedh Mili,
Ghizlane El-Boussaidi,
Aziz Salah:
Mise en oeuvre des patrons de conception par représentation explicite du problème.
L'OBJET 11(1-2): 113-126 (2005) |
| 2004 |
|---|
| 4 | EE | Aziz Salah,
Rabeb Mizouni,
Rachida Dssouli,
Benoit Parreaux:
Formal Composition of Distributed Scenarios.
FORTE 2004: 213-228 |
| 2003 |
|---|
| 3 | EE | Aziz Salah,
Rachida Dssouli,
Guy Lapalme:
Implicit integration of scenarios into a reduced timed automaton.
Information & Software Technology 45(11): 715-725 (2003) |
| 2001 |
|---|
| 2 | | Aziz Salah,
Rachida Dssouli,
Guy Lapalme:
Compiling Real-Time Scenarios into a Timed Automaton.
FORTE 2001: 135-150 |
| 1999 |
|---|
| 1 | EE | Rachida Dssouli,
Stéphane S. Somé,
Jean G. Vaucher,
Aziz Salah:
A service creation environment based on scenarios.
Information & Software Technology 41(11-12): 697-713 (1999) |
