Hassan Mountassir

Publication Activity (10 Years)

Years Active: 1989-2019
Publications (10 Years): 4

Top Topics

Functional Requirements

Wireless Sensor

Top Venues

PNSE @ Petri Nets

Publications

Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
SysML model-driven approach to verify blocks compatibility. Int. J. Comput. Aided Eng. Technol. 11 (2) (2019)
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
Component Design and Adaptation Based on Behavioral Contracts. MEDI Workshops (2018)
Djamila Dahmani, Mohand Cherif Boukala, Hassan Mountassir, Samir Chouali
Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers. PNSE @ Petri Nets (2017)
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
A Model-Driven Approach to Adapt SysML Blocks. ICIST (2016)
Sebti Mouelhi, Khalid Agrou, Samir Chouali, Hassan Mountassir
Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems. CBSE (2015)
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
SysML Blocks Adaptation. ICFEM (2015)
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML. CAL (2015)
Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët
An Approach based on SysML and SystemC to Simulate Complex Systems. MODELSWARD (2014)
Mohammed Ouzzif, Marouane Hamdani, Hassan Mountassir, Mohammed Erradi
A Formal Modeling Approach for Emergency Crisis Response in Health during Catastrophic Situation. ISCRAM-med (2014)
Djaouida Dahmani, Mohand Cherif Boukala, Hassan Mountassir
A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation. PNSE @ Petri Nets (2014)
Samir Chouali, Ahmed Hammad, Hassan Mountassir
Assembling Components using SysML with Non-Functional Requirements. Electron. Notes Theor. Comput. Sci. 295 (2013)
Ahmed Hammad, Hassan Mountassir, Samir Chouali
An approach combining SysML and modelica for modelling and validate wireless sensor networks. SESoS (2013)
Samir Chouali, Oscar Carrillo, Hassan Mountassir
Specifying System Architecture from SysML Requirements and Component Interfaces. ECSA (2013)
Oscar Carrillo, Samir Chouali, Hassan Mountassir
Incremental Modeling of System Architecture Satisfying SysML Functional Requirements. FACS (2013)
Ahmed Hammad, Hassan Mountassir, Samir Chouali
Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption. MODELSWARD (2013)
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
Adaptation sémantique des protocoles des composants par les automates d'interface. Tech. Sci. Informatiques 31 (6) (2012)
Oscar Carrillo, Samir Chouali, Hassan Mountassir
Formalizing and verifying compatibility and consistency of SysML blocks. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Jacques Julliand, Hassan Mountassir, Emilie Oudot
Incremental verification of component-based timed systems. Int. J. Comput. Appl. Technol. 42 (2/3) (2011)
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
Assembly of components based on interface automata and UML component model. CAL (2010)
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
Adapting Component Behaviours Using Interface Automata. EUROMICRO-SEAA (2010)
Samir Chouali, Hassan Mountassir, Sebti Mouelhi
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. Electron. Notes Theor. Comput. Sci. 238 (6) (2010)
Sebti Mouelhi, Samir Chouali, Hassan Mountassir
Refinement of Interface Automata Strengthened by Action Semantics. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Ahmed Hammad, Hassan Mountassir
Verification of Real-Time Systems: Application to the Transportation Domain. NTMS (2009)
Mohammed Ouzzif, Mohammed Erradi, Hassan Mountassir
Description of a teleconferencing floor control protocol and its implementation. Eng. Appl. Artif. Intell. 21 (3) (2008)
Jacques Julliand, Hassan Mountassir, Emilie Oudot
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. ICFEM (2007)
Jacques Julliand, Hassan Mountassir, Emilie Oudot
Preservation of timed properties during an incremental development by components. ISoLA (2007)
Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
Experiments in the use of τ-simulations for the components-verification of real-time systems. SAVCBS@FSE (2006)
Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir
Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. ISoLA (2006)
Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
On the Contribution of a tau. Electron. Notes Theor. Comput. Sci. 160 (2006)
Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand
Modular Verification for a Class of PLTL Properties. IFM (2000)
Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir
Modular Verification of Dynamic Properties for Reactive Systems. IFM (1999)
A. Ibriz, Mohammed Erradi, Hassan Mountassir, Michel Tréhel
A Layered Cooperative Architecture and its Application in TeleTeaching Framework. PDPTA (1999)
Hassan Mountassir
Decidability of a Class of Dual Communicating Finite State Machines. ACM SIGOPS Oper. Syst. Rev. 30 (3) (1996)
Hassan Mountassir, S. Serre
OCAM: A Collaborative System for Multimedia Applications. ICDE (1995)
Hassan Mountassir
A note on communicating machines with identical symmetrical and dual processes using rewriting systems. ICNP (1993)
Hassan Mountassir
To Correct Communicating Finite State Machines. ACM Conference on Computer Science (1989)