Chafia Bouanaka

Learn More
Electroencephalography is an important clinical tool for the evaluation and treatment of neurophysiological disorders related to epilepsy. However, the analysis and interpretation of the electroencephalogram (EEG) is not an easy task due to the variety of waveforms that are possible. Consequently, EEG analysis is in need of an objective and quantitative(More)
Avec les extensions d'UML 2.0, les réseaux de Petri, utilisés comme cadre sémantique formel pour les diagrammes d'activité d'UML, ne permet-tent plus d'exprimer les nouvelles constructions de haut niveau telles que la traverse-to-completion. Cette dernière nécessite une synchronisation globale entre les noeuds fork et join, totalement absente dans les(More)
—Self-adaptation is a promising technique to manage software systems maintainability and evolution. A self-adaptive system is able to adapt its structure and behavior autonomously at run-time in response to changes in the context in which it is actually running to achieve particular quality goals. However, designing and verifying quality-aware self-adaptive(More)