PhD theses
Search result : Team = CFSC
Title Author
Approche par bissimulation de maximalité temporelle pour la vérification des systèmes temps réel
Riad Matmat
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
Imene Bensetira
rd-TA and daTA-R : A relative timed models for heterogeneous real time systems
Saïd Layadi
Distributed construction of state spaces for an efficient verification of untimed systems
Nacer Tabib
Behavioural verification of extended Petri nets under a maximality semantics
Messaouda Bouneb
Definition of formal models for heterogeneous timed systems and ther application for job-shop scheduling problem
Farid Arfi
Designing of Multi Agent Systems based on Formal Models Integrating Fuzziness
Sofia Kouah
Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles
Radja Boukharrou
Graphs Coloration base Approaches for their Distribution
Nousseiba Guidoum
Population based Metaheuristics Approaches for Graphs Coloration
Meriem Bensouyad
Formalisation and Analysis of Time and Timed BPEL Processes by means of Time Models
Imed Eddine Chama
Logic Verification of Real Time Systems in the Context of the Maximality Semantics
Souad Guellati
A multi-agent approach for ambient system design: A formal model incorporating planning and learning
Ahmed-Chawki Chaouche
Caracterization of Concurrent Systems Perfomances in the Context of the Maximality Semantics
Mokdad Arous
Formal testing of stochastic real time systems under a maximality semantics
Kenza Bouaroudj
Behavioral Verification of Timed Systems: Maximality Approache
Adel Benamira
Models and Algorithms for Testing Real Time Systems
Ilham Kitouni
Formal Testing of Real Time Systems: Transformation Graphs Approach
Hiba Hachichi
Formal Models for Designing Real Time Systems
Toufik Messaoud Maarouk
Symbolic Verification of Critical Systems: A Distributed Approach
Zine El Abidine Bouneb