Hassan Mountassir

According to our database, Hassan Mountassir authored at least 36 papers between 1989 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

SysML model-driven approach to verify blocks compatibility.

Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir

Int. J. Comput. Aided Eng. Technol., 2019

2018

Component Design and Adaptation Based on Behavioral Contracts.

Samir Chouali, Sebti Mouelhi, Hassan Mountassir

Proceedings of the New Trends in Model and Data Engineering, 2018

2017

Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers.

Djamila Dahmani, Mohand Cherif Boukala, Hassan Mountassir, Samir Chouali

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016

A Model-Driven Approach to Adapt SysML Blocks.

Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir

Proceedings of the Information and Software Technologies - 22nd International Conference, 2016

2015

SysML Blocks Adaptation.

Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir

Proceedings of the Formal Methods and Software Engineering, 2015

Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems.

Sebti Mouelhi, Khalid Agrou, Samir Chouali, Hassan Mountassir

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML.

Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, 2015

2014

An Approach based on SysML and SystemC to Simulate Complex Systems.

Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

A Formal Modeling Approach for Emergency Crisis Response in Health during Catastrophic Situation.

Mohammed Ouzzif, Marouane Hamdani, Hassan Mountassir, Mohammed Erradi

Proceedings of the Information Systems for Crisis Response and Management in Mediterranean Countries, 2014

A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation.

Djaouida Dahmani, Mohand Cherif Boukala, Hassan Mountassir

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption.

Ahmed Hammad, Hassan Mountassir, Samir Chouali

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Incremental Modeling of System Architecture Satisfying SysML Functional Requirements.

Oscar Carrillo, Samir Chouali, Hassan Mountassir

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Specifying System Architecture from SysML Requirements and Component Interfaces.

Samir Chouali, Oscar Carrillo, Hassan Mountassir

Proceedings of the Software Architecture - 7th European Conference, 2013

An approach combining SysML and modelica for modelling and validate wireless sensor networks.

Ahmed Hammad, Hassan Mountassir, Samir Chouali

Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, 2013

2012

Adaptation sémantique des protocoles des composants par les automates d'interface.

Samir Chouali, Sebti Mouelhi, Hassan Mountassir

Tech. Sci. Informatiques, 2012

Formalizing and verifying compatibility and consistency of SysML blocks.

Oscar Carrillo, Samir Chouali, Hassan Mountassir

ACM SIGSOFT Softw. Eng. Notes, 2012

Assembling Components using SysML with Non-Functional Requirements.

Samir Chouali, Ahmed Hammad, Hassan Mountassir

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

2011

Incremental verification of component-based timed systems.

Jacques Julliand, Hassan Mountassir, Emilie Oudot

Int. J. Comput. Appl. Technol., 2011

2010

Adapting Component Behaviours Using Interface Automata.

Samir Chouali, Sebti Mouelhi, Hassan Mountassir

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Assembly of components based on interface automata and UML component model.

Samir Chouali, Sebti Mouelhi, Hassan Mountassir

Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

2009

Refinement of Interface Automata Strengthened by Action Semantics.

Sebti Mouelhi, Samir Chouali, Hassan Mountassir

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

Verification of Real-Time Systems: Application to the Transportation Domain.

Ahmed Hammad, Hassan Mountassir

Proceedings of the NTMS 2009, 2009

2008

An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car.

Samir Chouali, Hassan Mountassir, Sebti Mouelhi

Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008

Description of a teleconferencing floor control protocol and its implementation.

Mohammed Ouzzif, Mohammed Erradi, Hassan Mountassir

Eng. Appl. Artif. Intell., 2008

2007

Preservation of timed properties during an incremental development by components.

Jacques Julliand, Hassan Mountassir, Emilie Oudot

Proceedings of the ISoLA 2007, 2007

VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System.

Jacques Julliand, Hassan Mountassir, Emilie Oudot

Proceedings of the Formal Methods and Software Engineering, 2007

2006

Experiments in the use of τ-simulations for the components-verification of real-time systems.

Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot.

Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

On the Contribution of a tau.

Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

2000

Modular Verification for a Class of PLTL Properties.

Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

A Layered Cooperative Architecture and its Application in TeleTeaching Framework.

A. Ibriz, Mohammed Erradi, Hassan Mountassir, Michel Tréhel

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Modular Verification of Dynamic Properties for Reactive Systems.

Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir

Proceedings of the Integrated Formal Methods, 1999

1996

Decidability of a Class of Dual Communicating Finite State Machines.

Hassan Mountassir

ACM SIGOPS Oper. Syst. Rev., 1996

1995

OCAM: A Collaborative System for Multimedia Applications.

Hassan Mountassir, S. Serre

Proceedings of the Eleventh International Conference on Data Engineering, 1995

1993

A note on communicating machines with identical symmetrical and dual processes using rewriting systems.

Hassan Mountassir

Proceedings of the 1993 International Conference on Network Protocols, 1993

1989

To Correct Communicating Finite State Machines.

Hassan Mountassir

Proceedings of the Computer Trends in the 1990s, 1989