Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 263
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
Conférences

le (41m54s)

Amis de l'Instruction : émancipez-vous, lisez !

avec Michel Blanc, maître de conférences honoraire Université Paris-X Nanterre, Secrétaire général de la Bibliothèque des amis de l'Instruction (BAI).Voir, en complément, le site internet de la BAI et sa très riche audiothèque (podcasts) de conférences régulièrement organisées à la bibliothèque — qui poursuit ainsi depuis 1860 son rôle originel d'instruction et de diffusion de la connaissance : http://bai.asso.fr/wordpress/soirees-de-lecture/kiosque-a-conferences/
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte