Accéder directement au contenu

Fanny Dufossé

3
Documents

Présentation

Fanny Dufossé est chercheuse à l'Inria, en France. Elle a obtenu son doctorat (2011) en informatique à l'ENS Lyon. Ses différents travaux de recherche (ont plusieurs autour de l'efficacité énergétique et l'ordonnancement des taches dans les systèmes distribués) incluent l'ordonnancement et la fiabilité dans des environnements incertains, les algorithmes et la complexité. Elle a publié plus de 20 articles dans des conférences et revues internationales et a fait partie du comité de programme pour plusieurs revues prestigieuses tels que SC, Cluster, etc.

Publications

helene-waeselynck
Image document

Model-checking and Game Theory for the Synthesis of Safety Rules

Mathilde Machin , Fanny Dufossé , Jérémie Guiochet , David Powell , Matthieu Roy
IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States
Communication dans un congrès hal-01207657v1
Image document

Model-Checking and Game theory for Synthesis of Safety Rules

Mathilde Machin , Fanny Dufossé , Jérémie Guiochet , David Powell , Matthieu Roy
2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109/HASE.2015.15⟩
Communication dans un congrès hal-01164981v1
Image document

Specifying Safety Monitors for Autonomous Systems using Model-checking

Mathilde Machin , Fanny Dufossé , Jean-Paul Blanquart , Jérémie Guiochet , David Powell
International Conference on Computer Safety, Reliability and Security (SafeComp 2014), Sep 2014, Florence, Italy
Communication dans un congrès hal-01207152v1