The institute
FEMTO-ST
Directory

You are here

Samir Chouali

Samir Chouali's publications

2019 (2)

  • article - Spreading Aggregation: A distributed collision-free approach for data aggregation in large-scale wireless sensor networks
    Journal of Parallel and Distributed Computing (Volume 125, mar 2019, Pages :121 - 134)
    Merzoug, Mohammed-Amine | Boukerche, Azzedine | Mostefaoui, Ahmed | Chouali, Samir
    doi | bibtex
  • 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
    pdf | doi | bibtex

2018 (3)

  • 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, 2018, Pages pages 217 - 230)
    Chouali, Samir | Mouelhi, Sebti | Mountassir, Hassan
    pdf | doi | bibtex
  • inproceedings - Compiling Protocols to Promela and Verifying their LTL Properties
    5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp 2018) / Copenhagen, Denmark (2018)
    Chouali, Samir
    pdf | bibtex
  • inproceedings - Compiling Protocols to Promela and Verifying their LTL Properties
    5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (2018) / Copenhagen, Denmark (Volume 2245, 2018, Pages pages 31 - 39)
    Lion, Benjamin | Chouali, Samir | Arbab, Farhad
    pdf | bibtex

2017 (4)

  • inproceedings - Ensuring the Reliability of an Autonomous Vehicle: a Formal Approach based on Component Interaction Protocols
    20th International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2017) / Miami Beach, United States (2017, Pages pages 317 - 321)
    Chouali, Samir | Boukerche, Azzedine | Mostefaoui, Ahmed
    doi | bibtex
  • inproceedings - Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles
    15th International Symposium on Mobility Management and Wireless Access (MobiWAC 2017) / Miami, FL, United States (2017, Pages pages 129 - 136)
    Chouali, Samir | Boukerche, Azzedine | Mostefaoui, Ahmed
    doi | bibtex
  • inproceedings - Distributed Collision-free Data Aggregation Approach for Wireless Sensor Networks
    13th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 2017) / Ottawa, Canada (2017, Pages pages 175 - 182)
    Merzoug, Mohammed-Amine | Mostefaoui, Ahmed | Chouali, Samir
    pdf | bibtex
  • 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, 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
    bibtex

2015 (4)

  • 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
    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
    pdf | doi | bibtex
  • inproceedings - 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
  • 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 (2)

  • 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 - 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 (4)

  • 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
    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
    pdf | doi | bibtex
  • 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 (3)

  • article - Formal verification of components assembly based on SysML and interface automata
    Innovations in Systems and Software Engineering (Volume 7, Issue (4), dec 2011, Pages :265 - 274)
    Chouali, Samir | Hammad, Ahmed
    pdf | doi | bibtex
  • 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
  • misc - Formal verification of components assembly based on SysML and interface automata
    Presented at UML&FM 2011, the 4-th IEEE Int. Workshop on UML and Formal Methods, Limerick, Ireland. Available after revision and extension as an ISSE journal version (jun 2011)
    Chouali, Samir | Hammad, Ahmed
    bibtex

2010 (5)

  • 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
    bibtex
  • 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 - 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 - 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 (1)

  • 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

2006 (2)

  • inproceedings - Cooperation between the B method and the automata theory to check the component interoperability
    FACS'2006, 3rd Int. Workshop on Formal Aspects of Components Software / Prague, Czech Republic (2006, Pages pages 211--227)
    Chouali, Samir
    bibtex
  • article - Proving Component Interoperability with B Refinement
    Electronic Notes in Theoretical Computer Science (ENTCS) (Volume 160, aug 2006, Pages :157 - 172)
    Chouali, Samir | Heisel, M. | Souquières, J.
    pdf | doi | bibtex