الفريق 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 أطروحات مناقشة
ايمان بن ستيرة
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
منذ سنتين
Layadi Saïd
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
منذ سنتين
Tabib Nacer
Construction distribuée d’espaces d’états en vue d’une vérification efficace des systèmes atemporels
منذ 3 سنوات
Bouneb Messaouda
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
منذ 3 سنوات
Arfi Farid
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
منذ 3 سنوات
آخر 5 منشورات
Hichem Baitiche; Mourad Bouzenada; Djamel Eddine Saidouni; Youcef Berkane; Hichem Chama
A Context-Aware Distributed Protocol for Updating BDI Agents Abilities. 5th Int. Symp. on Modelling and Implementation of Complex Systems (MISC'18): 243-256 (2019)
Sofia Kouah; Ilham Kitouni
Towards Fuzzy Partial Global Fault Diagnosis. Int. Conf. on Information Technologies (ICIT'19): 406-420 (2019)
Jean-Michel Ilié; Ahmed-Chawki Chaouche; François Pêcheux
Vers un agent intentionnel à planification contextuelle pour robot roulant autonome. Séminaire de Connaissance et Intelligence Artificielle Distribuées (CIAD) (2019)
Ilham Kitouni; Djamel Benmerzoug; Fouzi Lezzar
Smart Agricultural Enterprise System Based on Integration of Internet of Things and Agent Technology. J. of Organizational and End User Computing (JOEUC) 30(4): 64-82 (2018)
Sofia Kouah ; Ilham Kitouni
Multi-Layer Agent Based Architecture for Internet of Things Systems. J. of Information Technology Research (JITR) 11(4): 32-52 (2018)