Research departments

Home > Research > AS2M > Presentation > directory

AS2M directory


Return to the list

Hassan Mountassir

Mountassir

Génie logiciel

DISC
Group : VESONTIO
UFC - UFR ST

Thèmes de recherche:
- Modélisation des systèmes complexes
- Composants et architecture logicielle
- Vérification des propriétés temporelles
- Techniques de compatibilité et d'adaptation

Thèses en cours:
- Abbas Abdulazeez
- Oscar Carrillo
- Hamida Bouaziz

Projet en cours:
- PHC Tassili, 2012-2016

You can find here my publication list. If you want to obtain a copy of one of them and you can not obtain it otherwise, please contact me

Publication list :

Category article
2017
  • SysML Model-Driven Approach to Verify Blocks Compatibility
    International Journal of Computer Aided Engineering and Technology (IJCAET) (Volume A venir, 2017, Pages :A venir)
    Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
    pdf | doi | bibtex
2016
  • Exploitation de la Hiérarchie pour la Véification de la Compatibilité des Blocs SysML
    Revue des Nouvelles Technologies de l'Information (Volume RNTI-L, Issue (8), 2016, Pages :99-118)
    Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
    bibtex
2013
  • Assembling Components using SysML with Non-Functional Requirements
    Electronic Notes in Theoretical Computer Science (ENTCS) (Volume 295, may 2013, Pages :31 - 47)
    Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
    pdf | doi | bibtex
2012
  • Adaptation sémantique des protocoles des composants par les automates d'interface
    Technique et Science Informatiques (TSI) (Volume 31, Issue (6), 2012, Pages :769 - 796)
    Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
    doi | bibtex
  • Formalizing and Verifying Compatibility and Consistency of SysML Blocks
    ACM SIGSOFT Software Engineering Notes (Volume 37-4, aug 2012, Pages :(8 pages))
    Carrillo Rozo, oscar | Chouali, Samir | Mountassir, Hassan
    pdf | doi | bibtex
2011
  • Incremental Verification of Component-Based Timed Systems
    International Journal of Computer Applications in Technology (Volume 42, Issue (2-3), 2011, Pages :159 - 176)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    pdf | doi | bibtex
2010
  • Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles
    Génie Logiciel (Volume 95, dec 2010, Pages :13--18)
    Chouali, Samir | Dormoy, Julien | Hammad, Ahmed | Hufflen, Jean-Michel | Mouelhi, Sebti | Kouchnarenko, Olga | Mountassir, Hassan | Tatibouet, Bruno
    bibtex
2009
  • Politiques d'adaptation pour la reconfiguration du composant de localisation
    Journal européen des systèmes automatisés (JESA) (Volume 43, Issue (7-8-9), nov 2009, Pages :773 - 789)
    Mountassir, Hassan | Kouchnarenko, Olga | Dormoy, Julien
    pdf | bibtex
2008
  • Description of a teleconferencing floor control protocol and its implementation
    Engineering Applications of Artificial Intelligence (Volume 21, Issue (3), apr 2008, Pages :430 - 441)
    Mountassir, Hassan | Ouzzif, Mohammed | Erradi, Mohammed
    pdf | doi | bibtex
2005
  • Vérification de systèmes hiérarchiques par raffinement
    Journal européen des systèmes automatisés (JESA) (Volume 39, Issue (1-3), oct 2005, Pages :239 - 254)
    Al'Achhab, Mohammed | Hammad, Ahmed | Mountassir, Hassan
    doi | bibtex
2001
  • Vérification par model-checking modulaire des propriétés dynamiques introduites en B
    Technique et Science Informatiques (TSI) (Volume 20, Issue (7), 2001, Pages :927--957)
    Julliand, Jacques | Masson, Pierre-Alain | Mountassir, Hassan
    bibtex
Category inproceedings
2016
  • A Model-Driven Approach to Adapt SysML Blocks
    Information and Software Technologies / Druskininkai, Lithuania (Publisher : Springer, Volume 639, 2016, Pages pages 255 - 268)
    Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
    pdf | doi | bibtex
2015
  • Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems
    Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'15) / Montreal, Canada (Publisher : Association for Computing Machinery (ACM), 2015, Pages pages 49 - 58)
    Mouelhi, Sebti | Agrou, Khalid | Chouali, Samir | Mountassir, Hassan
    doi | bibtex
  • An Approach to Verify SysML Functional Requirements Using Promela/Spin
    2015 12th International Symposium onProgramming and Systems (ISPS) / Algiers, Algeria (Publisher : IEEE, 2015, Pages pages 323 - 331)
    Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Tatibouet, Bruno | Mountassir, Hassan
    doi | bibtex
  • Compatibility Verification of SysML Blocks Using Hierarchical Interface Automata
    2015 12th International Symposium on Programming and Systems (ISPS) / Algiers, Algeria (Publisher : IEEE, 2015, Pages pages 313 - 322)
    Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
    doi | bibtex
  • SysML Blocks Adaptation
    Formal Methods and Software Engineering / Paris, France (Publisher : Springer, Volume 9407, 2015, Pages pages 417 - 433)
    Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
    doi | bibtex
  • Exploitation de la Hiérarchie pour la Vérification de la Compatibilité entre les Blocs SysML
    CAL 2015, 9ème conférence francophone sur les architectures logicielles / Hammamet, Tunisia (2015)
    Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
    pdf | bibtex
2014
  • Incremental Modeling of System Architecture Satisfying SysML Functional Requirements
    FACS 2013, The 10th Int. Symposium on Formal Aspects of Component Software / Nanchang, China (Publisher : Springer, Volume 8348, 2014, Pages pages 79-99)
    Carrillo Rozo, oscar | Chouali, Samir | Mountassir, Hassan
    doi | bibtex
  • An Approach based on SysML and SystemC to Simulate Complex Systems
    MODELSWARD 2014, 2nd Int. Conf. on Model-Driven Engineering and Software Development / Lisbon, Portugal (2014, Pages pages 555--560)
    Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Mountassir, Hassan | Tatibouet, Bruno
    bibtex
  • An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal
    CAL 2014, 8ème conférence francophone sur les architectures logicielles / Paris, France (2014, Pages pages 9 pages)
    Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Mountassir, Hassan | Tatibouet, Bruno
    pdf | bibtex
  • Reusing and Adapting components using Petri Nets with Synchronous Transitions
    PNSE'14, A satellite event of Petri Nets 2014, 35th Int. Conf. on Application and Theory of Petri Nets and Concurrency and ACSD 2014, 14th Int. Conf. on Application of Concurrency to System Design / Tunis, Tunisia (2014, Pages pages 129--141)
    Dahmani, Djaouida | Boukala, Mohand Cherif | Mountassir, Hassan
    bibtex
  • Reusing and Adapting Components using atomic and non-atomic Strong Synchronisations
    CAL 2014, 8ème conférence francophone sur les architectures logicielles / Paris, France (2014)
    Dahmani, Djaouida | Boukala, Mohand Cherif | Mountassir, Hassan
    bibtex
  • Modélisation incrémentale d'une Architecture de Système Satisfaisant des Exigences Fonctionnelles
    CAL 2014, 8ème conférence francophone sur les architectures logicielles / Paris, France (2014)
    Carrillo Rozo, oscar | Chouali, Samir | Mountassir, Hassan
    bibtex
2013
  • Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption
    MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development / Barcelona, Spain (2013, Pages pages 198--201)
    Hammad, Ahmed | Mountassir, Hassan | Chouali, Samir
    bibtex
  • An approach combining SysML and modelica for modelling and validate wireless sensor networks
    SESoS'13, 1st Int. Workshop on Software Engineering for Systems-of-Systems / Montpellier, France (Publisher : Association for Computing Machinery (ACM), 2013, Pages pages 5--12)
    Hammad, Ahmed | Mountassir, Hassan | Chouali, Samir
    doi | bibtex
  • Mapping SysML to modelica to validate wireless sensor networks non-functional requirements
    ISPS'13, 11th Int. Symposium on Programming and Systems / Algiers, Algeria (2013, Pages pages 177--186)
    Berrani, S. | Hammad, Ahmed | Mountassir, Hassan
    doi | bibtex
  • Specifying System Architecture from SysML Requirements and Component Interfaces
    ECSA'13, European Conference on Software Architecture / Montpellier, France (Publisher : Springer, Volume 7957, 2013, Pages pages 348--352)
    Chouali, Samir | Carrillo Rozo, oscar | Mountassir, Hassan
    doi | bibtex
2012
  • Vérification de la consistance et de la compatibilité entre blocs SysML
    CAL 2012, 6ème conférence francophone sur les architectures logicielles / Montpellier, France (2012, Pages pages ***--***)
    Carrillo Rozo, oscar | Chouali, Samir | Mountassir, Hassan
    bibtex
2011
  • Invariant Preservation by Component Composition Using Semantical Interface Automata
    ICSEA 2011, 6-th Int. Conf. on Software Engineering Advances / Barcelona, Spain (2011, Pages pages 305--311)
    Mouelhi, Sebti | Chouali, Samir | Mountassir, Hassan
    bibtex
2010
  • Adapting Components Behaviours using Interface Automata
    SEAA'10, 36th Euromicro Conference on Software Engineering and Advanced Applications / Lille, France (2010, Pages pages 119-122)
    Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
    pdf | doi | bibtex
  • Efficient model checking with UML and specification patterns
    ICWIT'10, the 3rd Int. Conf. on Web and Information Technologies / Marrakech, Morocco (2010, Pages pages 55--67)
    Abdelkader, Bouamari | Mostefai, Mohammed | Mountassir, Hassan | Hammad, Ahmed
    bibtex
  • Adapting Components using Interface Automata strengthened by Action Semantics
    FoVeoos 2010, int. conf. on Formal Verification of Object-oriented software / Paris, France (2010, Pages pages 7--21)
    Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
    bibtex
  • Adaptation des Protocoles des Composants par les Automates d'Interface
    AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Poitiers, France (2010, Pages pages 253 - 266)
    Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
    pdf | bibtex
  • Architecture Formalisée d'une Application Collaborative. Cas d'une Situation d'Urgence en Neurologie
    AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Poitiers, France (2010, Pages pages 249--252)
    Edaoudi, Rajaa | Hamdani, Marouane | Bouragba, Khalid | Ouzzif, Mohammed | Mountassir, Hassan | Erradi, Mohammed
    pdf | bibtex
  • An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car
    Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2008) / Budapest, Hungary (Publisher : Elsevier, Volume 238, Issue 6, 2010, Pages pages 3 - 13)
    Chouali, Samir | Mountassir, Hassan | Mouelhi, Sebti
    pdf | doi | bibtex
  • Assembly of components based on interface automata and UML component model
    CAL'10, 4e Conf. Francophone sur les Architectures Logicielles / Pau, France (Volume RNTI-L-5, 2010, Pages pages 73--85)
    Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
    pdf | bibtex
2009
  • Verification of real time systems: application to the transportation domain
    SCLP'09, 2nd Int. Workshop on Service computing, Context-aware, Location-aware and Positioning techniques, joint to NTMS'09 / Cairo, Egypt (2009, Pages pages 719--727)
    Hammad, Ahmed | Mountassir, Hassan
    doi | bibtex
  • Refinement of Interface Automata Strengthened by Action Semantics
    Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA 2009) / York, United Kingdom (Volume 253, Issue 1, 2009, Pages pages 111 - 126)
    Mouelhi, Sebti | Chouali, Samir | Mountassir, Hassan
    pdf | doi | bibtex
2008
  • Using the profile UML4SoC for modeling a smart surface
    ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology / Hammamet, Tunisia (2008)
    Hammad, Ahmed | Mountassir, Hassan | Tatibouet, Bruno
    bibtex
  • Heuristics to verify LTL properties of hierarchical systems
    VECoS'2008, 2nd Int. Workshop on Verification and Evaluation of Computer and Communication Systems / Leeds, United Kingdom (Publisher : JIAS, Journal of Information Assurance and Security, 2008, Pages pages ***--***)
    Hammad, Ahmed | Mountassir, Hassan
    bibtex
2007
  • VeSTA : a Tool to Verify the Correct Integration of a Component in a Composite Timed System
    ICFEM'07, the 9th Int. Conf. on Formal Engineering Methods / Boca Raton, Florida, United States (Volume 4789, 2007, Pages pages 116--135)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • Spécification et Validation d'un Contrôleur de Performances Sportives
    E-Medisys 07, int. conf. on E-Medical Systems / Fez, Morocco (2007, Pages pages 173--178)
    Hammad, Ahmed | Mountassir, Hassan | Al'Achhab, Mohammed
    bibtex
  • VeSTA : Vérification de la préservation des propriétés d'un composant lors de son intégration dans un système temporisé
    AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels - Session Outils / Namur, Belgium (2007, Pages pages 289--290)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • Preservation of timed properties during an incremental development by components
    ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation / Poitiers, France (2007, Pages pages 159--166)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
2006
  • Experiments in the use of tau-simulations for the components-verification of real-time systems
    SAVCBS'06, Specification and Verification of Component-Based Systems / Portland, Oregon, United States (2006, Pages pages 33--40)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot
    ISoLA 2006, 2nd Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation / Paphos, Cyprus (2006, Pages pages 19--26)
    Hammad, Ahmed | Mountassir, Hassan | Al'Achhab, Mohammed
    bibtex
  • Spécifications hiérarchiques et vérification des propriétés sous hypothèses d'équité
    6ème Conf. Francophone de Modélisation et Simulation, MOSIM'06 / Rabat, Morocco (2006)
    Hammad, Ahmed | Mountassir, Hassan | Al'Achhab, Mohammed
    bibtex
2005
  • On the contribution of a tau-simulation in the incremental modeling of timed systems
    FACS'05, 2nd Int. Workshop on Formal Aspects of Components Software / Macao, Macao (Publisher : Elsevier, Volume 160, 2005, Pages pages 97--111)
    Bellegarde, Françoise | Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • Exploitation du raffinement pour vérifier les modèles hiérarchiques
    Actes du RJCITR'05, 1ère Rencontres des Jeunes Chercheurs en Informatique Temps Réel / Nancy, France (2005)
    Al'Achhab, Mohammed | Hammad, Ahmed | Mountassir, Hassan
    bibtex
2004
  • Conception et vérification de systèmes temps réel par raffinement
    12th Conf. on Real Time and Embedded Systems, RTS EMBEDDED SYSTEMS'04 / Paris, France (2004, Pages pages 85--99)
    Hammad, Ahmed | Julliand, Jacques | Mountassir, Hassan | Al'Achhab, Mohammed
    bibtex
  • Préservation de propriétés MITL par raffinement temporisé
    Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04 / Besançon, France (2004, Pages pages 207--221)
    Hammad, Ahmed | Mountassir, Hassan | Oudot, Emilie
    bibtex
2003
  • Expression en B et raffinement des systèmes réactifs temps réel
    Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'03 / Rennes, France (2003, Pages pages 211--225)
    Hammad, Ahmed | Julliand, Jacques | Mountassir, Hassan | Okalas, D.
    bibtex
2000
  • Modular verification for a class of PLTL properties
    2nd Int. Conf. on Integrated Formal Methods, IFM'2000 / Dagstuhl, Saarland, Germany (Publisher : Springer, Volume 1945, 2000, Pages pages 398--419)
    Masson, Pierre-Alain | Mountassir, Hassan | Julliand, Jacques
    bibtex
  • Coopération entre Preuve et Model-Checking pour vérifier des propriétés LTL
    Actes du congrès AFADL'2000 / Grenoble, France (2000, Pages pages 127--141)
    Mountassir, Hassan | Bellegarde, Françoise | Julliand, Jacques | Masson, Pierre-Alain
    bibtex
1999
  • Modular verification of dynamic properties for reactive systems
    International Workshop on Integrated Formal Methods, IFM'99 / York, Grande-Bretagne (1999, Pages pages 89--108)
    Julliand, Jacques | Masson, Pierre-Alain | Mountassir, Hassan
    bibtex
  • A Layered Cooperative Architecture and its Application in Teleteaching Framework
    Special Session on Coordination in Parallel and Distributed Applications and Activities: PDPTA'99 / Las Vegas, United States (1999, Pages pages 1516--1522)
    Ibriz, A. | Erradi, Mohammed | Mountassir, Hassan | Tréhel, Michel
    bibtex
  • Model-Based Verification through Refinement of Finite B Event Systems
    Formal Methods'99 B User Group Meeting / Toulouse, France (Publisher : Springer, 1999)
    Bellegarde, Françoise | Julliand, Jacques | Mountassir, Hassan
    bibtex
Category misc
2010
  • Trustworthy Assembling of Components from requirements to Specifications
    Tutoriel invité, Workshop NEPTUNE (Nice Environment with a Process and Tools Using Norms and Examples), Toulouse (may 2010)
    Mountassir, Hassan
    bibtex
  • Tacos : de l'expression des besoins aux spécifications formelles
    7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France (may 2010)
    Mountassir, Hassan
    bibtex
2009
  • Contrats et Vérification d'assemblage des composants
    séminaire invité, ENSIAS, Rabat (dec 2009)
    Mountassir, Hassan
    bibtex
2006
  • VeSTA - Vérification de Simulations entre Automates Temporisés
    ( 2006)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
Category proceedings
2010
  • ICWIT 2010, 3-rd Int. Conf. on Web and Information Technologies
    / Marrakech, Morocco (Editor : Abdelwahed, El Hassan and Mountassir, Hassan, jun 2010)
    Mountassir, Hassan | El Hassan, Abdelwahed
    bibtex
Category techreport
2007
  • Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development
    (nov 2007, Research Report, Number RR2007-01)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
2006
  • The tool VeSTA: Verification of Simulations for Timed Automata
    (jul 2006, Technical Report, Number RT2006-01)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • Experiments in the use of tau-simulations for the Verification of Timed Components
    (jul 2006, Research Report, Number RR2006-04)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
2004
  • Refinement of Hierarchical Systems
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (apr 2004, Research Report, Number RR2004-03)
    Al'Achhab, Mohammed | Hammad, Ahmed | Mountassir, Hassan
    bibtex
  • Implementing Hierarchical automata in Promela/Spin
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (apr 2004, Technical Report, Number RT2004-03)
    Al'Achhab, Mohammed | Cristiano, K. | Hammad, Ahmed | Mountassir, Hassan
    bibtex
Category unpublished
1999
  • Vérification modulaire des propriétés dynamiques introduites en B (dec 1999)
    Julliand, Jacques | Masson, Pierre-Alain | Mountassir, Hassan
    bibtex