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
il y a 7 mois
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 1 an
Nacer Tabib
Construction distribuée d’espaces d’états en vue d’une vérification efficace des systèmes atemporels
il y a 1 an
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
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)