End-to-end security validation of IoT systems based on digital twins of end-devices. - Laurent Maillet-Contoz; Emmanuel Michel; Mario Diaz-Nava; Paul-Emmanuel Brun; Kevin Leprêtre; Guillemette Massot (GIoTS, 2020)

Model Based Methodology and Framework for Design and Management of Next-Gen IoT Systems. - Xu Tao; Davide Conzon; Enrico Ferrera; Shuai Li; Jürgen Götz; Laurent Maillet-Contoz; Emmanuel Michel; Mario Diaz-Nava; Abdelhakim Baouya; Salim Chehida (SAM IoT, 2020)