To Correct Communicating Finite State Machines. - Hassan Mountassir (ACM Conference on Computer Science, 1989)

A note on communicating machines with identical symmetrical and dual processes using rewriting systems. - Hassan Mountassir (ICNP, 1993)

OCAM: A Collaborative System for Multimedia Applications. - Hassan Mountassir; S. Serre (ICDE, 1995)

Decidability of a Class of Dual Communicating Finite State Machines. - Hassan Mountassir (ACM SIGOPS Oper. Syst. Rev., 1996)

Modular Verification of Dynamic Properties for Reactive Systems. - Jacques Julliand; Pierre-Alain Masson; Hassan Mountassir (IFM, 1999)

A Layered Cooperative Architecture and its Application in TeleTeaching Framework. - A. Ibriz; Mohammed Erradi; Hassan Mountassir; Michel Tréhel (PDPTA, 1999)

Modular Verification for a Class of PLTL Properties. - Pierre-Alain Masson; Hassan Mountassir; Jacques Julliand (IFM, 2000)

On the Contribution of a tau. - Françoise Bellegarde; Jacques Julliand; Hassan Mountassir; Emilie Oudot (FACS, 2005)

Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. - Mohammed Al Achhab; Ahmed Hammad; Hassan Mountassir (ISoLA, 2006)

Experiments in the use of τ-simulations for the components-verification of real-time systems. - Françoise Bellegarde; Jacques Julliand; Hassan Mountassir; Emilie Oudot (SAVCBS@FSE, 2006)

VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. - Jacques Julliand; Hassan Mountassir; Emilie Oudot (ICFEM, 2007)

Preservation of timed properties during an incremental development by components. - Jacques Julliand; Hassan Mountassir; Emilie Oudot (ISoLA, 2007)

Description of a teleconferencing floor control protocol and its implementation. - Mohammed Ouzzif; Mohammed Erradi; Hassan Mountassir (Eng. Appl. Artif. Intell., 2008)

An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. - Samir Chouali; Hassan Mountassir; Sebti Mouelhi (FESCA@ETAPS, 2008)

Verification of Real-Time Systems: Application to the Transportation Domain. - Ahmed Hammad; Hassan Mountassir (NTMS, 2009)

Refinement of Interface Automata Strengthened by Action Semantics. - Sebti Mouelhi; Samir Chouali; Hassan Mountassir (FESCA@ETAPS, 2009)

Assembly of components based on interface automata and UML component model. - Samir Chouali; Sebti Mouelhi; Hassan Mountassir (CAL, 2010)

Adapting Component Behaviours Using Interface Automata. - Samir Chouali; Sebti Mouelhi; Hassan Mountassir (EUROMICRO-SEAA, 2010)

Incremental verification of component-based timed systems. - Jacques Julliand; Hassan Mountassir; Emilie Oudot (Int. J. Comput. Appl. Technol., 2011)

Assembling Components using SysML with Non-Functional Requirements. - Samir Chouali; Ahmed Hammad; Hassan Mountassir (FESCA, 2012)

Formalizing and verifying compatibility and consistency of SysML blocks. - Oscar Carrillo; Samir Chouali; Hassan Mountassir (ACM SIGSOFT Softw. Eng. Notes, 2012)

Adaptation sémantique des protocoles des composants par les automates d'interface. - Samir Chouali; Sebti Mouelhi; Hassan Mountassir (Tech. Sci. Informatiques, 2012)

An approach combining SysML and modelica for modelling and validate wireless sensor networks. - Ahmed Hammad; Hassan Mountassir; Samir Chouali (SESoS, 2013)

Specifying System Architecture from SysML Requirements and Component Interfaces. - Samir Chouali; Oscar Carrillo; Hassan Mountassir (ECSA, 2013)

Incremental Modeling of System Architecture Satisfying SysML Functional Requirements. - Oscar Carrillo; Samir Chouali; Hassan Mountassir (FACS, 2013)

Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption. - Ahmed Hammad; Hassan Mountassir; Samir Chouali (MODELSWARD, 2013)

A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation. - Djaouida Dahmani; Mohand Cherif Boukala; Hassan Mountassir (PNSE @ Petri Nets, 2014)

A Formal Modeling Approach for Emergency Crisis Response in Health during Catastrophic Situation. - Mohammed Ouzzif; Marouane Hamdani; Hassan Mountassir; Mohammed Erradi (ISCRAM-med, 2014)

An Approach based on SysML and SystemC to Simulate Complex Systems. - Abbas Abdulhameed; Ahmed Hammad; Hassan Mountassir; Bruno Tatibouët (MODELSWARD, 2014)

Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML. - Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir (CAL, 2015)

Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems. - Sebti Mouelhi; Khalid Agrou; Samir Chouali; Hassan Mountassir (CBSE, 2015)

SysML Blocks Adaptation. - Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir (ICFEM, 2015)

A Model-Driven Approach to Adapt SysML Blocks. - Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir (ICIST, 2016)

Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers. - Djamila Dahmani; Mohand Cherif Boukala; Hassan Mountassir; Samir Chouali (PNSE @ Petri Nets, 2017)

Component Design and Adaptation Based on Behavioral Contracts. - Samir Chouali; Sebti Mouelhi; Hassan Mountassir (MEDI Workshops, 2018)

SysML model-driven approach to verify blocks compatibility. - Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir (Int. J. Comput. Aided Eng. Technol., 2019)