المسؤول
إحصائيات
الفريق 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
منذ سنتين
|
|
|
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
منذ سنتين
|
آخر 5 منشورات
|
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) |