Conférences le 10/09/2019 (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
Séminaires le 15/07/2019 (51m30s) SFjRO Rouen 2019 - 120 ans de radiobiologie SFjRO 2019 Rouen -120 ans de radiobiologie Voir la vidéo
Séminaires le 15/07/2019 (40m47s) SFjRO Rouen 2019 - Effet Biologiques SFjRO Rouen 2019 - Effet Biologiques Voir la vidéo
Séminaires le 15/07/2019 (57m24s) SFjRO Rouen 2019 - Effets biologiques des rayonnement ionisants SFjRO Rouen 2019 - Effets biologiques des rayonnement ionisants Voir la vidéo
Séminaires le 15/07/2019 (53m36s) SFjRO Rouen 2019 - Fractionnement et étalement Fractionnement et étalement Voir la vidéo
Séminaires le 15/07/2019 (41m46s) SFjRO Rouen 2019 - Effets tissulaires Effets tissulaires Voir la vidéo
Séminaires le 15/07/2019 (45m5s) SFjRO Rouen 2019 - Modélisation des effets secondaires Modélisation des effets secondaires Voir la vidéo
Séminaires le 15/07/2019 (31m51s) SFjRO Rouen 2019 - Imagerie de la radiobiologie Imagerie de la radiobiologie Voir la vidéo