Nous avons le plaisir de vous annoncer que Rania Taleb, doctorante sous la direction des membres du LIF Prs. Raphaël Khoury et Sylvain Hallé, a remporté le prix du meilleur article de la 9e International Conference on Formal Methods in Software Engineering (FormaliSE 2021). L’événement était tenu en parallèle avec la International Conference on Software Engineering (ICSE), qui s’est tenue virtuellement en mai 2021.

Son article, intitulé Runtime Verification Under Access Restrictions, porte sur le problème de la vérification d’exécution, qui consiste à observer l’exécution d’un système logiciel et à s’assurer en temps réel que certaines contraintes sur la séquence des événements observés sont toujours satisfaites. Son travail définit un cadre logique qui permet à la vérification d’exécution d’avoir lieu lorsque l’observateur (également appelé le « moniteur ») dispose d’informations incomplètes ou incertaines sur la séquence sous-jacente des événements. Des expériences sur divers scénarios montrent que l’approche proposée peut tenir compte de divers types de dégradation des données et de limitations d’accès, fournit un verdict plus strict que les travaux existants dans certains cas, et préserve les performances du modèle.

Félicitations Rania –et nos excuses pour cette annonce tardive!