Registered user since Mon 12 Dec 2016

Name: Yliès Falcone

Country: France

Affiliation: Univ. Grenoble Alpes, Inria

Personal website: http://www.ylies.fr

ISSTA 2017 Activities

• Author of THEMIS: A Tool for Decentralized Monitoring Algorithms within the Demonstrations-track in ISSTA 2017
• Publicity Chair in Organizing Committee for SPIN 2017
• Author of Monitoring Decentralized Specifications within the Technical Papers-track in ISSTA 2017
• Session Chair of Session 10 (part of SPIN 2017 SPIN Keynote)
• Show activities from other conferences