Leader
Statistics
TeamCFSC :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 recent defended theses
|
Bouchera Maati
Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés 2 years ago
|
|
|
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 6 years ago
|
|
|
Saïd Layadi
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes 7 years ago
|
5 recent 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) |
|
|
Roumeissa Khennaoui; Nabil Belala
A Context-Aware Workflow Model With Time Management. Int. J. of Informatics and Applied Mathematics 6(2): 1-7 (2023) |
|
|
Selsabil Ines Bouhidel; Nabil Belala
Unleashing the Power of Process Mining for Discovering and Analyzing Ad Hoc Networks. 2023 Int. Conf. on Networking and Advanced Systems (ICNAS) (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) |