Research departments

Home > Directory > directory

Directory


Return to the list

Samir Chouali

photo

Formal Methods, software verification, component-based systems, software engineering

DISC
Group : VESONTIO
UFC - UFR STGI

  • Tel. : 06.61.59.68.38
  • Email : schouali@femto-st.fr
  • Office : 03.81.99.47.76
  • Address : Pôle Universitaire de Montbéliard 25211 MONTBELIARD cedex

Samir Chouali received a PhD degree in Computer Science from the University of Franche-Comté (France) in 2003. In 2003-2004,
he held an assistant professor position at the university of Franche-Comté. In 2004-2005, he held a post-doctoral position at
Lorraine Research Laboratory in Computer Science and its Applications (LORIA-INRIA), Nancy. Since 2005, he is an associate professor at the university of Franche-comté. He is a member of the department of computer science and complex systems (DISC) in FEMTO-ST institute. His research interests include the use of formal methods in the specification and the verification of complex systems, the development and the verification of component-based systems (CBS), and the combination between semi-formal models (UML, SysML) and formal approaches to develop reliable CBS.

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
  • 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
    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
2006
  • 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
2005
  • PLTL Partitionned Model-Checking for Reactive Systems under Fairness Assumptions
    ACM Transactions on Embedded Computing Systems (TECS) (Volume 4, Issue (2), may 2005, Pages :267--301)
    Chouali, Samir | Julliand, Jacques | Masson, Pierre-Alain | Bellegarde, Françoise
    bibtex
Category inproceedings
2017
  • Distributed Collision-free Data Aggregation Approach for Wireless Sensor Networks
    The 13th International Conference on Distributed Computing in Sensor Systems (DCOSS) / Ottawa, Canada (2017)
    Merzoug, Mohammed-Amine | Mostefaoui, Ahmed | Chouali, Samir
    bibtex
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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
2006
  • 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
2005
  • Refinement Verification of Fair Transition Systems can Contribute to PLTL Model Checking
    Third ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE'2005) / Verona, Italy (Publisher : IEEE, 2005, Pages pages 167--176)
    Bellegarde, Françoise | Chouali, Samir | Julliand, Jacques
    bibtex
2003
  • Model Checking des propriétés dynamiques sous hypothèses d'équité, exploitant le raffinement
    Actes du Congrès AFADL'03, Approches Formelles dans l'Assistance au Développement de Logiciels / Rennes, France (2003, Pages pages 277--291)
    Chouali, Samir | Julliand, Jacques
    bibtex
2002
  • Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
    2nd International Conference of B and Z Users, ZB2002 / Grenoble, France (Volume 2272, 2002, Pages pages 477--496)
    Bellegarde, Françoise | Chouali, Samir | Julliand, Jacques
    bibtex
2001
  • Comment limiter la spécification de l'équité dans les systèmes d'événements B ?
    Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels) / Nancy, France (2001, Pages pages 205--220)
    Bellegarde, Françoise | Chouali, Samir | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
Category misc
2011
  • 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
Category phdthesis
2003
  • Contribution du raffinement à la vérification de systèmes sous hypothèses d'équité
    (dec 2003, Thèse de {D}octorat)
    Chouali, Samir
    pdf | bibtex