 | 2009 |
|---|
| 11 |       | Sebti Mouelhi,
Samir Chouali,
Hassan Mountassir:
Refinement of Interface Automata Strengthened by Action Semantics.
Electr. Notes Theor. Comput. Sci. 253(1): 111-126 (2009) |
| 2007 |
|---|
| 10 | | 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 |
| 9 |  | Jacques Julliand,
Hassan Mountassir,
Emilie Oudot:
Preservation of timed properties during an incremental development by components.
ISoLA 2007: 159-166 |
| 2006 |
|---|
| 8 | | Mohammed Al Achhab,
Ahmed Hammad,
Hassan Mountassir:
Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot.
ISoLA 2006: 28-35 |
| 7 | | 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 | | 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 | | Hassan Mountassir,
S. Serre:
OCAM: A Collaborative System for Multimedia Applications.
ICDE 1995: 551-553 |
| 1989 |
|---|
| 1 | | Hassan Mountassir:
To Correct Communicating Finite State Machines.
ACM Conference on Computer Science 1989: 327-334 |
