Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 333
Entretiens

le (7m38s)

Les transports semi-collectifs à Nairobi, pratiques numériques et populations, par Teddy Delaunay (IFRA) (podcast)

Teddy Delaunay est lauréat d’une aide à la mobilité postdoctorale de courte durée Atlas, financée par le FMSH et l’IFRA Nairobi (Institut Français de Recherche en Afrique). En 2019, il s’est ainsi rendu 2 mois à Nairobi, au Kenya, pour mener des recherches de terrain et lancer son projet postdoctoral sur l’intégration du numérique dans le champ du transports semi-collectif à Nairobi. Il est spécialisé en urbanisme et en aménagement du territoire. Dans le cadre de sa thèse, il s’était concentré sur l’intégration du ...
Voir la vidéo
Conférences

le (1h8m54s)

Theoretical Foundations for Runtime Monitoring

Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly. In this talk, I will present a theoretical framework that can be used to provide answers to those questions. I will view monitorability as a spectrum: the fewer monitor guarantees are required, the more properties become monitorable. I will then present a monitorability hierarchy ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte