Sorting is one of the fundamental operations in computer science, and many sequential and
parallel algorithms have been proposed in the literature. Swap-based sorting algorithms are …

Sorting is an operation that has very important practical applications, in particular for
instance in the storage and analysis of data related to the environment, climat change, etc …

Inspired by the seminal works on causal analysis by Halpern and Pearl, in this paper we
introduce a causal model based on counterfactuals, adapted to finite automata models and …

Algorithm certification or program verification have an increasing importance in the current
technological landscape, due to the sharp increase in the complexity of software and …

Correct Optimized GPU Programs Mohsen Safari Page 1 Correct Optimized GPU Programs
Mohsen Safari Page 2 Page 3 Correct Optimized GPU Programs Dissertation to obtain the …

Stepwise program refinement techniques can be used to simplify program verification.
Programs are better understood since their main properties are clearly stated, and …

Formal specification is widely employed in the construction of high-quality software.
However, there is often a huge gap between formal specification and actual implementation …

Mes recherches s' inscrivent dans le domaine des méthodes formelles de spécification et de
vérification de modèles et de programmes. Mes premiers travaux ont porté sur la vérification …