| 2007 |
|---|
| 9 | EE | Jacques Julliand,
Hassan Mountassir,
Emilie Oudot:
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System.
ICFEM 2007: 116-135 |
| 8 | | Jacques Julliand,
Hassan Mountassir,
Emilie Oudot:
Preservation of timed properties during an incremental development by components.
ISoLA 2007: 159-166 |
| 2006 |
|---|
| 7 | EE | Françoise Bellegarde,
Jacques Julliand,
Hassan Mountassir,
Emilie Oudot:
On the Contribution of a tau.
Electr. Notes Theor. Comput. Sci. 160: 97-111 (2006) |
| 2000 |
|---|
| 6 | EE | Pierre-Alain Masson,
Hassan Mountassir,
Jacques Julliand:
Modular Verification for a Class of PLTL Properties.
IFM 2000: 398-419 |
| 1999 |
|---|
| 5 | | Jacques Julliand,
Pierre-Alain Masson,
Hassan Mountassir:
Modular Verification of Dynamic Properties for Reactive Systems.
IFM 1999: 89-108 |
| 4 | | A. Ibriz,
Mohammed Erradi,
Hassan Mountassir,
Michel Tréhel:
A Layered Cooperative Architecture and its Application in TeleTeaching Framework.
PDPTA 1999: 1516-1522 |
| 1996 |
|---|
| 3 | | Hassan Mountassir:
Decidability of a Class of Dual Communicating Finite State Machines.
Operating Systems Review 30(3): 59-66 (1996) |
| 1995 |
|---|
| 2 | EE | Hassan Mountassir,
S. Serre:
OCAM: A Collaborative System for Multimedia Applications.
ICDE 1995: 551-553 |
| 1989 |
|---|
| 1 | EE | Hassan Mountassir:
To Correct Communicating Finite State Machines.
ACM Conference on Computer Science 1989: 327-334 |
