Kim Guldstrand Larsen

Explore comment la vérification à l'exécution aide à vérifier la performance des systèmes à travers des traces d'événements.

Un nouveau cadre améliore la sécurité des voitures autonomes grâce à des méthodes formelles.

Une nouvelle approche pour gérer la tension dans les systèmes électriques en utilisant un jumeau numérique Gumbel-Consistency.