Leader
Statistics
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.
5 recent defended theses
|
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
1 year ago
|
|
|
Saïd Layadi
rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes
2 years ago
|
|
|
Nacer Tabib
Construction distribuée d’espaces d’états en vue d’une vérification efficace des systèmes atemporels
2 years ago
|
|
|
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
3 years ago
|
|
|
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
3 years ago
|
5 recent publications
|
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) |