L'institut

FEMTO-ST

Annuaire

Vous êtes ici

• Accueil
• Samir Chouali

Samir Chouali

Département DISC
équipe VESONTIO

UFC - UFR STGI

Courriel :

schouali [at] femto-st.fr

03.81.99.47.75

Adresse :

DISC - NUMERICA (Campus Montbéliard)

Portes du Jura
2 cours Louis Leprince Ringuet
25200 MONTBELIARD

Publications de Samir Chouali

Voir toutes les publications (36)2022 (1)2020 (2)2019 (2)2018 (2)2017 (4)2016 (2)2015 (4)2014 (2)2013 (4)2012 (2)2011 (3)2010 (5)2009 (1)2006 (2)

2022 (1)

• inproceedings - Model Driven Approach to Design an Automotive CPS with SysReo Language
  20th ACM International Symposium on Mobility Management and Wireless Access (MobiWAC 2022) / Montréal, Canada (2022, Pages pages 97 - 104)
  Tannoury, Perla | Chouali, Samir | Hammad, Ahmed
  
  doi | bibtex@inproceedings{987bf92c-b7c7-4b75-a996-67ac90962c85, title = {Model Driven Approach to Design an Automotive CPS with SysReo Language}, author = {Tannoury, Perla and Chouali, Samir and Hammad, Ahmed}, year = {2022}, address = {Montr\'eal, Canada}, booktitle = {20th ACM International Symposium on Mobility Management and Wireless Access (MobiWAC 2022)}, editor = {987bf92c-b7c7-4b75-a996-67ac90962c85-editor.pdf}, month = {oct}, pages = {97 - 104}, doi = {https://doi.org/10.1145/3551660.3560916}, journal = {Communications of the ACM} }

2020 (2)

• article - Formal Verification and Performance Analysis of a Data Exchange Protocol for Connected Vehicles
  IEEE Transactions on Vehicular Technology (Volume 69, Issue (12), nov 2020, Pages :15385 - 15397)
  Chouali, Samir | Boukerche, Azzedine | Mostefaoui, Ahmed | Merzoug, Mohammed-Amine
  
  doi
• phdthesis - Contributions to the rigorous design of component-based systems using SysML models and formal approaches
  (jul 2020)
  Chouali, Samir
  
  pdf | bibtex@phdthesis{2ab58fea-f43d-41d5-907e-c3a324bd1364, title = {Contributions to the rigorous design of component-based systems using SysML models and formal approaches}, author = {Chouali, Samir}, year = {2020}, month = {jul}, url = {https://publiweb.femto-st.fr/tntnet/entries/16951/documents/author/data} }

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

2018 (2)

• 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@inproceedings{a456734c-1220-416a-ac7c-7a2a7c530351, title = {Component Design and Adaptation Based on Behavioral Contracts}, author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan}, year = {2018}, address = {Marrakesh, Morocco}, booktitle = {Presentation foRmal modEls for Mastering multifacEteD sYstems (2018)}, month = {oct}, pages = {217 - 230}, url = {https://publiweb.femto_st-st.fr/tntnet/entries/15142/documents/author/data}, volume = {929}, doi = {10.1007/978-3-030-02852-7_19}, series = {Communications in Computer and Information Science (CCIS)} }
• 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@inproceedings{122af1f5-6677-4d48-8669-be05ff86b0cd, title = {Compiling Protocols to Promela and Verifying their LTL Properties}, author = {Lion, Benjamin and Chouali, Samir and Arbab, Farhad}, year = {2018}, address = {Copenhagen, Denmark}, booktitle = {5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (2018)}, month = {oct}, pages = {31 - 39}, url = {https://publiweb.femto_st-st.fr/tntnet/entries/15144/documents/author/data}, volume = {2245}, journal = {CEUR workshop proceedings} }

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{ca5ceb8c-436d-4bc0-a3d7-09a080b1c2aa, title = {Ensuring the Reliability of an Autonomous Vehicle: a Formal Approach based on Component Interaction Protocols}, author = {Chouali, Samir and Boukerche, Azzedine and Mostefaoui, Ahmed}, year = {2017}, address = {Miami Beach, United States}, booktitle = {20th International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2017)}, month = {nov}, pages = {317 - 321}, doi = {10.1145/3127540.3127581}, organization = {Association for Computing Machinery (ACM)} }
• 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{946691a9-188c-4954-aa16-d8cdbd17261f, title = {Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles}, author = {Chouali, Samir and Boukerche, Azzedine and Mostefaoui, Ahmed}, year = {2017}, address = {Miami, FL, United States}, booktitle = {15th International Symposium on Mobility Management and Wireless Access (MobiWAC 2017)}, month = {nov}, pages = {129 - 136}, doi = {10.1145/3132062.3132079}, organization = {Association for Computing Machinery (ACM)} }
• 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{d2b13d90-0ce6-413b-8bc2-a7de3f329ca3, title = {Distributed Collision-free Data Aggregation Approach for Wireless Sensor Networks}, author = {Merzoug, Mohammed-Amine and Mostefaoui, Ahmed and Chouali, Samir}, year = {2017}, address = {Ottawa, Canada}, booktitle = {13th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 2017)}, month = {jun}, pages = {175 - 182}, url = {https://publiweb.femto_st-st.fr/tntnet/entries/13900/documents/author/data}, organization = {IEEE} }
• 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@inproceedings{545ab13b-6900-4095-9d49-ef4cce8b5d98, title = {Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers}, author = {Dahmani, Djaouida and Boukala, Mohamed Cherif and Mountassir, Hassan and Chouali, Samir}, year = {2017}, address = {Zaragoza, Spain}, booktitle = {International Workshop on Petri Nets and Software Engineering (PNSE 2017)}, month = {jun}, pages = {69 - 84}, volume = {1846} }

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@inproceedings{6ddc9a34-5cf5-4284-841a-ccac310ebce0, title = {A Model-Driven Approach to Adapt SysML Blocks}, author = {Bouaziz, Hamida and Chouali, Samir and Hammad, Ahmed and Mountassir, Hassan}, year = {2016}, address = {Druskininkai, Lithuania}, booktitle = {22nd International Conference on Information and Software Technologies (ICIST 2016)}, month = {oct}, pages = {255 - 268}, url = {https://publiweb.femto_st-st.fr/tntnet/entries/13724/documents/author/data}, volume = {639}, doi = {10.1007/978-3-319-46254-7_21}, publisher = {Springer}, series = {Communications in Computer and Information Science (CCIS)} }
• 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 (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{bchm15b:ip, title = {SysML Blocks Adaptation}, author = {Bouaziz, Hamida and Chouali, Samir and Hammad, Ahmed and Mountassir, Hassan}, year = {2015}, address = {Paris, France}, booktitle = {17th International Conference on Formal Engineering Methods (ICFEM 2015)}, editor = {Michael Butler, Sylvain Conchon, Fatiha Za\"idi }, month = {nov}, pages = {417 - 433}, volume = {9407}, doi = {10.1007/978-3-319-25423-4_27}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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{macm15:ip, title = {Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems}, author = {Mouelhi, Sebti and Agrou, Khalid and Chouali, Samir and Mountassir, Hassan}, year = {2015}, address = {Montr\'eal, Canada}, booktitle = {18th ACM International SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2015)}, editor = {macm15:ip-editor.pdf}, month = {may}, pages = {49 - 58}, url = {http://dx.doi.org/10.1145/2737166.2737171}, doi = {10.1145/2737166.2737171}, publisher = {Association for Computing Machinery (ACM)} }
• 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{bchm15:np, title = {Exploitation de la Hi\'erarchie pour la V\'erification de la Compatibilit\'e entre les Blocs SysML}, author = {Bouaziz, Hamida and Chouali, Samir and Hammad, Ahmed and Mountassir, Hassan}, year = {2015}, address = {Hammamet, Tunisia}, booktitle = {9\`eme Conf\'erence francophone sur les Architectures Logicielles (CAL 2015)}, month = {may}, pages = {99 - 118}, url = {https://publiweb.femto_st-st.fr/tntnet/entries/11895/documents/author/data} }
• 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@inproceedings{bchm15:ip, title = {Compatibility Verification of SysML Blocks Using Hierarchical Interface Automata}, author = {Bouaziz, Hamida and Chouali, Samir and Hammad, Ahmed and Mountassir, Hassan}, year = {2015}, address = {Alger, Algeria}, booktitle = {12th International Symposium on Programming and Systems (ISPS)}, month = {apr}, pages = {313 - 322}, url = {*}, doi = {10.1109/ISPS.2015.7245002}, publisher = {IEEE} }

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{ccm14:onp, title = {Mod\'elisation incr\'ementale d'une Architecture de Syst\`eme Satisfaisant des Exigences Fonctionnelles}, author = {Carrillo Rozo, Oscar and Chouali, Samir and Mountassir, Hassan}, year = {2014}, address = {Paris, France}, booktitle = {CAL 2014, 8\`eme conf\'erence francophone sur les architectures logicielles}, month = {jun} }
• 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@inproceedings{ccm14:ip, title = {Incremental Modeling of System Architecture Satisfying SysML Functional Requirements}, author = {Carrillo Rozo, Oscar and Chouali, Samir and Mountassir, Hassan}, year = {2014}, address = {Nanchang, China}, booktitle = {FACS 2013, The 10th Int. Symposium on Formal Aspects of Component Software}, editor = {Jos\'e Luiz Fiadeiro and Zhiming Liu and Jinyun Xue}, pages = {79-99}, volume = {8348}, doi = {10.1007/978-3-319-07602-7_7}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

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{hmc13:ip, title = {An approach combining SysML and modelica for modelling and validate wireless sensor networks}, author = {Hammad, Ahmed and Mountassir, Hassan and Chouali, Samir}, year = {2013}, address = {Montpellier, France}, booktitle = {SESoS'13, 1st Int. Workshop on Software Engineering for Systems-of-Systems}, month = {jul}, pages = {5--12}, url = {http://dx.doi.org/10.1145/2489850.2489852}, doi = {10.1145/2489850.2489852}, publisher = {Association for Computing Machinery (ACM)} }
• 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@inproceedings{ccm13:oip, title = {Specifying System Architecture from SysML Requirements and Component Interfaces}, author = {Chouali, Samir and Carrillo Rozo, Oscar and Mountassir, Hassan}, year = {2013}, address = {Montpellier, France}, booktitle = {ECSA'13, European Conference on Software Architecture}, editor = {Drira, Khalil}, month = {jul}, pages = {348--352}, url = {http://dx.doi.org/10.1007/978-3-642-39031-9_36}, volume = {7957}, doi = {10.1007/978-3-642-39031-9_36}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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
• 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@inproceedings{hmc13:oip, title = {Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption}, author = {Hammad, Ahmed and Mountassir, Hassan and Chouali, Samir}, year = {2013}, address = {Barcelona, Spain}, booktitle = {MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development}, month = {feb}, pages = {198--201} }

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
• 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@inproceedings{ccm12:np, title = {V\'erification de la consistance et de la compatibilit\'e entre blocs SysML}, author = {Carrillo, Oscar and Chouali, Samir and Mountassir, Hassan}, year = {2012}, address = {Montpellier, France}, booktitle = {CAL 2012, 6\`eme conf\'erence francophone sur les architectures logicielles}, month = {may}, pages = {***--***} }

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
• 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@inproceedings{mcm11:ip, title = {Invariant Preservation by Component Composition Using Semantical Interface Automata}, author = {Mouelhi, Sebti and Chouali, Samir and Mountassir, Hassan}, year = {2011}, address = {Barcelona, Spain}, booktitle = {ICSEA 2011, 6-th Int. Conf. on Software Engineering Advances}, month = {oct}, pages = {305--311} }
• 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@misc{ch11:ip, title = {Formal verification of components assembly based on SysML and interface automata}, author = {Chouali, Samir and Hammad, Ahmed}, year = {2011}, address = {Limerick, Ireland}, booktitle = {4th IEEE International workshop UML and Formal Methods (FM 2011)}, month = {jun} }

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
  
• 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{cmm10:ip, title = {Adapting Components Behaviours using Interface Automata}, author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan}, year = {2010}, address = {Lille, France}, booktitle = {SEAA'10, 36th Euromicro Conference on Software Engineering and Advanced Applications}, month = {sep}, pages = {119-122}, url = {https://publiweb.femto_st-st.fr/tntnet/entries/264/documents/author/data}, doi = {10.1109/SEAA.2010.34} }
• 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{cmm10b:ip, title = {Adapting Components using Interface Automata strengthened by Action Semantics}, author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan}, year = {2010}, address = {Paris, France}, booktitle = {FoVeoos 2010, int. conf. on Formal Verification of Object-oriented software}, month = {jun}, pages = {7--21} }
• 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{cmm10b:np, title = {Adaptation des Protocoles des Composants par les Automates d'Interface}, author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan}, year = {2010}, address = {Poitiers, France}, booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jun}, pages = {253 - 266}, url = {https://publiweb.femto_st-st.fr/tntnet/entries/425/documents/author/data} }
• 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@inproceedings{cmm10:np, title = {Assembly of components based on interface automata and UML component model}, author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan}, year = {2010}, address = {Pau, France}, booktitle = {CAL'10, 4e Conf. Francophone sur les Architectures Logicielles}, editor = {Drira, Khalil}, month = {mar}, pages = {73--85}, url = {https://publiweb.femto_st-st.fr/tntnet/entries/673/documents/author/data}, volume = {RNTI-L-5}, series = {RNTI, Revue des Nouvelles Technologies de l'Information} }

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@inproceedings{mcm09:ip, title = {Refinement of Interface Automata Strengthened by Action Semantics}, author = {Mouelhi, Sebti and Chouali, Samir and Mountassir, Hassan}, year = {2009}, address = {York, United Kingdom}, booktitle = {Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA 2009)}, month = {oct}, number = {1}, pages = {111 - 126}, url = {https://publiweb.femto_st-st.fr/tntnet/entries/247/documents/author/data}, volume = {253}, doi = {10.1016/j.entcs.2009.09.031}, series = {Electronic Notes in Theoretical Computer Science (ENTCS)} }

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
  
  pdf | bibtex@inproceedings{chouali06:ip, title = {Cooperation between the B method and the automata theory to check the component interoperability}, author = {Chouali, Samir}, year = {2006}, address = {Prague, Czech Republic}, booktitle = {FACS'2006, 3rd Int. Workshop on Formal Aspects of Components Software}, month = {sep}, pages = {211--227}, url = {https://publiweb.femto_st-st.fr/tntnet/entries/154/documents/author/data} }
• article - Proving Component Interoperability with B Refinement
  Electronic Notes in Theoretical Computer Science (ENTCS) (Volume 160, aug 2006, Pages :157 - 172)
  Chouali, Samir | Heisel, Maritta | Souquières, Jeanine
  
  pdf | doi