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.

5 dernières thèses
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
منذ 11 شهر
Saïd Layadi
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
منذ سنة
Nacer Tabib
Construction distribuée d’espaces d’états en vue d’une vérification efficace des systèmes atemporels
منذ سنة
Messaouda Bouneb
Définition de la sémantique de maximalité pour les réseaux de Petri récursifs et la relation de bissimulation de maximalité agrégée
منذ سنتين
Farid Arfi
Définition de modèles formels pour les systèmes temporisés hétérogènes et leur application au problème d'ordonnancement de type JOB-SHOP
منذ سنتين
5 dernières publications
Radja Boukharrou; Jean-Michel Ilié; Djamel Eddine Saïdouni
Time and Space Reasoning for Ambient Systems. Int. J. of Ambient Computing and Intelligence (IJACI) 8(3): 38-57 (2017)
Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni
A timed semantics for web services composition. Int. J. of Business Process Integration and Management (IJBPIM) 8(1): 64-79 (2017)
Hichem Baitiche; Mourad Bouzenada; Djamel Eddine Saidouni
Towards A Generic Predictive-Based Plan Selection Approach for BDI Agents. 8th Int. Conf. on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN'17): 41-48 (2017)
Jean-Michel Ilié; Ahmed-Chawki Chaouche
Toward an Efficient Ambient Guidance for Transport Applications. 14th Int. Conf. on Mobile Systems and Pervasive Computing (MobiSPC'17): 190-198 (2017)
Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Eddine Djamel Saïdouni
Learning from situated experiences for a contextual planning guidance. J. of Ambient Intelligence and Humanized Computing (JAIHC) 7(4): 555-566 (2016)