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
Riad Matmat
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel
6 months 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
3 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
3 years ago
5 recent publications
Bouchera Maati; Djamel Eddine Saidouni
CIoTAS protocol: CloudIoT available services protocol through autonomic computing against distributed denial of services attacks. J. of Ambient Intelligence and Humanized Computing : 1-30 (2020)
Ahmed-Chawki Chaouche; Jean-Michel Ilie; Fran\ccois Pêcheux
Dealing with Failures for Execution Consistency in Context-aware Systems. 11th Int. Conf. on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN'20): 212-219 (2020)
Radja Boukharrou; Ahmed-Chawki Chaouche; Khaoula Mahdjar
Toward a Privacy Guard for Cloud-Based Home Assistants and IoT Devices. Int. Conf. on Mobile, Secure, and Programmable Networking: 177-194 (2020)
Roumeissa Khennaoui; Nabil Belala
Towards a Formal Context-Aware Workflow Model for Ambient Environment. 18th Int. Conf. on Smart Homes and Health Telematics (ICOST'20): 415-422 (2020)
Jean-Michel Ilié; Ahmed-Chawki Chaouche; François Pêcheux
E-HoA: A Distributed Layered Architecture for Context-aware Autonomous Vehicles. 11th Int. Conf. on Ambient Systems, Networks and Technologies (ANT'2020): 530-538 (2020)