Départements de recherche

Accueil > Annuaire > annuaire

Annuaire


Retour à la liste

Samir Chouali

ma photo

Informatique, méthodes formelles, systèmes à base de composants, génie logiciel

DISC
Equipe : VESONTIO
UFC - UFR STGI

  • Tél. : 06.61.59.68.38
  • Courriel : schouali@femto-st.fr
  • Bureau : 03.81.99.47.76
  • Adresse : Pôle Universitaire de Montbéliard 25211 MONTBELIARD cedex

2000-2003 : Thèse en Informatique "Contribution du raffinement à la vérification des systèmes sous hypothèses d'équité", encadrée par Pr Françoise Bellegarde et Pr Jacques Julliand, UFC

2003-2004 : ATER informatique, UFR ST, UFC

2004-2005 : Post-Doc laboratoire LORIA, Nancy

2005 : Maître de conférences en informatique, UFR STGI, UFC

2005-2006 : Directeur des études, IUP2 Produits et services Multimédias (PSM), département Multimédia et Informatique, UFR STGI, UFC

2006-2012 : Responsable Master 1 PSM, département Multimédia et Informatique, UFR STGI, UFC

2015- : Responsable des projets de fin d'études (PFE) Master 2 PSM, département Multimédia et Informatique, UFR STGI, UFC

Vous trouverez ici la liste de mes publications. Si vous êtes intéressés par l'une d'entre elles, et ne pouvez pas en obtenir une copie, n'hésitez pas à me contacter

Listes des publications :

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