الفريق 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 أطروحات مناقشة
Bensetira Imene
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
منذ سنتين
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)