Equipe CFSC : Conception Formelle des Systèmes Complexes

L’équipe s’intéresse à la conception et à la vérification des systèmes critiques, tel que les protocoles de communication, les systèmes embarqués et les systèmes temps réel de manière particulière.

3 dernières thèses soutenues
Bouchera Maati
Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
il y a 2 ans
Imene Bensetira
Proposition d’algorithmes de distribution des espaces d’états en vue d’une vérification basée model checking : Application aux automates temporisés avec durées d’actions
il y a 6 ans
Saïd Layadi
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
il y a 7 ans
5 dernières publications
Ahmed-Chawki Chaouche; Jean-Michel Ilié; Assem Hebik; François Pêcheux
Integration of a Contextual Observation System in a Multi-Process Architecture for Autonomous Vehicles. Computing and Informatics (CAI) 42(3): 716-740 (2023)
Mohammed-Lamine Daikha; Radja Boukharrou; Ahmed-Chawki Chaouche
A Decentralized Negotiation-based Protocol for Cooperative Smart Environments. 5th Int. Conf. on Pattern Analysis and Intelligent Systems (PAIS'2023): 1-8 (2023)
Zine El Abidine Bouneb; Djamel Eddine Saidouni
Toward an IoT-Based Software-Defined Plumbing Network System With Fault Tolerance. Int. J. of Hyperconnectivity and the Internet of Things (IJHIoT) 6(1): 1-18 (2022)
Jean-Michel Ilié; Ahmed-Chawki Chaouche; François Pêcheux
A Reinforcement Learning Integrating Distributed Caches for Contextual Road Navigation. Int. J. of Ambient Computing and Intelligence (IJACI) 13(1): 1-19 (2022)
Khaoula Mahdjar; Radja Boukharrou; Ahmed-Chawki Chaouche
A Privacy Guard Mechanism for Cloud-based Home Assistants. Int. Conf. on Managing Business through Web analytics (ICMBWA'21): 295–306 (2022)