الفريق 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.

آخر 3 أطروحات مناقشة
ايمان بن ستيرة
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
منذ 3 سنوات
Tabib Nacer
Construction distribuée d’espaces d’états en vue d’une vérification efficace des systèmes atemporels
منذ 3 سنوات
آخر 5 منشورات
Roumeissa Khennaoui; Nabil Belala
Towards a Formal Context-Aware Workflow Model for Ambient Environment. 18th Int. Conf. on Smart Homes and Health Telematics (ICOST'20): 415-422 (2020)
Jean-Michel Ilié; Ahmed-Chawki Chaouche; François Pêcheux
E-HoA: A Distributed Layered Architecture for Context-aware Autonomous Vehicles. 11th Int. Conf. on Ambient Systems, Networks and Technologies (ANT'2020): 530-538 (2020)
Jean-Michel Ilié; Karim Lahiani; Ahmed-Chawki Chaouche; François Pêcheux
An Efficient Learning Assistant for a Contextual Road Navigation. 11th Int. Conf. on Ambient Systems, Networks and Technologies (ANT'2020): 522-529 (2020)
Imene Bensetira; Djamel Eddine Saidouni; Mahfud Al-la Alamin
A state space distribution approach based on system behaviour. Int. J. of Computational Science and Engineering (IJCSE) 19(3): 418-429 (2019)
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)