Laboratoire d’Analyse et d’Architecture des Systèmes
04 décembre 2012
Le "IEEE Best Paper Award" a été obtenu par Amina Mekki Mokhtar dans le cadre de la 18e édition de la conférence IEEE PRDC (IEEE Pacific Rim International Symposium on Dependable Computing) qui s'est déroulée le 18 et 19 novembre à Niigata (Japon). Les travaux portent sur la spécification de contraintes de sécurité vérifiables en ligne pour des systèmes autonomes critiques.
Amina Mekki Mokhtar reçoit le prix des mains du Dr Takashi Nanya (Canon, Inc.), président du comité de pilotage du symposium.