Hassan Mountassir

	2010
15		Samir Chouali, Sebti Mouelhi, Hassan Mountassir: Adapting Component Behaviours Using Interface Automata. EUROMICRO-SEAA 2010: 119-122
14		Samir Chouali, Hassan Mountassir, Sebti Mouelhi: An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. Electr. Notes Theor. Comput. Sci. 238(6): 3-13 (2010)
	2009
13		Ahmed Hammad, Hassan Mountassir: Verification of Real-Time Systems: Application to the Transportation Domain. NTMS 2009: 1-5
12		Sebti Mouelhi, Samir Chouali, Hassan Mountassir: Refinement of Interface Automata Strengthened by Action Semantics. Electr. Notes Theor. Comput. Sci. 253(1): 111-126 (2009)
	2008
11		Mohammed Ouzzif, Mohammed Erradi, Hassan Mountassir: Description of a teleconferencing floor control protocol and its implementation. Eng. Appl. of AI 21(3): 430-441 (2008)
	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

Coauthor Index

1	Mohammed Al Achhab	[8]
2	Françoise Bellegarde (Françoise Bellegarde-Webb)	[7]
3	Samir Chouali	[12] [14] [15]
4	Mohammed Erradi	[4] [11]
5	Ahmed Hammad	[8] [13]
6	A. Ibriz	[4]
7	Jacques Julliand	[5] [6] [7] [9] [10]
8	Pierre-Alain Masson	[5] [6]
9	Sebti Mouelhi	[12] [14] [15]
10	Emilie Oudot	[7] [9] [10]
11	Mohammed Ouzzif	[11]
12	S. Serre	[2]
13	Michel Tréhel	[4]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page