Fanny Dufossé
2
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
- 2
- 2
- 2
- 2
- 2
|
Model-checking and Game Theory for the Synthesis of Safety RulesIEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States
Communication dans un congrès
hal-01207657v1
|
|
Model-Checking and Game theory for Synthesis of Safety Rules2015 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
|