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 soutenues
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
il y a 1 an
Saïd Layadi
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
il y a 2 ans
Nacer Tabib
Construction distribuée d’espaces d’états en vue d’une vérification efficace des systèmes atemporels
il y a 2 ans
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
il y a 2 ans
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
il y a 2 ans
5 dernières publications
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)
Sofia Kouah; Ilham Kitouni
Internet of Things Agents Diagnosis Architecture: Application to Healthcare IoT System. 3rd Int. Conf. on Advanced Aspects of Software Engineering (ICAASE18): 62-69 (2018)