Hassan Mountassir

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