Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Hassan
Last name:	Mountassir
DBLP:	50/2870
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 11  

Select a publication
Show	Title	Venue	Rating	Date
	Sebti Mouelhi, Samir Chouali, Hassan Mountassir. Refinement of Interface Automata Strengthened by Action Semantics.	Electr. Notes Theor. Comput. Sci. 2009, Volume 253	(0)	2009
	Jacques Julliand, Hassan Mountassir, Emilie Oudot. VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System.	Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings 2007	(0)	2007
	Jacques Julliand, Hassan Mountassir, Emilie Oudot. Preservation of timed properties during an incremental development by components.	ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007 2007	(0)	2007
	Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir. Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot.	Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006 2006	(0)	2006
	Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot. On the Contribution of a tau.	Electr. Notes Theor. Comput. Sci. 2006, Volume 160	(0)	2006
	Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand. Modular Verification for a Class of PLTL Properties.	Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings 2000	(0)	2000
	Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir. Modular Verification of Dynamic Properties for Reactive Systems.	Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 1999	(0)	1999
	A. Ibriz, Mohammed Erradi, Hassan Mountassir, Michel Tréhel. A Layered Cooperative Architecture and its Application in TeleTeaching Framework.	Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA 1999	(0)	1999
	Hassan Mountassir. Decidability of a Class of Dual Communicating Finite State Machines.	Operating Systems Review 1996, Volume 30	(0)	1996
	Hassan Mountassir, S. Serre. OCAM: A Collaborative System for Multimedia Applications.	Proceedings of the Eleventh International Conference on Data Engineering, March 6-10, 1995, Taipei, Taiwan 1995	(0)	1995

Your query returned 11 matches in the database.