You will find below some presentation that were recorded.
- September 23, 2016 : «An Overview of Verification Techniques Today».
Tutorial presented at the FrenchKit conference (2016 edition) organized in Paris.
- June 23, 2015 : «From Symmetric Nets to Symmetric Nets with Bags».
Tutorial presented (with Souheib Baarir and Laure Petrucci) at the 36th International Conference on Application and Theory of Petri Nets and Concurrency organized in Brussels.
You can also get this tutorial on iTunesU.
- June 27, 2014 : «BenchKit, a Tool for
Massive Concurrent Benchmarking».
Presented at the 14th International Conference on Application of
Concurrency to System Design organized in Tunis. The corresponding paper is here.
- May 10, 2016 :
Building and verifying a quasi certification entity over Distributed Hash Tables
, at journée OSIS - Sécurité, sûreté et confidentialité
organized by Université Paris 13 and GT-LL.
- December 12, 2014 : «Model Checking et
systèmes complexes, quelques réussites».
Presented at the Matinale de
l'Innovation organized by IRILL and the GT-LL of Systematic.