L'institut
FEMTO-ST
Annuaire

Vous êtes ici

Hassan Mountassir

Publications de Hassan Mountassir

2019 (1)

  • article - SysML Model-Driven Approach to Verify Blocks Compatibility
    International Journal of Computer Aided Engineering and Technology (IJCAET) (Volume 11, Issue (2), 2019, Pages :206 - 231)
    Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan

2018 (1)

  • inproceedings - Component Design and Adaptation Based on Behavioral Contracts
    Presentation foRmal modEls for Mastering multifacEteD sYstems (2018) / Marrakesh, Morocco (Volume 929, Series Communications in Computer and Information Science (CCIS), 2018, Pages pages 217 - 230)
    Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
    pdf | doi | bibtex

2017 (1)

  • inproceedings - Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers
    International Workshop on Petri Nets and Software Engineering (PNSE 2017) / Zaragoza, Spain (Volume 1846, 2017, Pages pages 69 - 84)
    Dahmani, Djaouida | Boukala, Mohamed Cherif | Mountassir, Hassan | Chouali, Samir
    bibtex

2016 (2)

  • inproceedings - A Model-Driven Approach to Adapt SysML Blocks
    22nd International Conference on Information and Software Technologies (ICIST 2016) / Druskininkai, Lithuania (Publisher : Springer, Volume 639, Series Communications in Computer and Information Science (CCIS), 2016, Pages pages 255 - 268)
    Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
    pdf | doi | bibtex
  • article - 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

2015 (5)

  • inproceedings - SysML Blocks Adaptation
    17th International Conference on Formal Engineering Methods (ICFEM 2015) / Paris, France (Publisher : Springer, Volume 9407, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 417 - 433)
    Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
    doi | bibtex
  • inproceedings - Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems
    18th ACM International SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2015) / Montréal, Canada (Publisher : Association for Computing Machinery (ACM), 2015, Pages pages 49 - 58)
    Mouelhi, Sebti | Agrou, Khalid | Chouali, Samir | Mountassir, Hassan
    pdf | doi | bibtex
  • inproceedings - Exploitation de la Hiérarchie pour la Vérification de la Compatibilité entre les Blocs SysML
    9ème Conférence francophone sur les Architectures Logicielles (CAL 2015) / Hammamet, Tunisia (2015, Pages pages 99 - 118)
    Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
    pdf | bibtex
  • inproceedings - An Approach to Verify SysML Functional Requirements Using Promela/Spin
    12th International Symposium onProgramming and Systems (ISPS) / Alger, Algeria (Publisher : IEEE, 2015, Pages pages 323 - 331)
    Abdulhameed, Abbas Abdulazeez | Hammad, Ahmed | Tatibouet, Bruno | Mountassir, Hassan
    pdf | doi | bibtex
  • inproceedings - Compatibility Verification of SysML Blocks Using Hierarchical Interface Automata
    12th International Symposium on Programming and Systems (ISPS) / Alger, Algeria (Publisher : IEEE, 2015, Pages pages 313 - 322)
    Bouaziz, Hamida | Chouali, Samir | Hammad, Ahmed | Mountassir, Hassan
    pdf | doi | bibtex

2014 (6)

  • inproceedings - 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
  • inproceedings - 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, Mohamed Cherif | Mountassir, Hassan
    pdf | bibtex
  • inproceedings - 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, Mohamed Cherif | Mountassir, Hassan
    bibtex
  • inproceedings - 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
  • inproceedings - 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
  • inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 79-99)
    Carrillo Rozo, Oscar | Chouali, Samir | Mountassir, Hassan
    doi | bibtex

2013 (5)

  • inproceedings - 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
    pdf | doi | bibtex
  • inproceedings - Specifying System Architecture from SysML Requirements and Component Interfaces
    ECSA'13, European Conference on Software Architecture / Montpellier, France (Publisher : Springer, Volume 7957, Series Lecture Notes in Computer Science (LNCS), 2013, Pages pages 348--352)
    Chouali, Samir | Carrillo Rozo, Oscar | Mountassir, Hassan
    pdf | doi | bibtex
  • article - 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
  • inproceedings - 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
    pdf | doi | bibtex
  • inproceedings - 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

2012 (2)

  • article - Formalizing and Verifying Compatibility and Consistency of SysML Blocks
    ACM SIGSOFT Software Engineering Notes (Volume 37-4, aug 2012, Pages :8)
    Carrillo Rozo, Oscar | Chouali, Samir | Mountassir, Hassan
  • inproceedings - 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 (2)

  • inproceedings - 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
  • article - 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

2010 (11)

  • article - 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
  • inproceedings - 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
  • inproceedings - 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
  • inproceedings - 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
  • inproceedings - 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
  • inproceedings - 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
  • proceedings - 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
  • inproceedings - Trustworthy Assembling of Components from requirements to Specifications
    (2010)
    Mountassir, Hassan
    bibtex
  • misc - 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
  • inproceedings - An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car
    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
  • inproceedings - 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, Series RNTI, Revue des Nouvelles Technologies de l'Information, 2010, Pages pages 73--85)
    Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
    pdf | bibtex

2009 (4)

  • inproceedings - 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
    pdf | doi | bibtex
  • inproceedings - Contrats et Vérification d'assemblage des composants
    (2009)
    Mountassir, Hassan
    bibtex
  • article - 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)
    Dormoy, Julien | Kouchnarenko, Olga | Mountassir, Hassan
  • inproceedings - 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, Series Electronic Notes in Theoretical Computer Science (ENTCS), 2009, Pages pages 111 - 126)
    Mouelhi, Sebti | Chouali, Samir | Mountassir, Hassan
    pdf | doi | bibtex

2008 (3)

  • inproceedings - 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
  • inproceedings - 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, Series eWiC - electronic Workshops in Computing, 2008, Pages pages ***--***)
    Hammad, Ahmed | Mountassir, Hassan
    bibtex
  • article - Description of a teleconferencing floor control protocol and its implementation
    Engineering Applications of Artificial Intelligence (Volume 21, Issue (3), apr 2008, Pages :430 - 441)
    Ouzzif, Mohammed | Erradi, Mohammed | Mountassir, Hassan

2007 (5)

  • inproceedings - Preservation of timed properties during an incremental development by components
    ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation / Poitiers, France (Series RNTI, Revue des Nouvelles Technologies de l'Information, 2007, Pages pages 159--166)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    pdf | bibtex
  • inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 116--135)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    pdf | bibtex
  • techreport - Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development
    (nov 2007, Research Report)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • inproceedings - 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
    pdf | bibtex
  • inproceedings - 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
    pdf | bibtex

2006 (6)

  • inproceedings - 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
    pdf | bibtex
  • inproceedings - Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot
    2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (IsoLA 2006) / Paphos, Cyprus (2006, Pages pages 28 - 35)
    Al'Achhab, Mohammed | Hammad, Ahmed | Mountassir, Hassan
    doi | bibtex
  • techreport - The tool VeSTA: Verification of Simulations for Timed Automata
    (jul 2006, Technical Report)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • techreport - Experiments in the use of tau-simulations for the Verification of Timed Components
    (jul 2006, Research Report)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • inproceedings - 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
  • misc - VeSTA - Vérification de Simulations entre Automates Temporisés
    ( 2006)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex

2005 (1)

  • inproceedings - On the contribution of a tau-simulation in the incremental modeling of timed systems
    International Conference on Formal Aspects of Component Software (FACS 2005) / Macao, Macao (Publisher : Elsevier, Volume 160, 2005, Pages pages 97 - 111)
    Bellegarde, Françoise | Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    doi | bibtex