Leader
Statistics
Team 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 recent defended theses
|
Bouchera Maati
Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés
1 year 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
5 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
6 years ago
|
5 recent publications
|
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) |
|
|
Bouzenada Ahmed; Bouhamed Mohammed Mounir; Kamel Oussama; Macià Hermenegilda; Díaz Gregorio; Chaoui Allaoua
An Example of a Dynamic CPN Model to Obtain Routes in the Presence of Obstacles Detected Using Machine Learning Techniques. Modelling and Implementation of Complex Systems: 220-233 (2022) |
|
|
Khalil Mecheraoui; Irina A. Lomazova; Nabil Belala
A Petri net extension for systems of concurrent communicating agents with durable actions. J. of Parallel and Distributed Computing 155: 14-23 (2021) |